מסלול (תורת הגרפים)

מתוך ויקיפדיה, האנציקלופדיה החופשית
מעגל (סוג של מסלול) מכוון. זה אינו מסלול פשוט, משום שהצמתים הכחולים מופיעים בו פעמיים.

בתורת הגרפים, מסלול הוא סדרה של קשתות בגרף, כך שראשה של כל קשת (פרט לאחרונה) נעוץ בזנבה של זו הבאה אחריה.

פורמלית, מסלול הוא סדרה של קשתות כך שאם קשת בסדרה היא מהצורה , אז לכל מתקיים .

יש לשים לב כי ההגדרה הנ"ל משתנה קלות כאשר מדובר בגרפים לא מכוונים או בגרפים מכוונים. במקרה הראשון, קשת היא קבוצה בת שני צמתים (והמסלול אינו מכוון), ואילו במקרה השני, קשת היא זוג סדור של שני צמתים, והמסלול מכוון.

אורך של מסלול שווה למספר הקשתות במסלול. בגרף ממושקל אורך מסלול שווה לסכום משקלי הקשתות. מרחק בין שני קודקודים הוא מספר הקשתות במסלול הקצר ביותר ביניהם.

סוגי מסלולים[עריכת קוד מקור | עריכה]

  • מסלול פשוט, הוא מסלול שאינו עובר באף צומת יותר מפעם אחת (השימוש העיקרי הוא בגרף מעגל).
  • מסלול מושרה, או נחש, הוא תת-גרף שמושרה על ידי מסלול פשוט בגרף.[1]
  • מעגל בגרף, הוא מסלול לא-ריק שמתחיל ומסתיים באותו צומת.
  • מסלול אוילרי, הוא מסלול שעובר בכל הקשתות בגרף (מבלי לחזור על אף קשת פעמיים).
  • מסלול המילטוני, הוא מסלול שעובר בכל הצמתים בגרף (מבלי לחזור על אף צומת פעמיים).


קישורים חיצוניים[עריכת קוד מקור | עריכה]

  1. ^ הערה לשונית טכנית: למרות הכינוי "מסלול מושרה", מה שמושרה הוא התת-גרף, לא המסלול (למעשה כל מסלול משרה תת-גרף, אך לא כל תת-גרף משרה מסלול). הכינוי החלופי "נחש" נטבע לראשונה בשנת 1958 על ידי William H. Kautz במסגרת הצגת בעיית נחש בקופסה.