Question

Selon Ces notes de scribe (et un papier), 3SAT-5 est du NP-dur. Le problème est défini comme étant: étant donné une formule 3SAT, chaque variable se produit dans au plus 5 clauses. Il est également prouvé que le 3SAT-4 est du NP-dur.

Quelle est la complexité de calcul de 3SAT-$ K $ pour $ k le 3 $?

Pas de solution correcte

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