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

תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה
אין תקציר עריכה
שורה 1:
[[תמונה:unconnected graph.jpeg|שמאל|ממוזער|250px|גרף שאינו קשיר: אין מסלול המקשר את הקודקודים A ו-B]]
ב[[תורת הגרפים]], [[גרף בלתי מכוון]] נקרא '''קשיר''' אם קיים [[מסלול בגרף]] בין כל שני צמתים. גרף מכוון נקרא '''קשיר היטב''' (או '''קשיר חזק''') אם קיים [[מסלול בגרף|מסלול מכוון בגרף]] מכל צומת לכל צומת אחר.
 
שורה 9 ⟵ 10:
ג. לכל <math>\ell</math> מתקיים <math>b_\ell = a_{\ell+1}</math>. דהיינו, סדרת הקשתות מהווה מסלול בגרף.
 
[[תמונה:Non strongly connected graph.jpeg|שמאל|ממוזער|250px|גרף קשיר שאינו קשיר היטב: אין מסלול מכוון מ- B ל- A]]
יש לשים לב כי ההגדרה הנ"ל משתנה קלות כאשר מדובר בגרפים לא מכוונים או ב[[גרף מכוון|גרפים מכוונים]]. במקרה הראשון, קשת היא [[קבוצה (מתמטיקה)|קבוצה]] בת שני צמתים, ואילו במקרה השני, קשת היא [[זוג סדור]] של שני צמתים.