文件大小：0.57 MB 24页
不经意算术分支程序和的确定性身份测试
作者
-
部分： 体积： 第30届计算复杂性会议（CCC 2015）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算复杂性会议（CCC） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 出版日期：2015-06-06
文件
文件标识符
引用为 获取BibTex
摘要
关键词
个人识别号 点击-设置 ROABP总和 评估维度 排名集中度
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
参考文献
-
Leonard M.Adleman和Hendrik W.Lenstra。 在有限域上求不可约多项式。 《第十八届美国计算机学会计算机理论研讨会论文集》，STOC'86，350-355页，美国纽约州纽约市，1986年。 ACM。 
-
Manindra Agrawal。 通过伪随机生成器证明下限。 在FSTTCS中，计算机科学讲义第3821卷，第92-105页，2005年。
-
Manindra Agrawal、Rohit Gurjar、Arpita Korwar和Nitin Saxena。 ROABP和集合多重线性电路之和的命中集。 计算复杂性电子座谈会（ECCC），21:852014。 （将出现在SICOMP，2015年）。
-
Manindra Agrawal、Chandan Saha和Nitin Saxena。 集深公式的拟多项式击中集。 STOC，第321-330页，2013年。
-
Michael Ben-Or和Prason Tiwari。稀疏多元多项式插值的确定性算法。 《第二十届美国计算机学会计算机理论研讨会论文集》，STOC'88，第301-309页，美国纽约州纽约市，1988年。 ACM。
-
拉斐尔·门德斯·德奥利维拉（Rafael Mendes de Oliveira）、阿米尔·什皮尔卡（Amir Shpilka）和本·李·沃尔克（Ben Lee Volk）。 有界深度多线性公式的次指数大小命中集。 计算复杂性电子座谈会（ECCC），21:1572014。 （将出现在CCC’15中）。
-
Zeev Dvir和Amir Shpilka。 具有两个查询的局部可解码代码和深度3电路的多项式恒等式测试。 SIAM J.计算。， 36(5):1404-1434, 2007.
-
迈克尔·A·福布斯。 一次性不经意代数分支程序的多项式身份测试。 麻省理工学院博士论文，2014年。
-
Michael A.Forbes、Ramprasad Saptharishi和Amir Shpilka。 任意顺序的多线性只读代数分支程序的命中集。 2014年5月31日至6月3日在美国纽约州纽约市举行的STOC 2014计算理论研讨会，第867-875页。
-
迈克尔·福布斯（Michael A.Forbes）和阿米尔·谢尔卡（Amir Shpilka）。 关于张量的一致性测试、低阶恢复和压缩感知。 STOC，第163-172页，2012年。
-
迈克尔·福布斯（Michael A.Forbes）和阿米尔·谢尔卡（Amir Shpilka）。 非交换和只读不经意代数分支程序的准多项式时间身份测试。 CoRR，abs/1209.24082012年。
-
迈克尔·福布斯（Michael A.Forbes）和阿米尔·谢尔卡（Amir Shpilka）。 非交换和只读不经意代数分支程序的准多项式时间身份测试。 在FOCS中，第243-2522013页。
-
安基特·古普塔（Ankit Gupta）、普里蒂什·卡马特（Pritish Kamath）、尼拉杰·凯亚尔（Neeraj Kayal）和兰普拉萨德·萨普塔里什（Ramprasad Saptharishi）。 算术电路：深度3处的缺口。 FOCS，第578-587页，2013年。
-
莫里斯·詹森（Maurice J.Jansen）、乔友明（Youming Qiao）和贾亚拉尔·萨马（Jayalal Sarma）。 一次读取代数分支程序的确定性身份测试。 计算复杂性电子座谈会（ECCC），17:842010。
-
瓦伦丁·卡巴内茨和罗素·英帕利亚佐。 去随机化多项式恒等式测试意味着证明电路下界。 STOC，第355-364页，2003年。
-
Zohar Shay Karnin和Amir Shpilka。 具有有界顶扇入的广义depth-3算术电路的黑盒多项式恒等式测试。组合数学，31（3）：333-3642011。
-
Neeraj Kayal和Shubhangi Saraf。 深度3电路的黑箱多项式身份测试。 在FOCS中，第198-207页，2009年。
-
尼拉杰·凯亚尔和尼丁·萨克塞纳。 深度3电路的多项式特性测试。 计算复杂性，16（2）：115-1382007。
-
亚当·克利文斯（Adam Klivans）和丹尼尔·斯皮尔曼（Daniel A.Spielman）。 多元多项式的随机性有效身份测试。 STOC，第216-223页，2001年。
-
Vineet Nair和Chandan Saha。 个人交流，2014年。
-
诺姆·尼桑（Noam Nisan）。 非交换计算的下限（扩展抽象）。 《第23届ACM计算机理论研讨会论文集》，ACM出版社，第410-418页，1991年。
-
Ran Raz和Amir Shpilka。 非交换模型中的确定性多项式恒等式检验。 计算复杂性，14（1）：1-192005。
-
Ran Raz和Amir Yehudayoff。 恒定深度多线性电路的下限和分隔。 计算复杂性，18（2）：171-2072009。
-
彼得·萨维克和英戈·韦格纳。 不同类型二元决策图之间转换的有效算法。 信息学报，34（4）：245-2561997。
-
尼丁·萨克塞纳。 多项式恒等式测试的进展。 EATCS公报，99:49-792009。
-
尼廷·萨塞纳。 多项式恒等式检验进展-II。 在计算复杂性的观点中，第131-146页。 Birkhäuser巴塞尔，2014年。
-
Nitin Saxena和Comandur Seshadhri。深度-3恒等式的几乎最优秩界。 SIAM J.计算。， 40（1）：200-2242011年。
-
Nitin Saxena和Comandur Seshadhri。有界顶部扇形深度3电路的黑匣子身份测试：场地无关紧要。 SIAM J.计算。， 41(5):1285-1298, 2012.
-
雅各布·T·施瓦茨。 多项式恒等式验证的快速概率算法。 J.ACM，27（4）：701-7171980年10月。
-
阿米尔·谢尔卡和阿米尔·耶胡达约夫。 算术电路：对最近结果和开放性问题的调查。 理论计算机科学基础与趋势，5（3-4）：207-3882010。