Question
נתון גרף מכוון עם משקלים אי שליליים על הקשתות, פרט לקשת אחת שמשקלה שלילי. נניח שאין מעגלים שליליים בגרף.
בהינתן צומת מקור הציעו אלגוריתם בסיבוכיות שמוצא עבור כל צומת את משקל המסלול הקל ביותר מ- ל-.
Answers
האלגוריתם:
- הסר את הקשת מהגרף
- הרץ את אלגוריתם דייקסטרה מ-
- הרץ את אלגוריתם דייקסטרה מ-
- לכל צומת החזר
נכונות:
מכיוון שאין מעגלים שליליים בגרף אז לכל צומת קיים מסלול פשוט קל ביותר. אם לצומת קיים מסלול קל ביותר שלא עובר בקשת אז ערכו הוא .
אחרת המסלול הזה מורכב ממסלול קל ביותר מ- ל-, הקשת ומסלול קל ביותר מ- ל- ולכן ערכו הוא .