Thursday, January 24, 2008

Homework 1 Clarification

For problem 3 we use Max-E3SAT-6. When it says that each variable appears in exactly 6 clauses does this mean that (x, not x) each appear 6 in six clauses or are they not considered separate variables?

1 comment:

Anupam said...

The total number of occurrences of x and (not x) is 6, where x is a variable.

In general, x and (not x) are the same variable (namely x), but different literals.