連結グラフ

連結グラフ（れんけつグラフ、英: "connected graph"）は、グラフ上の任意の2頂点間に道が存在するグラフのことである。連結でないグラフを非連結グラフ ("disconnected graph") と呼ぶ。極大で連結な部分グラフは、連結成分 ("connected component") という。
連結度.
グラフがどの程度かたく結びついているかを示す不変量として連結度があり、主に点連結度 ("vertex-connectivity") と辺連結度 ("edge-connectivity") に分類される。また、グラフ全体の連結度 (それぞれ、辺連結度) について、指定した2点間に対する連結性を示す不変量として、局所点連結度 ("local vertex-connectivity") (それぞれ、局所辺連結度 ("local edge-connectivity") ) がある。点連結度 (それぞれ、局所点連結度) は単に連結度 (それぞれ、局所連結度) と呼ぶ場合があることを付記しておく。
点連結度.
グラフ から取り除くと非連結になるような 個の頂点集合を-点切断とよぶ。 において-点切断の最小サイズを点連結度または連結度とよび、formula_1で表す。特に、1-点切断を切断点 ("cut vertex") または関節点 ("articulation point") とよぶ。-連結グラフ ("-connected graph") は点連結度が 以上のグラフである。
 から を取り除いたグラフにおいて と の間に道が存在しないことを頂点の集合 が を分離するという。グラフ から（もし存在すれば）辺 を除いたグラフにおいて、二つの頂点 を分離するために必要な頂点の個数を とするこのとき、が隣接していないなら を、 が隣接しているなら を の局所連結度といい、 等で表すことが多い。点連結度は局所連結度の最小値と一致する。
グラフ のある因子が 連結なら、 自身も 連結となる。 が 連結で、 の自分自身を除いた因子が 連結でないとき（つまり、 から一つでも辺を取り除くと 連結でないとき）、 を 極小 連結 ("minimally -connected") という。
辺連結度.
グラフ から取り除くと非連結になるような 本の辺集合を-辺切断 (またはk-カット) とよぶ。 において -辺切断の最小サイズを辺連結度とよび、formula_2で表す。特に、1-辺切断を切断辺または橋 ("bridge") とよぶ。-辺連結グラフ ("-edge-connected graph") は、辺連結度が 以上のグラフのことを指す。
点連結度と同様に、2点 を分離する辺集合の大きさの最小値として、局所辺連結度が定義され で表記される。
また、 formula_3 となることを付記しておく。
有向グラフと連結度.
有向グラフにおいて、無向グラフと同様に連結度の対応物が定義されている。
強連結.
有向グラフが強連結であるとは、グラフ上の任意の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") と呼ぶ。