10.1145/acmotherconferences会议 ACM其他会议 0000000 10.5555/0000000 第34届计算复杂性会议（CCC 2019）会议记录 CCC 2019年 10.4230/LIPIcs公司。CCC.2019.18号 18 10003752.10003777.10003785 计算理论~证明复杂性 500 Nullstellensatz大小与可逆卵石交易 德雷泽德 苏珊娜·F·。 瑞典斯德哥尔摩皇家理工学院 作者 诺德斯特伦 雅各布 丹麦哥本哈根大学 作者 迈尔 或者 以色列海法大学 邮箱：ormeir@cs.haifa.ac.il 作者 罗贝尔 罗伯特 DIMACS，美国新不伦瑞克。 作者 16 07 2019 18:1 18:16

我们在图的可逆卵石与卵石公式的Nullstellensatz反驳之间建立了严格的关系，证明了一个图G在时间t和空间s中可以可逆地被pebbled，当且仅当G上的pebbling公式在大小t+1和度s上有Nullstellensatz反驳时（与Nullstelensatz反驳所在的域无关）。我们使用这种对应关系证明了Nullstellensatz的一些强大的大小-程度权衡，据我们所知，这是这个证明系统的第一个这样的结果。

 证明复杂性 零点定理 卵石游戏 权衡 大小 度 迈克尔·阿列克诺维奇（Michael Alekhnovich）、埃利·本·萨森（Eli Ben-Sasson）、亚历山大·拉兹博罗夫（Alexander A.Razborov）和阿维·威格德森（Avi Wigderson）。命题演算中的空间复杂性。SIAM计算机杂志，31（4）：1184-12112002。STOC’00的初步版本。 乔尔·阿尔文和弗拉基米尔·塞尔维连科。高并行复杂度图形和内存卡函数。2015年6月，第47届ACM计算机理论年会（STOC’15）会议记录，第595-603页。 阿尔伯特·阿塞里亚斯（Albert Atserias）和托马斯·哈科尼米（Tuomas Hakoniemi）。平方和和和正性证明的大小-程度权衡。技术报告，arXiv.org，2018年11月。网址：http://arxiv.org/abs/1811.01351。 阿尔伯特·阿塞里亚斯（Albert Atserias）、马西莫·劳里亚（Massimo Lauria）和雅各布·诺德斯特伦（Jakob Nordström）。窄证据可能最长。ACM计算逻辑汇刊，17（3）：19:1-19:30，2016年5月。CCC’14中的初步版本。 阿尔伯特·阿塞里亚斯和乔安娜·奥奇里米亚克。证明复杂性符合代数。ACM计算逻辑汇刊，2019年2月20:1:1-1:46。2017年ICALP的初步版本。 保罗·比姆（Paul Beame）、斯蒂芬·库克（Stephen A.Cook）、杰夫·埃德蒙兹（Jeff Edmonds）、罗素·英帕利亚佐（Russell Impagliazzo）和托尼安·皮塔西。NP搜索问题的相对复杂性。《计算机与系统科学杂志》，57（1）：3-191998年8月。STOC’95的初步版本。 保罗·比姆（Paul Beame）、罗素·英帕利亚佐（Russell Impagliazzo）、扬·克拉切克（Jan Krajíckek）、托尼安·皮塔西（Toniann Pitassi）和帕维尔·普德拉克（Pavel Pudlák）。希尔伯特Nullstellensatz和命题证明的下限。1994年11月，第35届IEEE计算机科学基础年会（FOCS’94）论文集，第794-806页。 Chris Beck、Jakob Nordström和Bangseng Tang。多项式微积分的一些权衡结果。2013年5月，第45届ACM计算机理论年会（STOC’13）会议记录，第813-822页。 埃利·本·萨森。解决方案的大小空间权衡。SIAM计算机杂志，38（6）：2511-25252009年5月。STOC'02的初步版本。 Eli Ben-Sasson和Jakob Nordström。理解证据复杂性中的空间：通过替代的分离和权衡。2011年1月，第二届计算机科学创新研讨会（ICS’11）论文集，第401-416页。 Eli Ben-Sasson和Avi Wigderson。简短的证明是窄的-分辨率变得简单。美国医学会杂志，48（2）：149-1692001年3月。STOC’99的初步版本。 查尔斯·H·贝内特。计算的逻辑可逆性。IBM研究与开发杂志，17（6）：525-5321973年11月。 查尔斯·H·贝内特。可逆计算的时间/空间权衡。SIAM计算机杂志，18（4）：766-7761989年8月。 克里斯托夫·贝尔霍尔茨（Christoph Berkholz）。多项式微积分、Sherali-Adams和平方和证明之间的关系。第35届计算机科学理论方面研讨会论文集（STACS’18），莱布尼茨国际信息学论文集（LIPIcs）第96卷，第11:1-11:14页，2018年2月。 阿尔奇·布莱克。布尔代数中的规范表达式。芝加哥大学博士论文，1937年。 哈里·布尔曼（Harry Buhrman）、约翰·特隆普（John Tromp）和保罗·维坦伊（Paul Vitányi）。可逆模拟的时间和空间界限。《物理学杂志A：数学与普通》，34:6821-68302001年。ICALP'01的初步版本。 约书亚·布雷什·奥彭海姆（Joshua Buresh-Openheim）、马修·克莱格（Matthew Clegg）、罗素·英帕利亚佐（Russell Impagliazzo）和托尼安·皮塔西（Toniann Pitassi）。均匀化和多项式微积分。计算复杂性，11（3-4）：91-1082002。ICALP'00的初步版本。 塞缪尔·巴斯。通过设计证明Nullstellensatz的下限。《证明复杂性和可行性算法》，《离散数学和理论计算机科学DIMACS系列》第39卷，第59-71页。美国数学学会，1998年。网址：http://www.math.ucsd.edu/~sbuss/ResearchWeb/designs/。 塞缪尔·巴斯（Samuel R.Buss）、拉塞尔·英帕利亚佐（Russell Impagliazzo）、扬·克拉切克（Jan Krajíckek）、帕维尔·普德拉克（Pavel Pudlák）、亚历山大·拉兹博罗夫（Alexander A.Razborov）和吉里。用模计数证明代数系统和有界深度频率系统的复杂性。计算复杂性，6（3）：256-2981997。 塞缪尔·巴斯和托尼安·皮塔西。良度界是对归纳原理的Nullstellensatz反驳。《计算机与系统科学杂志》，2（57）：162-171998年10月。1996年CCC的初步版本。 David A.Carlson和John E.Savage。用很多免费的鹅卵石做图表是很困难的。第十二届ACM计算机理论研讨会（STOC’80）会议记录，第326-3321980页。 David A.Carlson和John E.Savage。具有小空间需求的图的极端时空权衡。信息处理信函，14（5）：223-2271982。 Siu Man Chan、Massimo Lauria、Jakob Nordström和Marc Vinyals。PSPACE中近似的硬度和卵石游戏的分离结果（扩展摘要）。2015年10月，第56届IEEE计算机科学基础年会（FOCS’15）论文集，第466-485页。 小曼·陈（Siu Man Chan）和亚伦·波提钦（Aaron Potechin）。通过傅里叶分析的单音交换网络的紧界。《计算理论》，10:389-4192014年10月。STOC’12的初步版本。 阿肖克·K·钱德拉。线性递归程序的高效编译。在第14届交换与自动机理论年度研讨会论文集（SWAT’73），第16-25页，1973年。 Matthew Clegg、Jeffery Edmonds和Russell Impagliazzo。使用Groebner基算法寻找不满足性的证明。1996年5月，第28届ACM计算机理论年会（STOC’96）论文集，第174-183页。 斯蒂芬·库克（Stephen A.Cook）。《时间-存储权衡观察》，《计算机与系统科学杂志》，9（3）：308-3161974年。STOC’73的初步版本。 斯特凡·丹切夫（Stefan S.Dantchev）、巴纳比·马丁（Barnaby Martin）和马丁·罗德斯（Martin Rhodes）。Sherali-Adams证明系统的严格等级下限。理论计算机科学，410（21-23）：2054-20632009年5月。 苏珊娜·德·雷泽德（Susanna F.de Rezende）、奥尔·迈尔（Or Meir）、雅各布·诺德斯特伦（Jakob Nordström）、托尼安·皮塔西（Toniann Pitassi）、罗伯特·罗伯雷（Robert Robere）和马克·维尼亚尔斯。用简单的小工具提升电路和证明复杂性的应用。2019年手稿编制中。 辛西娅·德沃克、莫尼·诺尔和霍特克·维。圆珠笔和工作证明。第25届国际密码学年会（2005年）会议记录，计算机科学讲稿第3621卷，第37-54页。斯普林格，2005年8月。 尤瓦尔·菲莫斯（Yuval Filmus）、托尼安·皮塔西（Toniann Pitassi）、罗伯特·罗伯雷（Robert Robere）和斯蒂芬·库克（Stephen A Cook）。单音交换网络的平均情况下限。2013年11月，第54届IEEE计算机科学基础年会（FOCS’13）论文集，第598-607页。 约翰·吉尔伯特（John R.Gilbert）、托马斯·伦高（Thomas Lengauer）和罗伯特·恩德雷·塔尔扬（Robert Endre Tarjan）。鹅卵石问题在多项式空间中是完全的。SIAM计算机杂志，9（3）：513-5241980年8月。STOC’79的初步版本。 Dima Grigoriev、Edward A.Hirsch和Dmitrii V.Pasechnik。静态半代数证明的指数下界。第29届国际自动化、语言和编程学术讨论会（ICALP’02）论文集，计算机科学讲稿第2380卷，第257-268页。斯普林格，2002年7月。 Mika Gös、Pritish Kamath、Robert Robere和Dmitry Sokolov。单调复杂性和TFNP冒险。技术报告TR18-163，计算复杂性电子学术讨论会（ECCC），2018年9月。 约翰·霍普克罗夫特（John Hopcroft）、沃尔夫冈·保罗（Wolfgang Paul）和莱斯利·瓦利安特（Leslie Valiant）。时间vs.空间。美国医学会杂志，24（2）：332-3371977年4月。FOCS’75的初步版本。 罗素·英帕利亚佐（Russell Impagliazzo）、帕维尔·普德拉克（Pavel Pudlák）和吉·斯加尔（JiříSgall）。多项式微积分和Gröbner基算法的下限。计算复杂性，8（2）：127-1441999。 Arist Kojevnikov和Dmitry Itsykson。Tseitin重言式的静态Lovász-Schrijver演算证明的下限。《第33届自动机、语言和程序设计国际学术讨论会论文集》（ICALP'06），《计算机科学讲义》第4051卷，第323-334页。斯普林格，2006年7月。 巴拉戈帕尔·科马拉斯（Balagopal Komarath）、贾亚拉尔·萨尔马（Jayalal Sarma）和索拉巴·萨瓦尼（Saurabh Sawlani）。卵石与着色：树木上的可逆卵石游戏。《计算机与系统科学杂志》，91:33-412018。网址：http://dx.doi.org/10.1016/j.jcss.2017.07.009。 理查德·克拉洛维奇。可逆卵石的时空复杂性。RAIRO：理论信息学与应用，38（02）：137-1612004年4月。 克劳斯·约恩·兰格、皮埃尔·麦肯齐和阿兰·塔普。可逆空间等于确定性空间。计算机与系统科学杂志，60（2）：354-3672000年4月。 托马斯·伦戈尔（Thomas Lengauer）和罗伯特·恩德雷·塔尔扬（Robert Endre Tarjan），《圆石游戏中时空交易的渐近线》。ACM期刊，29（4）：1087-11301982年10月。STOC’79的初步版本。 李明（Ming Li）、约翰·特隆普（John Tromp）和保罗·维坦伊（Paul Vitányi）。不可逆计算的可逆模拟。《物理学D：非线性现象》，120（1-2）：168-1761998年9月。 李明和保罗·维坦伊。可逆性和绝热计算：以时间和空间换取能量。伦敦皇家学会学报，A辑，452（1947）：769-7891996年4月。 Jesüs A.De Loera、Jon Lee、Susan Margulies和Shmuel Onn。用多项式方程组和Hilbert Nullstellensatz表示组合问题。组合数学，概率与计算，18（4）：551-5822009年7月。 朱利亚·穆利（Giulia Meuli）、马蒂亚斯·索肯（Mathias Soeken）、马丁·罗特勒（Martin Roettler）、尼古拉·比约纳（Nikolaj Björner）和乔瓦尼·德米凯利（Giovanni De Micheli）。量子内存管理的可逆卵石游戏。CoRR，abs/1904.021212019年。网址：http://arxiv.org/abs/1904.02121。 雅各布·诺德斯特伦。圆石游戏、证明复杂性和时空权衡。计算机科学中的逻辑方法，9（3）：15:1-15:632013年9月。 雅各布·诺德斯特伦。旧葡萄酒中的新葡萄酒：对一些鹅卵石经典的调查及补充结果。手稿正在编写中。出现在理论计算机科学的基础和趋势中。当前草稿版本可在网址：http://www.csc.kth.se/~jakobn/research/，2019年。 迈克尔·S·帕特森和卡尔·E·休伊特。比较图式学。《并行系统和并行计算MAC项目会议记录》，第119-1271970页。 尼古拉斯·皮彭格。口齿不清。技术报告RC8258，IBM Watson Research Center，1980年。第五届IBM计算机科学数学基础研讨会论文集，日本。 托尼安·皮塔西和罗伯特·罗伯尔。单调计算的强指数下限。2017年6月，第49届ACM计算机理论年会（STOC’17）会议记录，第1246-1255页。 托尼安·皮塔西和罗伯特·罗伯尔。将Nullstellensatz提升到任何字段上的单调跨度程序。2018年6月，第50届ACM计算机理论研讨会（STOC’18）会议记录，第1207-1219页。 亚伦·波提钦（Aaron Potechin）。有向连通性的单调交换网络的界。2010年10月，第51届IEEE计算机科学基础年会（FOCS’10）论文集，第553-562页。 Pavel Pudlák和JiríSgall。代数证明系统的计算和插值代数模型。《证明复杂性和可行性算法》，《离散数学和理论计算机科学DIMACS系列》第39卷，第279-296页。美国数学学会，1998年。网址：http://users.math.cas.cz/~pudlak/span.pdf。 罗伯特·罗伯尔、托尼安·皮塔西、本杰明·罗斯曼和斯蒂芬·库克。单调跨度程序的指数下限。2016年10月，第57届IEEE计算机科学基础年会（FOCS’16）会议记录，第406-415页。 John E.Savage和Sowmitri Swamy。不经意间插复用的时空权衡。第六届国际自动化、语言和编程学术讨论会（ICALP’79）会议记录，第498-5041979页。 拉维·塞提。完成寄存器分配问题。SIAM计算机杂志，4（3）：226-2481975年9月。 Sowmitri Swamy和John E.Savage。FFT算法的时空权衡。技术报告CS-31，布朗大学，1977年。 Sowmitri Swamy和John E.Savage。线性递归的时空权衡。数学系统理论，16（1）：9-271983。 尼尔·萨彭（Neil Thapen）。分辨率中长度和宽度之间的权衡。计算理论，12（5）：1-142016年8月。 马丁·汤帕。使用电路的连接特性计算函数的时空权衡。1978年，第10届ACM计算理论研讨会（STOC’78）论文集，196-204页。 瑞恩·威廉姆斯。节省空间的可逆模拟。技术报告，康奈尔大学，2000年。网址：http://web.stanford.edu/~rrwill/spacesim9_22.pdf。