@inproceedings{246431e5d3b945ce918ee7234f8b76cc,
title = "Complete Convergence of Message Passing Algorithms for Some Satisfiability Problems",
abstract = "Experimental results show that certain message passing algorithms, namely, survey propagation, are very effective in finding satisfying assignments in random satisfiable 3CNF formulas. In this paper we make a modest step towards providing rigorous analysis that proves the effectiveness of message passing algorithms for random 3SAT. We analyze the performance of Warning Propagation, a popular message passing algorithm that is simpler than survey propagation. We show that for 3CNF formulas generated under the planted assignment distribution, running warning propagation in the standard way works when the clause-to-variable ratio is a sufficiently large constant. We are not aware of previous rigorous analysis of message passing algorithms for satisfiability instances, though such analysis was performed for decoding of Low Density Parity Check (LDPC) Codes. We discuss some of the differences between results for the LDPC setting and our results.",
author = "Uriel Feige and Elchanan Mossel and Dan Vilenchik",
year = "2006",
month = jan,
day = "1",
doi = "10.1007/11830924_32",
language = "English",
isbn = "3540380442",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "339--350",
booktitle = "Approximation, Randomization, and Combinatorial Optimization",
address = "Germany",
note = "9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006 ; Conference date: 28-08-2006 Through 30-08-2006",
}