文件大小：0.49 MB 16页
Nullstellensatz大小与可逆卵石交易
作者
-
部分： 体积： 第34届计算复杂性会议（CCC 2019）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算复杂性会议（CCC） 许可证： 
Creative Commons Attribution 3.0未出口许可证 发布日期：2019-07-16
文件
文件标识符
致谢
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论 → 证明复杂性
关键词
证明复杂性 零点定理 卵石游戏 权衡 大小 度
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
迈克尔·阿列克诺维奇（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/1111.01351 . -
阿尔伯特·阿塞里亚斯（Albert Atserias）、马西莫·劳里亚（Massimo Lauria）和雅各布·诺德斯特伦（Jakob Nordström）。 窄证据可能最长。 ACM计算逻辑汇刊，17（3）：19:1-19:3016年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和Bangsheng 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）中，《莱布尼茨国际信息学论文集》第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年。
-
辛西娅·德沃克（Cynthia Dwork）、莫妮·纳尔（Moni Naor）和霍特克·维（Hoeteck Wee）。 圆珠笔和工作证明。第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。圆石游戏中时空权衡的渐近紧边界。 美国医学会杂志，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/研究/ , 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页。
-
亚伦·波提钦。 定向连接在单音交换网络上的界限。 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 .