×
米纳·马哈扬;拉格汉德拉·拉奥（Raghavendra Rao，B.V.）。

算术回路、句法多线性和偏斜公式的局限性。 （英语） 兹比尔1173.68522

Ochmaánski，Edward（编辑）等人，《2008年计算机科学数学基础》。2008年8月25日至29日，第33届国际研讨会，MFCS 2008，波兰托伦。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85237-7/pbk）。计算机科学课堂讲稿5162455-466（2008）。
摘要：已知算术NC（^{1}）中的函数具有等效的等宽多项式次数电路，但其逆包容关系未知。在对这个问题的部分回答中，我们证明了等宽和多项式度的句法多线性电路可以深度约简，尽管得到的电路不一定是句法多线性的。然后，我们特别关注多项式规模的句法多线性电路，并研究通过对这些电路施加各种资源（宽度、深度、度）限制而获得的函数类之间的关系。在此过程中，我们根据对数宽度受限的平面分支程序获得了NC（^{1}）（及其算术对应项）的特征。我们还研究了斜公式的威力，并表明即使这些公式的指数和也不足以表示行列式函数。
关于整个系列，请参见[Zbl 1154.68021号].

引用于2评论
引用于4文件

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）
PDF格式BibTeX公司 XML格式引用
\textit{M.Mahajan}和\textit{B.V.Raghavendra Rao}，莱克特。注释计算。科学。5162、455--466（2008年；Zbl 1173.68522）
全文： DOI程序

参考文献：

[1] 阿格拉瓦尔，M。；Allender，E。；Datta，S.，《关于TC^0、AC^0和算术电路》，《计算机与系统科学杂志》，60，2395-421（2000）·Zbl 0956.68060号 ·doi:10.1006/jcss.1999.1675
[2] Allender，E.：算术电路和计算复杂性类。收录于：Krajicek，J.（编辑）《计算和证明的复杂性》，《Quaderni di Matematica》，第13卷，第33-72页。那不勒斯第二大学（2004）·Zbl 1098.68049号
[3] Allender，E.，Ambainis，A.，Barrington，D.A.，Datta，S.，LéThanh，H.：有界深度算术电路：计数和闭包。摘自：国际自动化、语言和编程学术讨论会ICALP，ICALP 1999，第149-158页（1999）·Zbl 1020.94543号
[4] Barrington，D.，有界宽度多项式规模分支程序准确识别NC^1中的那些语言，《计算机与系统科学杂志》，38，1，150-164（1989）·Zbl 0667.68059号 ·doi:10.1016/0022-0000（89）90037-8
[5] 本·奥尔，M。；Cleve，R.，《使用常数寄存器计算代数公式》，SIAM J.Compute。，21, 1, 54-58 (1992) ·Zbl 0743.68062号 ·数字对象标识代码：10.1137/0221006
[6] 硼蛋白，A。；Razborov，A.A。；Smolensky，R.，关于读k次分支程序的下限，计算复杂性，3，1-18（1993）·兹比尔0777.68043 ·doi:10.1007/BF01200404
[7] Brent，R.P.：对数时间内算术表达式的并行计算。《序贯和并行数值算法的复杂性》（Proc.Sympos，卡内基梅隆大学，宾夕法尼亚州匹兹堡，1973年），第83-102页。纽约学术出版社（1973）·Zbl 0273.68037号
[8] Bürgisser，P.，《代数复杂性理论、算法和数学计算中的完备性和简化》（2000），海德堡：施普林格出版社·Zbl 0948.68082号
[9] Bürgisser，P。；克劳森，M。；Shokrollahi，M.，代数复杂性理论（1997），海德堡：斯普林格·Zbl 1087.68568号
[10] 因果窦，H。；McKenzie，P。；Thérien，D。；Vollmer，H.，《非确定性NC^1计算》，《计算机与系统科学杂志》，57200-212（1998）·Zbl 0921.68029号 ·doi:10.1006/jcss.1998.1588
[11] Istrail，S。；Zivkovic，D.，有界宽度多项式大小布尔公式精确计算AC^0中的函数，《信息处理快报》，50，211-216（1994）·Zbl 0807.68032号 ·doi:10.1016/0020-0190（94）00036-0
[12] Limaye，N.、Mahajan，M.、Rao，B.V.R.：关于（NC^{mbox{1}}）和L.ECCC TR07-087（2007）的算术类。初步版本出现在STACS 2007中·Zbl 1186.68205号
[13] Raz，R.：恒量和行列式的多重线性公式具有超多项式的大小。收录于：STOC，第633-641页（2004年）·Zbl 1192.68328号
[14] Raz，R.：多线性-NC^1≠多线性-NC ^2。收录于：FOCS，第344-351页（2004年）
[15] Raz，R.，Yehudayoff，A.：平衡句法多线性算术电路。In：计算复杂性（待显示）·Zbl 1188.68367号
[16] Spira，P.M.：布尔函数的实时硬件复杂性权衡。摘自：第四届夏威夷系统科学国际研讨会，第525-527页（1971年）
[17] Toda，S.：计算与行列式等价的问题。CSIM 91-07技术报告，公司部门。科学。和信息数学。东京电子通信大学（1991年）
[18] Valiant，L.G.：代数中的完备性类。在：STOC计算理论研讨会，第249-261页（1979年）
[19] Valiant，L.G.公司。；Skyum，S。；S.伯克维茨。；Rackoff，C.，《使用少量处理器快速并行计算多项式》，SIAM J.Compute。，12, 4, 641-644 (1983) ·Zbl 0524.68028号 ·doi:10.1137/0212043
[20] Venkateswaran，H.，非确定性复杂性类的电路定义，SIAM计算杂志，21655-670（1992）·Zbl 0749.68039号 ·doi:10.1137/0221040
[21] Vollmer，H.，《电路复杂性导论：统一方法》（1999），纽约：Springer，纽约
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。