Es ist leicht zu erkennen, dass der Graphisomorphismus (GI) in NP vorliegt. Es ist ein großes offenes Problem, ob GI in coNP ist. Gibt es potenzielle Kandidaten für Eigenschaften von Graphen, die als coNP-Zertifikate von GI verwendet werden können? Irgendwelche Vermutungen, die implizieren ? Was sind einige Implikationen von G I ∈ c o N P ?