¿Existe un problema gráfico de -completo natural , que sigue siendo N P -completo incluso cuando está restringido a cualquier clase de gráfico reconocible en tiempo polinómico? Para evitar casos degenerados, consideremos solo clases de gráficos densos , en los que el número de gráficos no isomórficos ≤ n- vértice crece exponencialmente con n .
Notas:
(1) Una respuesta de "sí" o "no" sería bastante interesante. Si la respuesta es sí, entonces tendríamos una propiedad de gráfico completa de que podría llamarse universalmente difícil, porque conserva la dureza incluso cuando se restringe a cualquier clase de gráfico razonable. Si la respuesta es no, significaría que cada propiedad de gráfico completa de N P natural puede facilitarse en alguna clase de gráfico no trivial.
(2) Es importante considerar solo las clases de gráficas reconocibles en tiempo polinómico, para excluir que la dureza de la propiedad simplemente se transfiera a la clase. Por ejemplo, 3-COLORABILITY se vuelve trivial cuando se restringe a gráficos de 3 colores.