עץ פורש מינימלי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
קייטי (שיחה | תרומות)
מ תיקון קישור
שורה 1:
[[תמונה:Minimum spanning tree.svg|300px|left]]
ב[[תורת הגרפים]], '''[[עץ פורש]] מינימלי''' (אנגלית: Minimum spanning tree) או '''העץ הפורש המזערי''' הוא [[גרף עץ|עץ]] המורכב מתת-קבוצה של קשתות בגרף נתון, אשר מקיים את שתי התכונות הבאות:
 
* הוא '''פורש''' את הגרף - כלומר כולל את כל ה[[צמתים]] בגרף.
שורה 15:
'''עץ פורש מזערי''' הוא עץ פורש, בעל המשקל הכולל הנמוך ביותר. אם יש אפשרויות שוות (תיקו), הרי שיכולים להיות כמה עצים פורשים מזעריים.
 
ה[[אלגוריתם]] הראשון למציאת עץ פורש מזערי בגרף לא מכוון הומצא בידי המדען הצ'כי [[אוטקה בוהרובקה]] ב[[1926]]. מטרתו הייתה כיסוי חשמלי יעיל של [[חבל בוהמיה]]. כיום משתמשים בשני אלגוריתמים ידועים לגרף לא מכוון: [[האלגוריתם של פרים]] וכן [[האלגוריתם של קרוסקל]]. שניהם [[אלגוריתם חמדן|אלגוריתמים חמדניים]]. שניהם רצים בזמן פולינומי, כך שמציאת פתרונות לבעיות כאלו, הם בתחום ה[[סיבוכיות]] של [[P (מדעי המחשב)|P]].
 
האלגוריתם המהיר ביותר עד היום, לעץ פורש מינימלי, פותח על ידי שאזל, ומבוסס על בורובקה. זמן הריצה שלו הוא: