Question

J'essaie de prouver que 3SAT est le temps polynome réductible à CNF-sat, mais je ne sais pas comment faire cela. Une formule F est en 3SAT IFF F (F) est en KNFSAT, mais comme 3SAT fait partie de KNFSAT, chaque formule qui est en 3SAT sera automatiquement en CNF-SAT. Ma conclusion est-elle correcte? Et comment puis-je réellement le montrer de manière correcte?

Pas de solution correcte

Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange
scroll top