Due grafici G, H sono isomorfi se vi è una rietichettatura dei vertici di G che produce H e viceversa. Il problema del grafico isomorfismo (IG) è decidere se due dati sono isomorfi. Oltre al suo interesse pratico, è stato identificato da Karp nel 1972 con una complessità sconosciuta, è uno dei pochi candidati naturali rimanenti per un problema NP-intermedio e ha portato alla creazione della classe di complessità AM.