Проблема изоморфизма графов

Проблема изоморфизма графов (Isomorphism problem) — Пусть [math]\displaystyle{ \,G }[/math] и [math]\displaystyle{ \,G' }[/math] — два графа, причем [math]\displaystyle{ \,|V(G)| = |V(G')| }[/math] и [math]\displaystyle{ \,|E(G)| = |E(G')| }[/math]. Требуется установить, изоморфен ли граф [math]\displaystyle{ \,G }[/math] графу [math]\displaystyle{ \,G' }[/math].