die Aufgabe, für zwei Graphen zu entscheiden, ob sie isomorph sind (Graphenhomomorphismus).

Es spielt in der Komplexitätstheorie eine herausgehobene Rolle, da es eines der wenigen natür-lichen Probleme in der Komplexitätsklasse NP ist, das vermutlich weder in P liegt, noch NP-vollständig ist.