Un problema de decisión tiene una buena caracterización si está en . Muchos problemas gráficos naturales tienen buenas caracterizaciones. Por ejemplo, el teorema de Kuratuwski ofrece una buena caracterización de los gráficos planos. El teorema de Konig ofrece una buena caracterización de gráficos bipartitos. El teorema de Tutte ofrece una buena caracterización de gráficos que tienen una correspondencia perfecta. El teorema de Euler ofrece una buena caracterización de los gráficos eulerianos. Todos estos problemas de reconocimiento tienen algoritmos de tiempo polinómico.
¿Existe un problema gráfico natural que tenga una buena caracterización pero no se sepa que está en ? Se agradecería un puntero a una encuesta de tales problemas.