Given an ideal $I$ and a polynomial $f$ the Ideal Membership Problem is to test if $f\in I$. This problem is a fundamental algorithmic problem with important applications and notoriously intractable. We study the complexity of the Ideal Membership Problem for combinatorial ideals that arise from constrained problems over the Boolean domain. As our main result, we identify the borderline of tractability. By using Gr\"{o}bner bases techniques, we extend Schaefer's dichotomy theorem [STOC, 1978] which classifies all Constraint Satisfaction Problems over the Boolean domain to be either in P or NP-hard. Moreover, our result implies necessary and sufficient conditions for the efficient computation of Theta Body SDP relaxations, identifying therefore the borderline of tractability for constraint language problems. This paper is motivated by the pursuit of understanding the recently raised issue of bit complexity of Sum-of-Squares proofs [O'Donnell, ITCS, 2017]. Raghavendra and Weitz [ICALP, 2017] show how the Ideal Membership Problem tractability for combinatorial ideals implies bounded coefficients in Sum-of-Squares proofs.


翻译:根据理想的美元和多元美元,理想的会籍问题是测试是否美元。这是一个具有重要应用和臭名昭著的棘手问题。我们研究了布尔兰域受限问题产生的组合理想的“理想会籍问题”的复杂性。我们的主要结果是,我们确定了可移动性的界限。我们通过使用Gr\"{o}bner基础技术,扩大了Schaefer将布林域上所有约束性满意度问题归类为P或NP-硬体的二分点理论[STOC,1978年]。此外,我们的结果意味着有效计算Theta Body SDP放松所需的必要和充分条件,从而确定了制约语言问题的可移动性界限。本文的动机是了解最近提出的Sum-ques证据的微复杂性问题[O'Donnell, ITCS, 201717]。Raghavendra和Witz[CICM,201717]显示ICRP, 2017]显示Ideal-Is Cregresmissionality Colbility 隐含约束性硬性硬性硬性硬性硬性硬性硬性硬性硬性硬性硬性硬性的“会籍成员问题。

0
下载
关闭预览

相关内容

专知会员服务
28+阅读 · 2020年8月8日
专知会员服务
42+阅读 · 2020年7月29日
因果图,Causal Graphs,52页ppt
专知会员服务
246+阅读 · 2020年4月19日
【普林斯顿大学-微软】加权元学习,Weighted Meta-Learning
专知会员服务
39+阅读 · 2020年3月25日
【新书】Python编程基础,669页pdf
专知会员服务
193+阅读 · 2019年10月10日
图机器学习 2.2-2.4 Properties of Networks, Random Graph
图与推荐
10+阅读 · 2020年3月28日
BERT/Transformer/迁移学习NLP资源大列表
专知
19+阅读 · 2019年6月9日
计算机 | ICDE 2020等国际会议信息8条
Call4Papers
3+阅读 · 2019年5月24日
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Ray RLlib: Scalable 降龙十八掌
CreateAMind
9+阅读 · 2018年12月28日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
【 关关的刷题日记53】 Leetcode 100. Same Tree
专知
10+阅读 · 2017年12月1日
Arxiv
0+阅读 · 2021年5月15日
Arxiv
3+阅读 · 2018年2月24日
VIP会员
相关资讯
图机器学习 2.2-2.4 Properties of Networks, Random Graph
图与推荐
10+阅读 · 2020年3月28日
BERT/Transformer/迁移学习NLP资源大列表
专知
19+阅读 · 2019年6月9日
计算机 | ICDE 2020等国际会议信息8条
Call4Papers
3+阅读 · 2019年5月24日
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Ray RLlib: Scalable 降龙十八掌
CreateAMind
9+阅读 · 2018年12月28日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
【 关关的刷题日记53】 Leetcode 100. Same Tree
专知
10+阅读 · 2017年12月1日
Top
微信扫码咨询专知VIP会员