La relation entre 2SAT et 3SAT
-
02-11-2019 - |
Question
Montrez que la prouvance de 2SAT est ne pas NP-Complete prouverait que le 3SAT est ne pas dans P.
Ou équatiquement -
Montrez que PROUVER 3SAT est en P prouverait que 2SAT est NP-Complete.
Je peux voir qu'il y a une réduction facile de 2SAT à 3SAT et il semble que ce soit la clé ici, mais je ne peux pas tout à fait prouver la déclaration ci-dessus. Quelqu'un peut-il aider?
Pas de solution correcte
Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange