×
米纳·马哈扬;Jayalal M.N.萨尔马。

关于矩阵秩和刚度的复杂性。 （英语） Zbl 1183.68295号

理论计算。系统。 46，第1期，9-26（2010）.
摘要：我们重新审视了一个研究得很好的线性代数问题，计算矩阵的秩和行列式，以获得小复杂度类的完备性结果。特别地，我们证明了计算一类对角占优矩阵的秩对于{L（左）}. 我们证明了计算（mathbb Z）上三对角矩阵的恒等式和行列式{缺口NC}而且很难{数控}. 我们还开始了计算矩阵刚度的研究：为了使矩阵的秩低于给定值，需要更改的项数。我们表明，该问题的一些限制版本描述了小复杂性类。我们还研究了刚性的一种变体，其中允许的变化量有一个界限。利用线性区间方程文献中的思想，我们表明这个问题是{NP公司}-硬覆盖\（\mathbb Q\），并且某个受限版本是{NP公司}-完整。进一步限制这个问题，我们得到了可以用{损益}而且很难{C类}\(_{=}\){L（左）}.

引用于1文件

MSC公司：

2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）

关键词：

复杂性类;矩阵秩;行列式;基体刚度
PDF格式BibTeX公司 XML格式引用
\textit{M.Mahajan}和\textit{J.M.N.Sarma}，理论计算。系统。46，编号1，9--26（2010；Zbl 1183.68295）
全文： 内政部

参考文献：

