El problema de decisión de la tautología es: dada una expresión booleana B, verifique que sea una tautología (es decir, verdadera para todas las asignaciones de valores de verdad).
Un problema de decisión está en co-NP si su complemento está en NP.
Se ha demostrado que el problema de decisión de Tautología es co-NP completo. Para ver que está en co-NP, considere el problema complementario “Falsificable” de encontrar una asignación de variables que hace que una expresión booleana sea falsa. Solo necesita una de esas asignaciones, por lo que Falsificable puede verificarse en tiempo polinómico, es decir, está en NP. Porque para cada expresión booleana X, Tautología (X) = NO Falsificable (X), el procedimiento de decisión de Tautología está en co-NP.
- Dada una cuadrícula de cubos en 3D, ¿cuál es una manera eficiente de calcular un mapa de oclusión desde una perspectiva dada?
- ¿Qué es mejor fontanería o informática?
- ¿Cuáles son los conceptos STEM más importantes que conducen al desarrollo de la informática digital?
- ¿Cómo manejan las computadoras los programas que no se ajustan a la CPU?
- ¿Qué curso debería estudiar para piratería ética después del 10?
Un oráculo co-NP respondería así a cualquier problema de decisión de Tautología diciéndole si X era una tautología o no.
No entiendo la última parte de tu pregunta, lo siento.
