נתבקשנו להוכיח טענה מסויימת ונאמר שלצורך ההוכחה יש לעקוב אחרי הוכחת הנכונות שתוארה בהרצאה....
אך לא תוארה הוכחת נכונות של האלגוריתם פלויד וורשל. עד כמה שאני יודעת.