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

Проблема изоморфизма графов (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].