Reduction by Example

Given

Construct

F is satisfiable if and only if H is satisfiable.

satisfies the first clause of F.

satisfy clauses 1,3, and 4 of H and

satisfies the clause 2 of H.

Previous slide

Back to first slide

View graphic version