Next:
LO6 MAXIMUM DISTINGUISHED
Up:
Propositional Logic
Previous:
LO4 MAXIMUM NOT-ALL-EQUAL
-
I
NSTANCE
:
Set
U
of variables, collection
C
of conjunctive clauses of at most
three literals, where a literal is a variable or a negated variable in
U
.
-
S
OLUTION
:
A truth assignment for
U
.
-
M
EASURE
:
Number of clauses satisfied by the truth assignment.
-
Bad News:
Not in A
PX
[
238
].
-
Garey and Johnson:
LO8
Viggo Kann
Mon Apr 21 13:07:14 MET DST 1997