Angenommen, und G 2 sind zwei ungerichtete Graphen in der Scheitelmenge { 1 , … , n } . Die Graphen sind dann und nur dann isomorph, wenn es eine Permutation Π gibt, so dass G 1 = Π ( G 2 ) , oder formal, wenn es eine Permutation Π gibt, so dass ( i , j ) genau dann eine Kante in G 1 ist wenn ( Π (...