[1] Allender，E.，Ambainis，A.，Mix Barrington，D.A.，Datta，S.，LeThanh，H.：有界深度算术电路：计数和闭包。In：程序。第26届ICALP。计算机科学讲义，第1644卷，第149-158页。柏林施普林格（1999）·Zbl 1020.94543号
[2] Allender，E.、Arvind，V.、Mahajan，M.：算术复杂性、Kleene闭包和形式幂级数。理论计算。系统。36(4), 303–328 (2003) ·Zbl 1040.68043号 ·doi:10.1007/s00224-003-1077-7
[3] Allender，E.，Beals，R.，Ogihara，M.：线性方程的矩阵秩和可行系统的复杂性。计算。复杂。8(2), 99–126 (1999) ·Zbl 0949.68071号 ·数字对象标识代码：10.1007/s000370050023
[4] ali lvarez，C.，Greenlaw，R.：对称对数空间的完整问题概要。计算。复杂。，9, 73–95 (2000) ·Zbl 0970.68070号 ·doi:10.1007/PL00001603
[5] Allender，E.：算术电路和计算复杂性类。收录：Krajicek，J.（编辑）《计算和证明的复杂性》。Quaderni di Matematica，第13卷，第33-72页。那不勒斯第二大学（2004年）·Zbl 1098.68049号
[6] Allender，E.、Ogihara，M.：PL、#1和行列式之间的关系。RAIRO提奥。通知。申请。30(1), 1–21 (1996) ·Zbl 0851.68033号
[7] Buntrock，G.，Damm，C.，Hertrampf，U.，Meinel，C.：对数空间MOD类的结构和重要性。数学。系统。理论25223-237（1992）·Zbl 0749.68033号 ·doi:10.1007/BF01374526
[8] Buss，J.F.，Frandsen，G.S.，Shallit，J.：线性代数某些问题的计算复杂性。J.计算。系统。科学。58, 572–596 (1999) ·Zbl 0941.68059号 ·doi:10.1006/jcss.1998.1608
[9] Bollobas，B.：现代图论。GTM，第184卷。柏林施普林格（1984）
[10] Cook，S.A.，McKenzie，P.：L.J.算法的完整问题8，385–394（1987）·Zbl 0644.68058号 ·doi:10.1016/0196-6774（87）90018-6
[11] Caussinus，H.，McKenzie，P.，Thérien，D.，Vollmer，H.：非确定性计算。J.计算。系统。科学。57, 200–212 (1998) ·Zbl 0921.68029号 ·doi:10.1006/jcss.1998.1588
[12] Dahl，G.：关于非负对角占优矩阵的注记。线性代数应用。317, 217–224 (1999) ·Zbl 0970.15017号 ·doi:10.1016/S0024-3795（00）00178-6
[13] 达姆，C.：DET=L（#L）。技术报告信息-预印本8，洪堡信息学院-柏林大学（1991）
[14] Deshpande，A.：基于采样的降维算法。麻省理工学院博士论文，2007年5月·Zbl 1232.68172号
[15] Geelen，J.F.：最大秩矩阵完成度。线性代数应用。288(1–3), 211–217 (1999) ·Zbl 0933.15026号 ·doi:10.1016/S0024-3795（98）10210-0
[16] Garey，M.R.，Johnson，D.S.：《计算机与难治性：NP-完备性理论指南》。弗里曼，纽约（1979）·Zbl 0411.68039号
[17] Grigoriev，D.Y.：用可分离性和独立性的概念证明电路复杂性的下限。斯特克罗夫数学研究所列宁格勒分所笔记。莫斯科瑙卡（1976）（俄语）
[18] Kulkarni，R.：个人沟通，2007年1月
[19] Laurent，M.：矩阵完成问题。摘自：Floudas，C.A.，Pardalos，P.M.（编辑）《优化百科全书》，第3卷，第221-229页。Kluwer，Dordrecht（2001）
[20] Lokam，S.V.：矩阵刚度的谱方法及其在尺寸深度权衡和通信复杂性方面的应用。In：程序。第36届FOCS，第6-15页，1995年；J.计算。系统。科学。63(3):449–473 (2001) ·Zbl 0937.68515号
[21] Marcus，M.，Minc，H.：矩阵理论和矩阵不等式综述。《数学中的普林德、韦伯和施密特互补系列》，第14卷。Allyn和Bacon，波士顿（1964）·兹伯利0126.02404
[22] Mulmuley，K.：计算任意域上矩阵秩的快速并行算法。组合数学7，101–104（1987）·Zbl 0635.65040号 ·doi:10.1007/BF02579205
[23] Murota，K.：混合矩阵-不可约性和分解。收录于：Brualdi，R.A.、Friedland，S.、Klee，V.（编辑）《线性代数中的组合和图论问题》。IMA数学及其应用卷，第50卷，第39-71页。柏林施普林格（1993）·Zbl 0791.15018号
[24] Mahajan，M.，Vinay，V.：行列式：组合学，算法，复杂性。别致。J.西奥。计算。科学。5（1997年）·Zbl 0924.68088号
[25] Nisan，N.，Ta-Shma，A.：对称对数空间在补码下是闭合的。别致。J.西奥。计算。科学。，(1995). ·Zbl 0978.68525号
[26] Poljak，S.，Rohn，J.：检查鲁棒非奇异性是困难的。数学。控制信号系统。6, 1–9 (1993) ·Zbl 0780.93027号 ·doi:10.1007/BF01213466
[27] Reingold，O.：日志空间中的无向st-conctionivity。过程中。第37届STOC，第376–385页（2005年）·Zbl 1192.68374号
[28] Rohn，J.：线性区间方程组。线性代数应用。126, 39–78 (1989) ·Zbl 0712.65029号 ·doi:10.1016/0024-3795（89）90004-9
[29] Rohn，J.：检查对称区间矩阵的正定性或稳定性是NP困难的。注释。数学。卡罗尔大学。35, 795–797 (1994) ·Zbl 0818.65032号
[30] Razborov，A.A.，Rudich，S.：自然证据。J.计算。系统。科学。55(1), 24–35 (1997) ·Zbl 0884.68055号 ·doi:10.1006/jcss.1997.1494
[31] Toda，S.：计算与行列式等价的问题。CSIM 91-07技术报告，计算部。科学与信息数学，电子通信大学，东京，Chofu-shi（1991）
[32] Valiant，L.G.：低级复杂性中的图论论证。In：程序。第六届MFCS。计算机科学讲义，第53卷，第162-176页。柏林施普林格（1977）·Zbl 0384.68046号
[33] Valiant，L.G.：为什么布尔复杂性理论很难？摘自：伦敦数学学会布尔函数复杂性研讨会论文集，第84-94页。剑桥大学出版社，纽约（1992）·Zbl 0769.68050号
[34] Vinay，V.：计算辅助下推自动机和半无限算术电路。In：程序。第六届复杂性理论结构会议。计算机科学课堂讲稿，第223卷，第270-284页。柏林施普林格（1991）
[35] Vollmer，H.：电路复杂性导论：统一方法。柏林施普林格（1999）·Zbl 0931.68055号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。