נכונות של אלגוריתם

[רוצה להיות מתכנת]

נכונות של אלגוריתם

לגבי אלגוריתם המוצא את מספר המסלולים הקצרים ביותר מצומת מסוים בגרף מכוון לשאר הצמתים בגרף זה - מכיוון שלא הצלחתי לנסח אלגוריתם לבד, נאלצתי להתסייע במרשתת , וכך הגעתי לפתרון שמופיע כאן
https://stackoverflow.com/questions/15211611/number-of-shortest-paths-in-a-graph

כיצד ניתן להוכיח את נכונות האלגוריתם הזה?

 

[computer helper]

BFS

הוכחת נכונות של BFS לומדים בקורס אלגוריתמים/גרפים/מבנת
אני רק זוכר לומר לך ש BFS או "סריקה לרוחב" בעברית, מוצא את המסלולים הקצרים מקודקוד מקור,
ושההוכחה של זה נעזרת ב 3 למות, ושהיא בדרך השלילה משהו, ושהיא לא הוכחה קצרה.
מעבר לזה אני לא זוכר.
&nbsp