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

[[תמונה:unconnected graph.jpeg|שמאל|ממוזער|250px|גרף לא קשיר: אין מסלול המקשר את הקודקודים A ו-B. לגרף יש שני מרכיבי קשירות]]

 

פורמלית, גרף <math>G=\left(V,E\right)</math> ייקרא '''קשיר''' אם לכל זוג צמתים <math>V_i\,</math> ו-<math>V_j\,</math> ב-<math>V\,</math> קיימת סדרה של קשתות <math>e_1, e_2, \ldots, e_k</math> ב-<math>E\,</math> כך שאם <math>e_\ell = (v_{a_\ell}, v_{b_\ell})</math> לכל <math>\ell</math> אז: