Disproof of the Neighborhood Conjecture with Implications to SAT

11 years 8 months ago
Disproof of the Neighborhood Conjecture with Implications to SAT
We study a special class of binary trees. Our results have implications on Maker/Breaker games and SAT: We disprove a conjecture of Beck on positional games and construct an unsatisfiable k-CNF formula with few occurrences per variable, thereby improving a previous result by Hoory and Szeider and showing that the bound obtained from the Lov´asz Local Lemma is tight up to a constant factor. A (k, s)-CNF formula is a boolean formula in conjunctive normal form where every clause contains exactly k literals and every variable occurs in at most s clauses. The (k, s)-SAT problem is the satisfiability problem restricted to (k, s)-CNF formulas. Kratochv´ıl, Savick´y and Tuza showed that for every k ≥ 3 there is an integer f(k) such that every (k, f(k))-formula is satisfiable, but (k, f(k) + 1)-SAT is already NP-complete (it is not known whether f(k) is computable). Kratochv´ıl, Savick´y and Tuza also gave the best known lower bound f(k) = Ω 2k k , which is a consequence of the Lov...
Heidi Gebauer
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where ESA
Authors Heidi Gebauer
Comments (0)