Ein Entscheidungsproblem ist gut charakterisiert, wenn es sich in . Viele natürliche Graphprobleme haben gute Charakterisierungen. Zum Beispiel liefert Kuratuwskis Theorem eine gute Charakterisierung planarer Graphen. Der Satz von Konig liefert eine gute Charakterisierung von zweigeteilten Graphen. Der Satz von Tutte bietet eine gute Charakterisierung von Graphen, die perfekt übereinstimmen. Der Euler-Satz liefert eine gute Charakterisierung der Eulerschen Graphen. Alle diese Erkennungsprobleme haben Polynomzeitalgorithmen.
Gibt es ein natürliches Graphproblem, das eine gute Charakterisierung aufweist, von dem jedoch nicht bekannt ist, dass es in ? Ein Hinweis auf eine Übersicht über solche Probleme wäre wünschenswert.