Spójna składowa grafu

Sprzątanie Wikipedii
 Ten artykuł należy dopracować:
od 2024-08 → zweryfikować treść i dodać przypisy,
od 2024-08 → poszerzyć o istotne informacje.
Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu.
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.
Definicja intuicyjna
Spójna składowa to spójny fragment grafu, który nie jest połączony z innym fragmentem. Graf spójny składa się z jednej spójnej składowej, grafy niespójne mają ich więcej.

Spójna składowa grafu nieskierowanego G – spójny podgraf grafu G nie zawarty w większym podgrafie spójnym grafu G.

Innymi słowy spójna składowa grafu jest to taki podgraf, który można ‘wydzielić’ z całego grafu bez usuwania krawędzi. Graf spójny ma jedną spójna składową. Dla przykładu, w lesie spójnymi składowymi są drzewa.

Pomiędzy każdą parą wierzchołków należących do tej samej spójnej składowej istnieje ścieżka je łącząca. Ponadto jeśli dwa wierzchołki należą do różnych spójnych składowych, to nie istnieje ścieżka między nimi.

Graf ten jest spójny, więc zgodnie z definicją ma jedną spójną składową.
Graf ten nie jest spójny, składa się z dwóch oddzielnych zbiorów wierzchołków:
V 1 = { 1 , 2 , 5 } {\displaystyle V_{1}=\{1,2,5\}}
V 2 = { 3 , 4 , 6 } {\displaystyle V_{2}=\{3,4,6\}}
Każdy z tych zbiorów jest spójną składową grafu, a więc łącznie cały graf posiada dwie spójne składowe.

Zobacz też