連結グラフ

連結グラフ（れんけつグラフ、英: connected graph）は、グラフ上の任意の2頂点間に道が存在するグラフのことである。連結でないグラフを非連結グラフ (disconnected graph) と呼ぶ。極大で連結な部分グラフは、連結成分 (connected component) という。

連結度 
グラフがどの程度かたく結びついているかを示す不変量として連結度があり、主に点連結度 (vertex-connectivity) と辺連結度 (edge-connectivity) に分類される。また、グラフ全体の連結度 (それぞれ、辺連結度) について、指定した2点間に対する連結性を示す不変量として、局所点連結度 (local vertex-connectivity) (それぞれ、局所辺連結度 (local edge-connectivity) ) がある。点連結度 (それぞれ、局所点連結度) は単に連結度 (それぞれ、局所連結度) と呼ぶ場合があることを付記しておく。

点連結度 
グラフ  から取り除くと非連結になるような  個の頂点集合を-点切断とよぶ。 において-点切断の最小サイズを点連結度または連結度とよび、で表す。特に、1-点切断を切断点  (cut vertex)  または関節点 (articulation point)  とよぶ。-連結グラフ (-connected graph) は点連結度が  以上のグラフである。

 から  を取り除いたグラフにおいて  と  の間に道が存在しないことを頂点の集合  が  を分離するという。グラフ  から（もし存在すれば）辺  を除いたグラフにおいて、二つの頂点  を分離するために必要な頂点の個数を  とするこのとき、が隣接していないなら  を、 が隣接しているなら  を  の局所連結度といい、 等で表すことが多い。点連結度は局所連結度の最小値と一致する。

グラフ  のある因子が 連結なら、 自身も  連結となる。 が  連結で、 の自分自身を除いた因子が  連結でないとき（つまり、 から一つでも辺を取り除くと  連結でないとき）、 を 極小  連結 (minimally -connected) という。

辺連結度 
グラフ  から取り除くと非連結になるような  本の辺集合を-辺切断 (またはk-カット) とよぶ。 において -辺切断の最小サイズを辺連結度とよび、で表す。特に、1-辺切断を切断辺または橋 (bridge) とよぶ。-辺連結グラフ  (-edge-connected graph) は、辺連結度が  以上のグラフのことを指す。

点連結度と同様に、2点  を分離する辺集合の大きさの最小値として、局所辺連結度が定義され  で表記される。

また、  となることを付記しておく。

有向グラフと連結度 
有向グラフにおいて、無向グラフと同様に連結度の対応物が定義されている。

強連結 
有向グラフが強連結であるとは、グラフ上の任意の2点間に有向路が存在することである。極大で強連結な部分グラフは、強連結成分という。

点連結度の対応物 
ある2点  を指定したとき、除去することで  のどちらを始点にしても有向路が存在しなくなるような点集合の大きさの最小値として、 の局所点強連結度 (local vertex-strong connectivity) が定義される。 また、局所点強連結度の最小値を点強連結度 (vertex-strong connectivity) と呼ぶ。点強連結度が  以上のグラフを  点強連結グラフ (-strongly connected graph) 、または、
 強グラフ (-strong graph) と呼ぶ。

辺連結度の対応物 
ある2点  を指定したとき、除去することで  のどちらを始点にしても有向路が存在しなくなるような辺集合の大きさの最小値として、
 の局所有向辺強連結度 (local arc-strong connectivity) が定義される。また、局所有向辺強連結度の最小値を有向辺強連結度 (arc-strong connectivity) と呼ぶ。有向辺強連結度が  以上のグラフを  有向辺強連結グラフ (-arc-strongly connected graph) 、または、 有向辺強グラフ (-arc-strong graph) と呼ぶ。

連結度の一般化 
 要素連結度
 節点領域連結度
 集合間連結度

アルゴリズム 
 k点連結成分分解
 k辺連結成分分解
 強連結成分分解

性質 
 グラフ  の最小次数を  で表すと、。
 任意の  に対し、 を満たすグラフ  が存在する。
 2連結グラフの任意の頂点は、閉路上にある。
 2 点  間の互いに独立な道 (点素パス) の最大個数は局所連結度  に一致する（メンガーの定理）。
 2 点  間の辺素パスの最大個数は局所辺連結度  に一致する（メンガーの定理）。
 任意の  次元多面体のグラフの点連結度は  である。 (バリンスキーの定理)。

注釈・出典

参考文献

関連項目

数学的対象と性質 
 カット (グラフ理論)
 k-頂点連結グラフ
 k-辺連結グラフ

定理 
 メンガーの定理
 最大フロー最小カット定理
 バリンスキーの定理

その他 
 連結空間
 素集合データ構造

グラフ理論のグラフ
数学に関する記事