2
Istanze risolvibili nel tempo polinomiale di Max-Sat
Il problema Max-Sat ti chiede di trovare un'assegnazione di una formula CNF che soddisfi il maggior numero possibile di clausole. Per il problema più semplice SAT ci sono molti casi speciali noti che possono essere risolti in tempo polinomiale, ad esempio possiamo risolvere 2-SAT in tempo polinomiale. Per Max-Sat la …