הבדלים בין גרסאות בדף "מסלול (תורת הגרפים)"

עריכה (הגדרה פורמאלית בסוף)
(עריכה (הגדרה פורמאלית בסוף))
ב[[תורת הגרפים]], '''מסלול''' ב[[גרף (תורת הגרפים)|גרף]] הוא סדרה של קשתות בגרף, כך שראשה של כל קשת (פרט לאחרונה) נעוץ בזנבה של זו הבאה אחריה.
[[קובץ:Directed cycle.svg|שמאל|ממוזער|200px|מעגל (סוג של מסלול) מכוון. זה אינו מסלול פשוט, משום שהצמתים הכחולים משמים בו פעמיים.]]
ב[[תורת הגרפים]], '''מסלול''' הוא סדרה של קשתות ב[[גרף (תורת הגרפים)|גרף]] הוא סדרה של קשתות בגרף, כך שראשה של כל קשת (פרט לאחרונה) נעוץ בזנבה של זו הבאה אחריה.
פורמלית, מסלול הוא סדרה <math>\!\, e_1, e_2, ..., e_k</math> של קשתות כך שאם קשת בסדרה היא מהצורה <math>e_\ell = (v_{i_\ell}, v_{j_\ell})</math>, אז לכל <math>\ell</math> מתקיים <math>j_\ell = i_{\ell+1}</math>.
 
יש לשים לב כי ההגדרה הנ"ל משתנה קלות כאשר מדובר ב[[גרף לא מכוון|גרפים לא מכוונים]] או ב[[גרף מכוון|גרפים מכוונים]]. במקרה הראשון, קשת היא [[קבוצה (מתמטיקה)|קבוצה]] בת שני צמתים (והמסלול אינו מכוון), ואילו במקרה השני, קשת היא [[זוג סדור]] של שני צמתים, והמסלול הינו מכוון.
 
מסלול ייקרא '''פשוט''' אם הוא אינו עובר באף צומת יותר מפעם אחת.
 
מסלול לא-ריק שמתחיל ומסתיים באותו צומת הוא '''מעגל בגרף''' בגרף.
 
מסלול שעובר בכל הקשתות בגרף (מבלי לחזור על אף קשת פעמיים) נקרא [[מסלול אוילרי]], ואילו מסלול שעובר בכל הצמתים בגרף (מבלי לחזור על אף צומת פעמיים) נקרא [[מסלול המילטוני]].
 
פורמלית, מסלול הוא סדרה <math>\!\, e_1, e_2, ..., e_k</math> של קשתות כך שאם קשת בסדרה היא מהצורה <math>e_\ell = (v_{i_\ell}, v_{j_\ell})</math>, אז לכל <math>\ell</math> מתקיים <math>j_\ell = i_{\ell+1}</math>.
מסלול לא-ריק שמתחיל ומסתיים באותו צומת הוא '''מעגל בגרף'''.
 
יש לשים לב כי ההגדרה הנ"ל משתנה קלות כאשר מדובר ב[[גרף לא מכוון|גרפים לא מכוונים]] או ב[[גרף מכוון|גרפים מכוונים]]. במקרה הראשון, קשת היא [[קבוצה (מתמטיקה)|קבוצה]] בת שני צמתים (והמסלול אינו מכוון), ואילו במקרה השני, קשת היא [[זוג סדור]] של שני צמתים, והמסלול הינו מכוון.
 
[[קטגוריה:תורת הגרפים]]