Sum of Squares Lower Bounds from Pairwise Independence

STOC '15: Symposium on Theory of Computing Portland Oregon USA June, 2015(2015)

引用 46|浏览37
暂无评分
摘要
We prove that for every $\epsilon>0$ and predicate $P:\{0,1\}^k\rightarrow \{0,1\}$ that supports a pairwise independent distribution, there exists an instance $\mathcal{I}$ of the $\mathsf{Max}P$ constraint satisfaction problem on $n$ variables such that no assignment can satisfy more than a $\tfrac{|P^{-1}(1)|}{2^k}+\epsilon$ fraction of $\mathcal{I}$'s constraints but the degree $\Omega(n)$ Sum of Squares semidefinite programming hierarchy cannot certify that $\mathcal{I}$ is unsatisfiable. Similar results were previously only known for weaker hierarchies.
更多
查看译文
关键词
Sum of Squares Hierarchy,CSPs,lower bounds
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要