Das Problem zu bestimmen, ob zwei Graphen strukturell identisch sind (d.h., ob sie durch Umbenennung der Knoten ineinander überführt werden können). Ein theoretisch wichtiges Problem im Kontext von Graphenrepräsentation und -vergleich im maschinellen Lernen.