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