2.1.3. תכונות אלגוריתם BFS
שלמות:
האלגוריתם שלם, כלומר מובטח שיימצא פתרון לבעיה פתירה. נוכיח זאת על ידי כך שנניח
שקיים פתרון באורך L. יהיה b מקדם הסיעוף, אז לאחר
צעדים בדק האלגוריתם את כל המסלולים האפשריים באורך L ולכן מצא בהכרח את הפתרון.
אופטימליות:
האלגוריתם לא בהכרח את המסלול הקצר ביותר אם לכל קשת מחיר שונה. אם לקשתות מחיר
זהה, האלגוריתם אופטימלי.
סיבוכיות הזמן והזכרון: יהיה
מקדם הסיעוף ו-
אורכו של המסלול אל הפתרון הקצר ביותר, אזי
סיבוכיות הזמן והזיכרון הן
.
אבל הוא עדיין לא נפתח...