Deux graphes G, H sont isomorphes s'il y a un réétiquetage des sommets de G qui produit H, et vice-versa. Le problème d'isomorphisme des graphes (GI) consiste à décider si deux données sont isomorphes. En plus de son intérêt pratique, il a été identifié par Karp en 1972 comme ayant une complexité inconnue, est l'un des rares candidats naturels restants pour un problème NP-intermédiaire, et a conduit à la création de la classe de complexité AM.