阿尔伯特·阿特塞里亚斯；乔安娜·奥奇里米亚克 证明复杂性符合代数。 （英语） Zbl 1407.03070号 ACM事务处理。计算。日志。 20，第1号，第1条，46页（2019年）. 引用于三文件 MSC公司： 20层03 证明的复杂性 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：约束满足问题；间隙定理；证明复杂性；减少 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}和\textit{J.Ochremiak}，ACM Trans。计算。日志。20，第1号，第1条，46页（2019年；Zbl 1407.03070） 全文： 内政部 arXiv公司 链接 参考文献： [1] M.Ajtai先生。1988年鸽子洞原理的复杂性。在第29届IEEE计算机科学基础年会上。346-355. [2] M.Alekhnovich、E.Ben-Sasson、A.Razborov和A.Wigderson。命题演算中的空间复杂性。SIAM J.计算。31, 4 (2002), 1184-1211. STOC'00发布了初步版本·Zbl 1004.03047号 [3] M.Alekhnovich和A.Razborov。2003.多项式微积分的下限：非肿瘤病例。程序。斯特克洛夫数学研究所。242（2003），18-35页·Zbl 1079.03047号 [4] N.Alon和M.R.Capalbo。2002.显式唯一相邻扩展器。第43届计算机科学基础研讨会（FOCS’02）论文集。IEEE计算机学会。检索自http://dl.acm.org/citation.cfm？id=645413.652127。 [5] A.阿塞里亚斯。2015.关于素数域上的半代数证明和高斯消去的注记。CoRR abs/1502.03974（2015）。arxiv:1502.03974。检索自http://arxiv.org/abs/1502.03974。 [6] A.Atserias、A.A.Bulatov和A.Dawar。2009.仿射方程组和无限逻辑计数。西奥。计算。科学。410, 18 (2009), 1666-1683. 2007年ICALP发布了初步版本·Zbl 1168.68040号 [7] A.Atserias和V.Dalmau。2008.分辨率宽度的组合特征。J.计算。系统。科学。74、3（2008年5月）、323-334。初步版本出现在CCC’03中·Zbl 1133.03034号 [8] A.Atserias、G.Kolaitis博士和M.Vardi。2004.作为证明系统的约束传播。在第十届约束编程原理与实践国际会议（计算机科学讲稿），第3258卷。施普林格·维拉格，77岁至91岁·Zbl 1152.68537号 [9] A.Atserias、M.Lauria和J.NordströM。2016年。狭义证明可能最长。ACM事务处理。计算。日志。17, 3 (2016), 19:1-19:30. 2014年CCC发布了初步版本·Zbl 1367.03104号 [10] A.Atserias和J.Ochremiak。2017.证明复杂性符合代数。第44届国际自动化、语言和编程学术讨论会（ICALP’17）。110:1-110:14. ·Zbl 1442.03031号 [11] L.巴托。2015.约束满足问题和泛代数。牛市。符号逻辑21，3（2015），319-337。检索自http://www.jstor.org/stable/43556439。 ·Zbl 1336.68113号 [12] L.Barto和M.Kozik。2014.可通过局部一致性方法解决的约束满足问题。J.ACM 61，1，第3条（2014年1月），19页·Zbl 1295.68126号 [13] L.Barto、A.A.Krokhin和R.Willard。2017年。多态性，以及如何使用它们。在约束满足问题中，安德烈·克罗金和斯坦尼斯拉夫·伊文（编辑），第7卷。达格斯图尔-莱布尼茨信息学院，1-44·Zbl 1482.68161号 [14] L.Barto、J.Opršal和M.Pinsker。2015年，反思的仙境。CoRR abs/1510.04521（2015）。检索自http://arxiv.org/abs/1510.04521。 ·Zbl 1397.08002号 [15] P.Beame、R.Impagliazzo、J.Krajícek、T.Pitassi和P.Pudlák。1996.希尔伯特Nullstellensatz和命题证明的下限。程序。伦敦数学。Soc.73，3（1996），1-26·Zbl 0853.03017号 [16] P.Beame、R.Impagliazzo、J.Krajícek、T.Pitassi、P.Pudlák和A.Woods。1992.鸽子洞原理的指数下限。在第24届ACM计算机理论年会上。200-220. [17] E.本·萨森。2002.有界深度频率的硬示例。在第34届ACM计算机理论年会上。563-572. ·Zbl 1192.03041号 [18] C.伯克霍尔茨。2017.多项式微积分、Sherali-Adams和平方和证明之间的关系。在计算复杂性电子学术讨论会（ECCC’17）上。检索自https://eccc.weizmann.ac.il/report/2017/154。 ·Zbl 1491.03077号 [19] A.布拉托夫。2009.有界关系宽度。(2009). 手稿。网址：https://www.cs.sfu.ca/～abulatov/papers/relwidth.pdf。 [20] A.布拉托夫。2017.非均匀CSP的二分法定理。在第58届IEEE计算机科学基础年会上。 [21] A.Bulatov、P.Jeavons和A.Krokhin。2005.使用有限代数对约束的复杂性进行分类。SIAM J.计算。34, 3 (2005), 720-742. ·兹比尔1071.08002 [22] S.R.Buss、D.Grigoriev、R.Impagliazzo和T.Pitassi。多项式微积分模不同素数的度之间的线性间隙。J.计算。系统。科学。62, 2 (2001), 267-289. ·Zbl 1007.03052号 [23] S.O.Chan。2016.来自配对依赖亚组的近似阻力。J.ACM 63，3，第27条（2016年8月），32页·Zbl 1426.68115号 [24] M.Clegg、J.Edmonds和R.Impagliazzo。1995.使用Groebner基算法寻找不可满足性的证明。在第27届ACM计算机理论年会上·Zbl 0938.68825号 [25] A.Dawar和P.Wang。2017.半定编程的可定义性和CSP的类下界。第32届ACM/IEEE计算机科学逻辑研讨会（LICS’17）。1-12. ·Zbl 1452.90240号 [26] T.Feder和M.Y.Vardi。单调单子SNP的计算结构和约束满足：通过数据日志和群论的研究。SIAM J.计算。28, 1 (1998), 57-104. ·Zbl 0914.68075号 [27] M.X.Goemans和D.P.Williamson。1995.使用半定规划改进最大割和可满足性问题的近似算法。J.ACM 42，6（1995年11月），1115-1145·Zbl 0885.68088号 [28] D.格里戈里耶夫。2001。奇偶校验的Positivstellenstz微积分证明度的线性下界。西奥。计算。科学。259, 1-2 (2001), 613-622. ·Zbl 0974.68192号 [29] D.Grigoriev和E.A.Hirsch。2003.公式上的代数证明系统。西奥。计算。科学。303, 1 (2003), 83-102. ·Zbl 1044.68146号 [30] D.Grigoriev、E.A.Hirsch和D.V.Pasechnik。2002.半代数证明的复杂性。莫斯科数学。J.4，2（2002），647-679·Zbl 1027.03044号 [31] S.Hoory、N.Linial和A.Wigderson。2006.扩展器图形及其应用。牛市。阿默尔。数学。Soc.43,4（2006），439-561·Zbl 1147.68608号 [32] P.Idziak、P.Marković、R.McKenzie、M.Valeriote和R.Willard。2010.由几乎没有子幂的代数引起的可追踪性和可学习性。SIAM J.计算。39, 7 (2010), 3023-3037. ·Zbl 1216.68129号 [33] R.Impagliazzo、P.Pudlák和J.Sgall。1999.多项式微积分和Groebner基算法的下限。计算。复杂性8，2（1999），127-144·Zbl 0946.68129号 [34] S.Khot、G.Kindler、E.Mossel和R.O'Donnell。2007.MAX-CUT和其他2变量CSP的最佳不接近性结果？SIAM J.计算。37, 1 (2007), 319-357. ·Zbl 1135.68019号 [35] G.Kolaitis博士和M.Y.Vardi博士。2000.约束满足的博弈论方法。在第17届全国人工智能会议和第12届人工智能创新应用会议的会议记录中。AAAI出版社，175-181。检索自http://dl.acm.org/citation.cfm？id=647288.721266。 [36] J.Krajícek。2001年。关于弱鸽子洞原则。基金。数学。170, 1-3 (2001), 123-140. ·Zbl 0987.03051号 [37] J.Krajícek、P.Pudlák和A.Woods。有界深度大小的指数下界Frege证明鸽子洞原理。随机结构。算法7，1（1995），15-39·Zbl 0843.03032号 [38] J.B.拉塞尔。2011年，使用多项式和矩问题进行全局优化。SIAM J.Optimization 11（2011），296-317。 [39] M.Laurent。2001.0-1编程中Sherali-Adams、Lovász-Schrijver和Lasserre松弛的比较。数学。操作。第28号决议（2001年），470-496·邮编1082.90084 [40] M.Lauria和J.NordströM。2017.基于Hilbert的Nullstellensatz和Gröbner Bases的算法很难实现图形着色。在第32届计算复杂性会议（CCC’17）上。2:1-2:20. ·Zbl 1440.68105号 [41] L.Lovász和A.Schrijver。1991.矩阵锥和集函数以及0-1优化。SIAM J.最优化1，2（1991），166-190·Zbl 0754.90039号 [42] T.皮塔西。1997.代数命题证明系统。在描述复杂性和有限模型中，N.Immerman和Ph.G.Kolaitis（Eds.）。离散数学和理论计算机科学DIMACS系列，第31卷。美国数学学会，68-96·Zbl 0880.68118号 [43] P.Pudlák。1999.关于命题演算的复杂性。1997年逻辑学术讨论会特邀论文集和证明。剑桥大学出版社，197-218·Zbl 0939.03065号 [44] R.A.Reckhow。1976.关于命题演算中证明的长度。博士论文。多伦多大学计算机科学系·Zbl 0375.0204号 [45] G.斯科内贝克。2008.某些k-CSP的线性激光下界。第49届IEEE计算机科学基础年会（FOCS’08）。593-602. [46] H.D.Sherali和W.P.Adams。零规划问题的连续和凸壳表示之间的松弛层次。SIAM J.离散数学。3, 3 (1990), 411-430. ·Zbl 0712.90050号 [47] J.Thapper和S.ivn。2017.一般价值CSP的SDP放松限制。第32届ACM/IEEE计算机科学逻辑研讨会（LICS’17）。1-12·Zbl 1452.90279号 [48] J.Thapper和S.ivn。2017年，Sherali-Adams对一般价值顾客服务提供商的放松作用。SIAM J.计算。46, 4 (2017), 1241-1279. ·Zbl 1371.68125号 [49] M.Tulsiani。2009年，Lasserre层级中的CSP差距和减少。第41届ACM计算机理论年会（STOC'09）。303-312. ·Zbl 1304.90157号 [50] D.朱克。2017.CSP二分法猜想的证明。在第58届IEEE计算机科学基础年度研讨会上·Zbl 1491.68128号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。