グラフ同型

グラフ同型（グラフどうけい）とはグラフ理論における概念の一つである。

概要

${\displaystyle G=(V,E),G'=(V',E')}$ を（単純）グラフとする。ただし ${\displaystyle V}$ は ${\displaystyle G}$ の頂点集合，${\displaystyle E}$ は ${\displaystyle G}$ の枝の集合，同様に ${\displaystyle V'}$ は ${\displaystyle G'}$ の頂点集合，${\displaystyle E'}$ は ${\displaystyle G'}$ の枝の集合である。${\displaystyle G}$ の任意の2頂点 ${\displaystyle v,w\in V}$ に対して，${\displaystyle (v,w)\in E}$ となるのが ${\displaystyle (f(v),f(w))\in E'}$ となるとき、かつそのときに限るような ${\displaystyle V}$ から ${\displaystyle V'}$ への全単射写像 ${\displaystyle f}$ が存在するとき，${\displaystyle G}$ と ${\displaystyle G'}$ はグラフ同型（あるいは単に同型）であるといい^[1]、${\displaystyle G'}$ は ${\displaystyle G}$ の同型グラフであるという。

例として以下のようなグラフが与えられたとする。

グラフ ${\displaystyle G}$	グラフ ${\displaystyle G'}$	同型 ${\displaystyle f}$
		${\displaystyle a\mapsto 1}$ ${\displaystyle b\mapsto 6}$ ${\displaystyle c\mapsto 8}$ ${\displaystyle d\mapsto 3}$ ${\displaystyle g\mapsto 5}$ ${\displaystyle h\mapsto 2}$ ${\displaystyle i\mapsto 4}$ ${\displaystyle j\mapsto 7}$

このとき、隣接する頂点に対応する頂点は隣接していることがわかる。 このように ${\displaystyle G}$ と ${\displaystyle G'}$ が「同一」の頂点を持ち、同一の辺のつながりかたをしているときにそのグラフを同型というのである。

グラフ同型性判定問題

与えられた二つのグラフが同型か否かを判定する問題である。この問題がNPに属することは分かっているが、P, co-NP, BPPに属するかどうかは分かっていない。NP完全に属するかどうかも分かっていないので、量子計算機を用いて多項式時間で解けるかどうかに関しても、さかんに研究されている。より詳しい状況は英語版のWikipediaを参照されたい。