Motivé par le commentaire de Fortnow sur mon article, Preuve que le problème d'isomorphisme graphique n'est pas complet G I N P N P P G I P , et par le fait que est un candidat principal pour le problème intermédiaire (pas complet ni en ), je suis intéressé par des preuves connues que se trouve pas dans .
L'une de ces preuves est la complétude d'un problème d'automorphisme de graphe restreint (le problème d'automorphisme de graphe libre à virgule fixe est complet). Ce problème et d'autres généralisations de ont été étudiés dans " Quelques problèmes NP-complets similaires à l'isomorphisme graphique " par Lubiw. Certains peuvent soutenir comme preuve le fait que, malgré plus de 45 ans, personne n'a trouvé d'algorithme polynomial pour le .
Quelles autres preuves devons-nous croire que l' n'est pas dans ?