彼得·桑科夫斯基;卡洛尔·沃格日茨基 通过Frobenius范式改进了距离查询和循环计数。 （英语） Zbl 1427.90285号 理论计算。系统。 63，第5期，1049-1067（2019）. 小结：考虑一个直径为（D）的未加权有向图。本文介绍了在矩阵乘法时间（广义{O}（n^{omega}））中计算给定长度的循环和游动的框架。该框架基于Frobenius范式的快速分解和Hankel矩阵向量乘法。它使我们能够有效地解决所有节点的最短周期、所有对的所有行走问题，并对未加权图中的距离查询进行了改进。 MSC公司： 90立方厘米 涉及图形或网络的编程 68兰特 计算机科学中的图论（包括图形绘制） 05C85号 图形算法（图形理论方面） 65年第68季度 算法和问题复杂性分析 关键词：图形算法;Frobenius范式;全节点最短周期 软件：算法97 PDF格式BibTeX公司 XML格式引用 \textit{P.Sankowski}和\textit{K.Węgrzycki}，理论计算。系统。63，第5号，1049--1067（2019；Zbl 1427.90285） 全文： 内政部 参考文献： [1] Abboud，A.，Grandoni，F.，Williams，V.V.：图中心性问题、APSP和直径之间的次三次等价。In：Indyk，P.（编辑）《第26届ACM-SIAM离散算法年度研讨会论文集》，SODA 2015，第1681-1697页。SIAM，圣地亚哥（2015）。国际标准图书编号978-1-61197-374-7。https://doi.org/10.1137/1.9781611973730.112 ·Zbl 1371.68203号 [2] Abboud，A.，Williams，VV，Wang，J.R.：稀疏图中半径和直径的近似和固定参数次二次算法。收录于：Krauthgamer，R.（编辑）《第27届ACM-SIAM离散算法年度研讨会论文集》，SODA 2016，第377-391页。SIAM，阿灵顿（2016）。国际标准图书编号978-1-61197-433-1。https://doi.org/10.1137/1.9781611974331.ch28 ·Zbl 1410.68392号 [3] Agarwal，U，Ramachandran，V：稀疏图的细粒度复杂性。摘自：Diakonikolas，I.，Kempe，D.，Henzinger，M.（编辑）《第50届ACM SIGACT计算机理论研讨会论文集》，STOC 2018，第239-252页。ACM，洛杉矶（2018）。https://doi.org/10.1145/3188745.3188888 ·Zbl 1427.68110号 [4] Alon，N.、Yuster，R.、Zwick，U.：彩色编码。J.ACM 42（4），844-856（1995）。https://doi.org/10.1145/20332.210337 ·Zbl 0885.68116号 ·数字对象标识代码：10.1145/210332.210337 [5] Alon，N.，Yuster，R，Zwick，U：寻找和计算给定的长度循环。《算法》17（3），209-223（1997）。https://doi.org/10.1007/BF02523189 ·Zbl 0865.68093号 ·doi:10.1007/BF02523189 [6] Chan，T.M.：加权图中所有对最短路径的更多算法。收录：Johnson，D.S.，Feige，U.（编辑）第39届ACM计算理论研讨会论文集，第590-598页。ACM，圣地亚哥（2007）。国际标准图书编号978-1-59593-631-8。https://doi.org/10.1145/1250790.1250877 ·Zbl 1231.05245号 [7] Chung，F.R.K.，Faber，V.，Manteuffel，T.A.：与拉普拉斯算子相关的特征值对图直径的上界。SIAM J.离散数学。7（3），443-457（1994）。https://doi.org/10.1137/S0895480191217776 ·Zbl 0808.05072号 ·doi:10.1137/S0895480191217776 [8] Chung，F.R.K.：《谱图理论》，第92卷，美国数学学会（1997年）·Zbl 0867.05046号 [9] Cygan，M.，Gabow，H.N.，Sankowski，P.：baur-strassen定理的算法应用：最短循环、直径和匹配。J.ACM 62（4），28（2015）。https://doi.org/10.1145/2736283 ·Zbl 1426.05164号 ·doi:10.1145/2736283 [10] Eberly，W：小场上的黑箱frobenius分解。见：[28]，第106-113页。国际标准图书编号1-58113-218-2。https://doi.org/10.1145/345542.345596 ·Zbl 1326.68330号 [11] Floyd，R.W.：算法97：最短路径。Commun公司。ACM 5（6），345（1962）。https://doi.org/10.1145/367766.368168 ·电话：10.1145/367766.368168 [12] Frandsen，GS，Sankowski，P：动态范式和动态特征多项式。摘自：自动化、语言和编程国际学术讨论会，第434-446页。柏林施普林格出版社（2008）·Zbl 1153.65332号 [13] Gantmacher，F.R.：矩阵理论，第1卷，切尔西（1959）·兹伯利0085.01001 [14] Giesbrecht，M.，Jacobson，M.J.Jr，Storjohann，A.：大整数矩阵问题的算法。收录：Boztas，S.，Shparlinski，I.E.（编辑），第14届应用代数、代数算法和纠错码国际研讨会，AAECC-14。《计算机科学讲义》第2227卷，第297-307页。施普林格，墨尔本（2001）。国际标准图书编号（ISBN）3-540-42911-5。https://doi.org/10.1007/3-540-45624-4_31 ·Zbl 1056.11078号 [15] Golub，G.H.，Van Loan，C.F.：矩阵计算，第三版。约翰·霍普金斯大学出版社，巴尔的摩（1996）。国际标准图书编号978-0-8018-5414-9·Zbl 0865.65009号 [16] Le Gall，F.：张量的幂和快速矩阵乘法。摘自：第39届符号与代数计算国际研讨会论文集，第296-303页。ACM（2014）·Zbl 1325.65061号 [17] Lim，A.，Dai，J.：关于伴随矩阵的乘积。线性代数应用。435(11), 2921-2935 (2011) ·兹比尔1222.39002 ·doi:10.1016/j.laa.2011.05.021 [18] Mulders，T.，Storjohann，A.：奇异线性系统的有理解。参见：[28]，第242-249页。国际标准图书编号1-58113-218-2。https://doi.org/10.1145/345542.345644 ·Zbl 1326.68364号 [19] Reif，J.H.，Tate，S.R.：关于代数问题的动态算法。《算法》22（2），347-371（1997）。https://doi.org/10.1006/jagm.1995.0807 ·兹伯利0866.68040 ·doi:10.1006/jagm.1995.0807 [20] Roditty，L.，Shapira，A.：具有次线性加性误差的所有路径最短路径。ACM事务处理。算法7（4），45:1-45:12（2011）。ISSN 1549-6325。https://doi.org/10.1145/2000807.2000813 ·Zbl 1295.68138号 ·doi:10.1145/2000807.2000813 [21] Roditty，L.，Williams，V.V.：最小权重循环和三角形：等价物和算法。收录于：Ostrovsky，R.（编辑）IEEE第52届计算机科学基础年度研讨会，FOCS 2011，第180-189页。IEEE计算机学会，棕榈泉（2011）。https://doi.org/10.109/FOCS.2011.27 ·Zbl 1292.05155号 [22] Sankowski，P.，Wegrzycki，K.：通过frobenius范式改进距离查询和循环计数。收录：Vollmer，H.，Vallée，B.（编辑）第34届计算机科学理论方面研讨会，STACS 2017年3月8日至11日，LIPIcs第66卷，第56:1-56:14页。达格斯图尔宫-莱布尼兹·泽特鲁姆·福尔·Informatik，汉诺威（2017）。国际标准图书编号978-3-95977-028-6。https://doi.org/10.4230/LIPIcs.STACS.2017.56 ·Zbl 1402.68107号 [23] Schwartz，J.T.：多项式恒等式验证的快速概率算法。《美国临床医学杂志》27（4），701-717（1980）。ISSN 0004-5411。https://doi.org/10.1145/322217.32225 ·Zbl 0452.68050号 ·doi:10.1145/322217.32225 [24] Seidel，R.：关于全对最短路径问题。收录于：Rao Kosaraju，S.，Fellows，M.，Wigderson，A.，Ellis，J.A.（编辑）《第24届ACM计算理论研讨会论文集》，1992年5月4日至6日，第745-749页。ACM，维多利亚（1992）。国际标准书号0-89791-511-9。https://doi.org/10.1145/1297112.129784 [25] Storjohann，A.：《frobenius形式的决定论计算》，载于：第42届计算机科学基础年度研讨会，2001年10月14日至17日，第368-377页。IEEE计算机学会，拉斯维加斯（2001）。国际标准图书编号0-7695-1390-5。https://doi.org/10.109/SFCS.2001.959911 [26] Tang，Z.，Duraiswami，R.，Gumerov，N.A.：计算帕斯卡矩阵的矩阵向量乘积的快速算法。UMIACS UMIACS-TR-2004-082004/03/25/的技术报告。http://drum.lib.umd.edu/handle/1903/1338 (2004) [27] Thorup，M.：线性时间内具有正整数权重的无向单源最短路径。美国医学会期刊46（3），362-394（1999）。https://doi.org/10.1145/316542.316548 ·Zbl 1065.68597号 ·doi:10.1145/316542.316548 [28] Traverso，C.（编辑）：2000年符号和代数计算国际研讨会论文集，ISSAC 2000。ACM，圣安德鲁斯（2000）。国际标准图书编号1-58113-218-2。http://dl.acm.org/citation.cfm？id=345542 ·Zbl 0992.68239号 [29] Warshall，S.：布尔矩阵的一个定理。J.ACM 9（1），11-12（1962）。https://doi.org/10.1145/321105.321107 ·Zbl 0118.33104号 ·数字对象标识代码：10.1145/32105.321107 [30] Williams，R.：通过电路复杂性实现更快的全对最短路径。摘自：Shmoys，D.B.（编辑）《计算理论研讨会》，STOC 2014，第664-673页。ACM，纽约（2014）。国际标准图书编号978-1-4503-2710-7。https://doi.org/10.1145/2591796.2591811 ·Zbl 1315.68282号 [31] Yuster，R.：图中每个顶点的最短循环。信息处理。莱特。111 (21-22), 1057-1061 (2011). https://doi.org/10.1016/j.ipl.2011.07.019 ·Zbl 1260.05083号 ·doi:10.1016/j.ipl.2011.07.019 [32] Yuster，R.，Zwick，U.：发现偶数周期更快。摘自：Abiteboul，S.，Shamir，E.（编辑）第21届国际学术讨论会，自动化，语言与编程，ICALP94。《计算机科学讲义》第820卷，第532-543页。Springer，耶路撒冷（1994）。国际标准图书编号（ISBN）3-540-58201-0。https://doi.org/10.1007/3-540-58201-0_96 ·Zbl 1422.05098号 [33] Yuster，R.，Zwick，U.：使用快速矩阵乘法回答有向图中的距离查询。摘自：2005年10月23日至25日第46届IEEE计算机科学基础年会论文集（FOCS 2005），第389-396页。IEEE计算机学会（2005）。是0-7695-2468-0。https://doi.org/10.1109/SFCS.2005.20 [34] Zippel，R.：稀疏多项式的概率算法。摘自：Ng，E.W.（编辑）《符号和代数计算》，第216-226页。施普林格，柏林（1979）。伊朗伊斯兰共和国标准978-3-540-35128-3·Zbl 0418.68040号 [35] Zwick，U.：使用桥接集和矩形矩阵乘法的所有对最短路径。《美国临床医学杂志》49（3），289-317（2002）。https://doi.org/10.1145/567112.567114 ·Zbl 1326.05157号 ·doi:10.1145/567112.567114 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。