グラフ同型
グラフ同型（ぐらふどうけい）とはグラフ理論における概念の一つである。
Contents
概要
[math]G=(V,E), G'=(V', E')[/math] を（単純）グラフとする。ただし [math]V[/math] は [math]G[/math] の頂点集合，[math]E[/math] は [math]G[/math] の枝の集合，同様に [math]V'[/math] は [math]G'[/math] の頂点集合，[math]E'[/math] は [math]G'[/math] の枝の集合である。[math]G[/math] の任意の2頂点 [math]v, w \in V[/math] に対して，[math](v,w) \in E[/math] となるのが [math](f(v), f(w)) \in E'[/math] となるとき、かつそのときに限るような [math]V[/math] から [math]V'[/math] への全単射写像 [math]f[/math] が存在するとき，[math]G[/math] と [math]G'[/math] はグラフ同型（あるいは単に同型）であるといい[1]、[math]G'[/math] は [math]G[/math] の同型グラフであるという。
例として以下のようなグラフが与えられたとする。
| グラフ [math]G[/math] | グラフ [math]G'[/math] | 同型 [math]f[/math] |
|---|---|---|
| 100px | 210px | [math] a \mapsto 1[/math]
[math] b \mapsto 6[/math] [math] c \mapsto 8[/math] [math] d \mapsto 3[/math] [math] g \mapsto 5[/math] [math] h \mapsto 2[/math] [math] i \mapsto 4[/math] [math] j \mapsto 7[/math] |
このとき、隣接する頂点に対応する頂点は隣接していることがわかる。 このように [math]G[/math] と [math]G'[/math] が「同一」の頂点を持ち、同一の辺のつながりかたをしているときにそのグラフを同型というのである。
グラフ同型性判定問題
与えられた二つのグラフが同型か否かを判定する問題である。この問題がNPに属することは分かっているが、P, co-NP, BPPに属するかどうかは分かっていない。NP完全に属するかどうかも分かっていないので、量子計算機を用いて多項式時間で解けるかどうかに関しても、さかんに研究されている。
脚注
参考文献
- 『グラフ理論』 根上生也・太田克弘訳、シュプリンガー・フェアラーク東京、2000年、原書第2版。ISBN 978-4-431-70876-6。