Professional Documents
Culture Documents
Proposition 1 2SAT P.
x y z
x y z
2
=
The reverse: let no strongly connected component of G
contain xi and xi for any i [1, n]. Order the strongly
connected components C1, . . . , Cm of G in a topological
order.
The assignment: for any variable x, val(x) =TRUE
iff x appears after x; else val(x) =FALSE. To prove that
this assignment satisfies the formula, we prove
Claim: for no edge ab of the graph, vertex a assigned
TRUE and vertex b assigned F ALSE.
Proof of the Claim. Assuming it is incorrect, let edge
ab be a counterexample: val(a) = T RU E and val(b) =
F ALSE. Let a appears in the biconnected component
Bi. The reason edge ab is in the graph is clause ab which
also generated edge ba. Since val(a) = T RU E, val(a) =
F ALSE, vertex a appears before the biconnected com-
ponent Bi, say Bj where j < i. Since val(b) = F ALSE,
vertex b appears after Bi, say in Bk , where k > j. But
any edge from Bk to Bj with j < k contradicts the topo-
logical order of the biconnected components.
Now, the Claim guarantees that F is satisfied by the
assignment. Indeed, if there were a clause x y with
val(x) = val(y) = F ALSE we would have an edge xy
with val(x) = T RU E and val(y) = F ALSE, contra-
dicting the Claim.
3