Sciweavers

Share
ISAAC
2004
Springer

On the Hardness and Easiness of Random 4-SAT Formulas

9 years 9 months ago
On the Hardness and Easiness of Random 4-SAT Formulas
Assuming 3-SAT formulas are hard to refute with high probability, Feige showed approximation hardness results, among others for the max bipartite clique. We extend this result in that we show that approximating max bipartite clique is hard under the weaker assumption, that random 4-SAT formulas are hard to refute with high probability. On the positive side we present an efficient algorithm which finds a hidden solution in an otherwise random not-all-equal 4-SAT instance. This extends analogous results on not-all-equal 3-SAT and classical 3-SAT. The common principle underlying our results is to obtain efficiently information about discrepancy (expansion) properties of graphs naturally associated to 4SAT instances. In case of 4-SAT (or k-SAT in general) the relationship between the structure of these graphs and that of the instance itself is weaker than in case of 3-SAT. This causes problems whose solution is the technical core of this paper.
Andreas Goerdt, André Lanka
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where ISAAC
Authors Andreas Goerdt, André Lanka
Comments (0)
books