גרף ממושקל – הבדלי גרסאות

נוספו 24 בתים ,  לפני 11 שנים
אין תקציר עריכה
אין תקציר עריכה
אין תקציר עריכה
[[קובץ:Weighted graph.jpeg|שמאל|ממוזער|250px|דוגמה לגרף ממושקל. המספר הצמוד לכל צלע מסמן את משקלה]]
ב[[תורת הגרפים]], '''גרף ממושקל''' הנו [[תורת הגרפים|גרף]] עבורו לכל קשת בגרף משויך "משקל" - לרוב [[מספר ממשי]]. מבחינה פורמלית, זהו גרף <math>G=\left(V, E\right)</math> ופונקציית משקל <math>w: E\to \mathbb{R}</math>.
 
מבחינה פורמלית, זהו גרף <math>G=\left(V, E\right)</math> ופונקציית משקל <math>w: E\to \mathbb{R}</math>.
הצמדת משקל לקשתות בגרף מאפשרת למדל בעיות מעניינות רבות, ובכללן [[עץ פורש מינימלי]], [[מציאת המרחק הקצר בגרף]] בין שני צמתים, [[מציאת כל המרחקים הקצרים ביותר בגרף]], ועוד.
 
הצמדת משקל לקשתות בגרף מאפשרת למדל בעיות מעניינות רבות, ובכללן [[עץ פורש מינימלי]], [[מציאת המרחק הקצר בגרף]] בין שני [[צומת (גרף)|צמתים]], [[מציאת כל המרחקים הקצרים ביותר בגרף]], ועוד.
 
מקרה פרטי של גרף ממושקל הוא '''גרף מטרי''', שהוא גרף ממושקל [[גרף מלא|מלא]] אשר פונקציית המשקל שלו משרה [[מרחב מטרי]], דהיינו - מתקיים [[אי שוויון המשולש]], כלומר לכל שלושה צמתים <math>\ a, b, c</math> בגרף מתקיים <math> d\left(a, b\right) + d\left(b, c\right) \ge d\left(a, c\right)</math> - כאשר <math>d\left(a, b\right)</math> הוא המרחק בין <math>\ a</math> ל-<math>\ b</math>, או משקל הקשת <math>\left(a, b\right)</math>.