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

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