Estoy seguro de que debe haber algo incorrecto con el siguiente razonamiento porque, de lo contrario, se reduciría mucha investigación de P vs. NP, pero no puedo determinar mi error: Para cualquier entero fijo definak > 0k>0 0k>0sik: = { ⟨ Phi ⟩ |φes un wff de ZF y tiene una prueba de...
Recientemente, estoy leyendo documentos sobre dicotomía . No entiendo qué condición se puede llamar como una dicotomía ? ¿Cuál es el significado de "una pregunta está en P o en NP - completa "? (suponga P ≠≠\neq NP ) Por ejemplo, conozco el teorema de la dicotomía de Schaefer, en el que se da una...
Sé que los problemas de la mochila 2D y 3D son NPC, pero ¿hay alguna forma de resolverlos en un tiempo razonable si las instancias no son muy complicadas? ¿Funcionaría la programación dinámica? Por mochila 2D (3D) quiero decir que tengo un cuadrado (cubo) y una lista de objetos, todos los datos...
Estaba leyendo este documento donde los autores explican el Teorema 1, que establece que "Objeto alcanzable" (como se define en el documento) es NP-completo. Sin embargo, prueban la reducción solo en una dirección, es decir, desde 2P1N SAT hasta Objeto alcanzable. Esto solo prueba que el problema...
Sudoku es un rompecabezas bien conocido que se sabe que es NP completo y es un caso especial de un problema más general conocido como cuadrados latinos. Una solución correcta del cuadrado consiste en llenar cada fila y cada columna con números del al con la condición de que cada número aparezca...