Se sospecha que el problema de isomorfismo de grafos no está ni en P ni en NP-completo, aunque está en NP.