Preguntas etiquetadas con promise-problems

Recientemente estuve leyendo un artículo muy bueno de Valiant y Vazirani que muestra que si , entonces no puede haber un algoritmo eficiente para resolver SAT incluso bajo la promesa de que es insatisfactorio o tiene una solución única. De este modo, se demuestra que SAT no admite un algoritmo …

14 np-hardness  np-complete  unique-solution  promise-problems 

(Este es el "extremo superior" de mi pregunta de hace más de 10 meses en cs.stackexchange. Esa pregunta y el "extremo inferior" Pregunté aquí hace más de 8 meses , lo que también tengo una recompensa por, son a la vez sin respuesta. Estos son capturas de pantalla de cómo …

8 np-hardness  csp  promise-problems