איך זה עובד?

יש להחזיק מערך dist: dist[source] = 0, ולכל קודקוד אחר יש להתחיל בערך "אינסוף" (מספר גדול מאוד). יש להחזיק דגל visited לכל קודקוד.

תהליך שלב אחר שלב:

1. מבין הקודקודים שטרם ביקרנו בהם, בוחרים את הקודקוד u שעבורו dist הוא הקטן ביותר. אם אין קודקוד שניתן להגיע אליו, עוצרים.
2. מסמנים את u כקודקוד שביקרנו בו: המרחק שלו סופי כעת.
3. מרפים כל קשת u -> v שמשקלה w: אם dist[u] + w < dist[v], מקטינים את dist[v].
4. חוזרים על הפעולה עד שכל הקודקודים שניתן להגיע אליהם נקבעו סופית.

בסיום, כל קודקוד שעדיין נמצא באינסוף אינו נגיש (נדווח עליו כ--1).