Si se sabe que un problema X (problema de decisión) es NP-Completo, y se ha comprobado que se ha reducido al problema Y en tiempo de polinomio, ¿se puede decir que el problema Y es NP-Completo?Si se sabe que un problema X (problema de decisión) es NP-Completo, y se ha demostrado que se reduce al problema Y, ¿se puede decir que el problema Y es NP-Completo?
Mi primer pensamiento fue, no, el problema Y debe demostrarse que está en NP. Pero después de pensarlo más, si X se reduce a Y, ya se considera que NP es completo. Ahora estoy confundido ... cualquier ayuda sería apreciada.
Creo que la tuviste la primera vez. Si podemos reducir cualquier problema conocido a otro problema completo de NP, entonces ese problema también es NP. – Jim
del wiki: "... miles de otros problemas se han demostrado que son NP-completos por reducciones de otros problemas que previamente se demostró que son NP-completos; ..." entonces, ¿diría que "sí" es la respuesta? –
Por definición, Y es "NP-hard". Un problema NP-hard es aquel que puede usarse para resolver cualquier problema en NP, incluido el problema NP-complete. Sin embargo, un problema NP-difícil no es necesariamente en NP. – gnasher729