La clase de complejidad consiste en esos problemas que pueden decidirse por una máquina de Turing no determinista de tiempo polinomial que tiene como máximo una ruta computacional de aceptación. Es decir, la solución, si la hay, es única en este sentido. Se cree altamente improbable que todos los problemas estén en , porque según el Teorema Valiant-Vazirani esto implicaría el colapso .N P U P P N P = R P
Por otro lado, no se sabe que ningún problema completo , lo que sugiere que el requisito de solución única todavía los hace más fáciles.N P
Estoy buscando ejemplos, donde el supuesto de unicidad conduce a un algoritmo más rápido.
Por ejemplo, observando los problemas del gráfico, ¿se puede encontrar una camarilla máxima en un gráfico más rápido (aunque posiblemente todavía en tiempo exponencial), si sabemos que el gráfico tiene una camarilla máxima única ? ¿Qué tal una coloración única, un camino hamiltoniano único, un conjunto dominante mínimo único, etc.
En general, podemos definir una versión de solución única de cualquier completo , reduciéndolo a . ¿Se sabe para alguno de ellos que agregar el supuesto de unicidad conduce a un algoritmo más rápido? (Permitiendo que siga siendo exponencial).U P