Message No. 100
item 2b of moed B
In many answers to item 2b, there were wrong reductions: The clause assigned to any vertex v contained variables corresponding to all the neighbours of v (and in some answers also to v itself). A conter-example to this reduction is the full graph on four vertices.

Yefim

published on 28/08/2012 11:50:20 by Yefim Dinitz