Spring 1998
Satisfiability Introduction
The solution:
The solution:
None exists.
| SAT CLAUSE | 3-SAT CLAUSES |
|---|---|
| { z1 } | { v1, v2, z1 }, {v1, v2', z1 }, {v1', v2, z1 }, {v1', v2', z1 } |
| { z1, z2 } | { v1, z1, z2 }, {v1', z1, z2 } |
| { z1, z2, z3 } | No Change Needed |
| { z1, z2, ... , zn } | { vj-1, zj, vj' } for 3 <= j <= n-2, {z1, z2, v2' }, {vn-2, zn-1, zn } |