グラフ理論(Graph theory)
(無向)グラフの要素
- 要素が頂点(vertex), 点(point), 節点(node)の集合
- 辺(edge)と呼ばれる頂点の順序対の集合
- 隣接(adjacent) : 辺(u,v)が存在するとき頂点は隣接するという。
- 接続(incident) : が辺の端点(endpoint)であるとき、はに接続するという。
- 多重グラフ(multigraph) : 多重辺(multiple edges)または自己ループ(roop)を含むグラフ
※多重辺やループのない多重グラフをグラフと定義している。
- 部分グラフ(subgraph) :
- induced subgraph : 両端点がにある辺を全てが含むならば、をによって生成された(generated)部分グラフと呼ぶ。
次数(degree)
- 次数(degree) : に接続する辺の個数
- 孤立点(isolated vertex) : 次数0の頂点
- の倍数
連結度(connectivity)
- 歩道(walk) : 多重グラフにおいて、頂点と辺の交互列。誤解を招かないとき、辺または頂点の列で歩道を表す。辺の数を歩道の長さという。のとき、歩道は閉じている(closed)という。
- 小道(trail) : すべての辺が異なる歩道
- 道(path) : すべての頂点が異なる歩道
- 閉路(cycle) : を除いたすべての頂点が異なる閉じた歩道。長さの閉路を閉路(cycle)という。
- 頂点から頂点への歩道が存在するとき、かつその時に限り、からへの道が存在する
- 連結(connected) : グラフの任意の2頂点の間に道が存在するとき、グラフは連結であるといわれる。
- 連結成分(connected component) : 連結部分グラフより大きな連結部分グラフでを含むものが存在しないときの
- 任意のグラフが、連結成分に分割することができる
- 距離(distance) : 間の最短道の長さ
- 直径(diameter) :
- : からとに接続しているすべての辺を除いて得られるグラフ
- 切断点(cut point) : が非連結になるときの
周遊
- 周遊可能小道(traversable trail) : 多重グラフの全ての頂点を含み。各辺をちょうど1回だけ用いる歩道(小道)(閉じてなくもOK)
- 周遊可能(traversable) : 周遊可能小道が存在する状態(一筆書きができるグラフ)
- オイラー小道(Eulerian trail) : 閉じた周遊可能小道
- オイラーグラフ(Eulerian graph) : オイラー小道が存在するグラフ
- 準オイラーグラフ(semi-Eulerian graph) : 閉じてない周遊可能小道が存在するグラフ
※無向グラフの場合
※奇頂点が0個の場合でも周遊可能な場合はある(オイラーグラフ)
頂点Pが周遊開始・終了点でない場合、頂点Pに到達するための辺と出ていく辺が必要なのでPは偶頂点でなければならない。よって、ある点Qが奇頂点ならそこは、周遊開始または終了点でなければならない。
(6)より、ケーニヒスベルグの橋を周遊するような散歩が不可能であることがわかる。
迂回したり、水面散歩したら周遊可能ですけどね。
オイラー路(Euler Path)
同様の考え方で、有向グラフの場合は、相対入次数と相対出次数をみて判断できる。
- ハミルトン閉路(Hamilton cycle) : 各頂点を1回だけ含む(開始・終了点を除く)閉じた歩道(閉路)
- ハミルトングラフ(Hamilton graph) : ハミルトン閉路を持つグラフ
※オイラーグラフのように単純な判定方法がない
- 巡回セールスマン問題(traveling salesman problem) : すべての頂点を含む最短歩道を見つける問題
特殊なグラフ
- 完全グラフ(complete graph) : 拡張点が他の全ての頂点と結ばれているグラフ。ならで表す。
- 正則グラフ(regular graph) : すべての頂点が同じ次数をもつグラフ。次数ががの場合、次数の正則(regular of degree )または、正則(regular)という。
※頂点の完全正則グラフは次正則
- 2部グラフ(bipartite graph) : となっているのことで、で表す。※
- 非閉路的(cycle-free), 無閉路的(acyclic) : 閉路を持たない
- 木(tree) : 閉路を持たない有限連結グラフ
- 森(forest) : 閉路を持たない有限グラフ
行列表現
- 辺行列(edge matrix) : 辺を縦に並べただけの行列
- 隣接行列(adjacecy matrix) : 次正方行列.
※対角成分は通常0, 多重グラフでは辺の本数、重み付きグラフでは重みを入れることがある。
- 接続行列(incidence matrix) : 行列
- 連結行列(connection matrix) : 次正方行列
-
- を頂点から成るグラフの隣接行列としたとき、の成分は頂点から頂点への長さの歩道の個数
- は、が存在しないときに限り、成分=0になる
- , ただし、(次単位行列)