File talk:CNF-SAT-independent-set-reduction.svg

The graph is wrong, the two vertices named x_1 should be the same. Otherwise, it seems like x_1(top) and x_4 are an independent set, but they should not be. 195.176.179.202 (talk) 17:26, 29 October 2008 (UTC)