グラフ同型
G = ( V , E ) , G ′ = ( V ′ , E ′ ) {\displaystyle G=(V,E),G'=(V',E')} を(単純)グラフとする。ただし V {\displaystyle V} は G {\displaystyle G} の頂点集合, E {\displaystyle E} は G {\displaystyle G} の枝の集合,同様に V ′ {\displaystyle V'} は G ′ {\displaystyle G'} の頂点集合, E ′ {\displaystyle E'} は G ′ {\displaystyle G'} の枝の集合である。