Approximation resistant predicates from pairwise independence
2008 (English)In: 23rd Annual IEEE Conference on Computational Complexity, proceedings, 2008, 249-258 p.Conference paper (Refereed)
We study the approximability of predicates on k variables from a domain [q], and give a new sufficient condition for such predicates to be approximation resistant under the Unique Games Conjecture. Specifically, we show that a predicate P is approximation resistant if there exists a balanced pairwise independent distribution over [q](k) whose support is contained in the set of satisfying assignments to P. Using constructions of pairwise independent distributions this result implies that For general k >= 3 and q >= 2, the MAX k-CSP(q) problem is UG-hard to approximate within O(kq(2))q(k) + epsilon. For the special case of q = 2, i.e., boolean variables, we can sharpen this bound to (k + O(k(0.525)))/2(k) + epsilon, improving upon the best previous bound of 2k/2(k) + epsilon (Samorodnitsky and Trevisan, STOC'06) by essentially a factor 2. Finally, again for q = 2, assuming that the famous Hadamard Conjecture is true, this can be improved even further and the O(k(0.521)) term can be replaced by the constant 4.
Place, publisher, year, edition, pages
2008. 249-258 p.
, Annual IEEE Conference on Computational Complexity, ISSN 1093-0159
Computer and Information Science
IdentifiersURN: urn:nbn:se:kth:diva-38375DOI: 10.1109/CCC.2008.20ISI: 000257941800024ScopusID: 2-s2.0-51749120357ISBN: 978-0-7695-3169-4OAI: oai:DiVA.org:kth-38375DiVA: diva2:437296
23rd Annual IEEE Conference on Computational Complexity Location: Univ Maryland, College Pk, MD Date: JUN 23-26, 2008