## Deterministic Algorithms for the Lovász Local Lemma

dc.contributor.author | Chandrasekaran, Karthekeyan | |

dc.contributor.author | Goyal, Navin | |

dc.contributor.author | Haeupler, Bernhard | |

dc.date.accessioned | 2014-03-28T13:39:52Z | |

dc.date.available | 2014-03-28T13:39:52Z | |

dc.date.issued | 2013-11 | |

dc.date.submitted | 2013-07 | |

dc.identifier.issn | 0097-5397 | |

dc.identifier.issn | 1095-7111 | |

dc.identifier.uri | http://hdl.handle.net/1721.1/85941 | |

dc.description.abstract | The Lovász local lemma (LLL) [P. Erdös and L. Lovász, Problems and results on 3-chromatic hypergraphs and some related questions, in Infinite and Finite Sets, Vol. II, A. Hajnal, R. Rado, and V. T. Sós, eds., North--Holland, Amsterdam, 1975, pp. 609--627] is a powerful result in probability theory that informally states the following: the probability that none of a set of bad events happens is positive if the probability of each event is small compared to the number of events that depend on it. The LLL is often used for nonconstructive existence proofs of combinatorial structures. A prominent application is to $k$-CNF formulas, where the LLL implies that if every clause in a formula shares variables with at most $d \leq 2^k/e-1$ other clauses, then such a formula has a satisfying assignment. Recently, a randomized algorithm to efficiently construct a satisfying assignment in this setting was given by Moser [A constructive proof of the Lovász local lemma, in STOC '09: Proceedings of the 41st Annual ACM Symposium on Theory of Computing, ACM, New York, 2009, pp. 343--350]. Subsequently Moser and Tardos [J. ACM, 57 (2010), pp. 11:1--11:15] gave a general algorithmic framework for the LLL and a randomized algorithm within this framework to construct the structures guaranteed by the LLL. The main problem left open by Moser and Tardos was to design an efficient deterministic algorithm for constructing structures guaranteed by the LLL. In this paper we provide such an algorithm. Our algorithm works in the general framework of Moser and Tardos with a minimal loss in parameters. For the special case of constructing satisfying assignments for $k$-CNF formulas with $m$ clauses, where each clause shares variables with at most $d \leq 2^{k/(1+\epsilon)}/e - 1$ other clauses, for any $\epsilon\in (0,1)$, we give a deterministic algorithm that finds a satisfying assignment in time $\tilde{O}(m^{2(1+1/\epsilon)})$. This improves upon the deterministic algorithms of Moser and of Moser and Tardos with running times $m^{\Omega(k^2)}$ and $m^{\Omega(d \log d)}$, respectively, which are superpolynomial for $k=\omega(1)$ and $d=\omega(1)$, and upon the previous best deterministic algorithm of Beck, which runs in polynomial time only for $d\leq 2^{k/16}/4$. Our algorithm is the first deterministic algorithm that works in the general framework of Moser and Tardos. We also give a parallel NC algorithm for the same setting, improving upon an algorithm of Alon [Random Structures Algorithms, 2 (1991), pp. 367--378]. | en_US |

dc.description.sponsorship | Massachusetts Institute of Technology (Akamai Presidential Fellowship) | en_US |

dc.language.iso | en_US | |

dc.publisher | Society for Industrial and Applied Mathematics | en_US |

dc.relation.isversionof | http://dx.doi.org/10.1137/100799642 | en_US |

dc.rights | Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. | en_US |

dc.source | Society for Industrial and Applied Mathematics | en_US |

dc.title | Deterministic Algorithms for the Lovász Local Lemma | en_US |

dc.type | Article | en_US |

dc.identifier.citation | Chandrasekaran, Karthekeyan, Navin Goyal, and Bernhard Haeupler. “Deterministic Algorithms for the Lovász Local Lemma.” SIAM Journal on Computing 42, no. 6 (January 2013): 2132–2155. | en_US |

dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | en_US |

dc.contributor.mitauthor | Haeupler, Bernhard | en_US |

dc.relation.journal | SIAM Journal on Computing | en_US |

dc.eprint.version | Final published version | en_US |

dc.type.uri | http://purl.org/eprint/type/JournalArticle | en_US |

eprint.status | http://purl.org/eprint/status/PeerReviewed | en_US |

dspace.orderedauthors | Chandrasekaran, Karthekeyan; Goyal, Navin; Haeupler, Bernhard | en_US |

dc.identifier.orcid | https://orcid.org/0000-0003-3381-0459 | |

mit.license | PUBLISHER_POLICY | en_US |

mit.metadata.status | Complete |