## Question

2. Let C be a 3-CNF formula. A≠-assignment to C is a truth assignment that satisfies C, but in such a way that every clause of C has at least one literal set to true, but also has one literal set to false. Prove that, if a is a≠-assignment for a set of clauses, then so it is its inversion a ̅, where the inversion of an assignment is the assignment that is obtained by inverting each assignment value of a (i.e. 1 to 0, and 0 to 1).

## Solution Preview

These solutions may offer step-by-step problem-solving explanations or good writing examples that include modern styles of formatting and construction of bibliographies out of text citations and references. Students may use these solutions for personal skill-building and practice. Unethical use is strictly forbidden.

We assume that as input we have the graph G encoded as an adjacency list in a binary notation.1) We also assume its vertices are counted from 1 to n.

The non-deterministic algorithm will must first call a method to determine a sequence of n+1 numbers from 1 to n.

Then we put the algorithm to verify that each number from the range [1..n] appears only once in the sequence. This can be done simpler by sorting the sequence. The only constraint involves the first and last numbers, which must be the same....

By purchasing this solution you'll be able to access the following files:

Solution.docx.