孙晓瑞 类2和指数的（p\）-群的更快同构。 （英语） Zbl 07844601号 Saha，Barna（编辑）等人，第55届ACM SIGACT计算理论研讨会论文集，STOC’23，美国佛罗里达州奥兰多，2023年6月20日至23日。纽约州纽约市：计算机协会（ACM）。433-440 (2023). 理学硕士： 68季度xx 计算理论 关键词：\第2类和指数组;群同构;矩阵空间等距 PDF格式BibTeX公司 XML格式引用 \textit{X.Sun}，in：第55届ACM SIGACT计算理论研讨会论文集，STOC’23，美国佛罗里达州奥兰多，2023年6月20-23日。纽约州纽约市：计算机协会（ACM）。433-440（2023；Zbl 07844601） 全文： 内政部 arXiv公司 参考文献： [1] MD Atkinson和S Lloyd。有界秩矩阵的本原空间。《澳大利亚数学学会杂志》，30，4（1981），473-482。https://doi.org/10.1017/S14678870001795X10.1017/S14467887001795X号·Zbl 0473.15007号 [2] 拉斯洛·巴拜。关于强正则图的正则标号的复杂性。SIAM J.计算。，9, 1 (1980), 212-216. https://doi.org/10.1137/0209018 10.1137/0209018 ·Zbl 0446.68052号 [3] 拉什洛巴拜。1981.关于单判别置换群的阶。数学年鉴，113，3（1981），553-568。https://doi.org/10.2307/2006997 10.2307/2006997 ·Zbl 0485.20002号 [4] 拉什洛巴拜。2016.拟多项式时间中的图同构。在ACM计算理论研讨会（STOC）上。684-697. https://doi.org/10.1145/2897518.2897542 10.1145/2897518.2897542 ·Zbl 1376.68058号 [5] 拉什洛巴拜。2019.拟多项式时间图的标准形：初步报告。在ACM计算理论研讨会（STOC）上。1237-1246. https://doi.org/10.1145/3313276.3316356 10.1145/3313276.3316356 ·Zbl 1433.68165号 [6] LászlóBabai、Xi Chen、Xiaorui Sun、Shang-Hua Teng和John Wilmes。2013.强正则图的更快规范形式。在IEEE计算机科学基础研讨会（FOCS）上。157-166. https://doi.org/10.109/FOCS.2013.2510.1109/FOCS.2013.25 [7] 拉什洛·巴拜、保罗·科多诺蒂、约书亚·A·格罗乔和乔有明。2011.代码等价和组同构。在ACM-SIAM离散算法（SODA）研讨会上。1395-1408. https://doi.org/10.1137/1.9781611973082.107 10.1137/1.9781611973082.107 ·Zbl 1382.20037号 [8] 拉什洛·巴拜、保罗·科多诺蒂和乔有明。2012.不具有阿贝尔正规子群的群的多项式时间同构检验。在自动化、语言和编程国际学术讨论会（ICALP）上。51-62. https://doi.org/10.1007/978-3642-31594-7_5 10.1007/978-3-642-31594-7_5 ·Zbl 1272.68475号 [9] LászlóBabai、Paul Erdós和Stanley M Selkow。1980.随机图同构。SIAM计算机杂志，9，3（1980），628-635。https://doi.org/10.1137/0209047 10.1137/0209047 ·Zbl 0454.05038号 [10] LászlóBabai和Eugene M Luks。1983.图的规范标记。在ACM计算理论研讨会（STOC）上。171-183. https://doi.org/10.1145/800061.808746 10.1145/800061.808746 [11] 拉什洛·巴拜和乔有明。2012.Abelian Sylow塔群的多项式时间同构测试。在计算机科学理论方面国际研讨会上。453https://doi.org/10.4230/LIPIcs.STACS.2012.45310.4230/LIPIcs公司。STACS.2012.453标准·Zbl 1248.20001号 [12] 拉兹洛·巴拜（LászlóBabai）和约翰·威尔姆斯（John Wilmes）。2013.Steiner设计的准多项式时间标准形。在ACM计算理论研讨会（STOC）上。https://doi.org/10.1145/2488608.2488642 10.1145/2488608.2488642 ·Zbl 1293.05028号 [13] 雷霍德·贝尔（Reinhold Baer）。阿贝尔中心商群。事务处理。阿默尔。数学。《社会学杂志》，第44卷，第3期（1938年），第357-386页。https://doi.org/10.1090/S0002-9947-1938-1501972-110.1090/S0002-9947-1938-1501972-1·Zbl 0020.00802号 [14] 詹德里克·布拉切特和帕斯卡尔·施韦策。2020。关于有限群的Weisfeiler-Leman维数。在ACM/IEEE计算机科学逻辑研讨会（LICS）上。287-300. https://doi.org/10.1145/3373718.3394786 10.1145/3373718.3394786 ·Zbl 1498.20002号 [15] Peter A Brooksbank、Joshua A Grochow、Yinan Li、Youming Qiao和James B Wilson。2019.将Weisfeiler-Leman纳入群同构算法。arXiv预打印arXiv:1905.02518。 [16] Peter A Brooksbank、Yinan Li、Youming Qiao和James B Wilson。2020年。交替矩阵空间等距的改进算法：从理论到实践。在欧洲算法研讨会（ESA）上。https://doi.org/10.4230/LIPIcs.ESA.2020.2610.4230/LIPIcs公司。2006年10月20日·Zbl 07651165号 [17] Peter A Brooksbank、Joshua Maglione和James B Wilson。2015年。2属群的快速同构测试。arXiv预打印arXiv:1508.03033·Zbl 1406.20008号 [18] 彼得·布鲁克斯银行和詹姆斯·威尔逊。2012.计算埃尔米特地图的等距组。事务处理。阿默尔。数学。Soc.，364，4（2012），1975-1996。https://doi.org/10.1090/S0002-9947-2011-05388-210.1090/S0002-9947-2011-05388-2·Zbl 1271.20062号 [19] 陈曦、孙晓瑞、滕尚华。2013.Steiner 2系统准多项式时间同构测试的多阶段设计。在ACM计算理论研讨会（STOC）上。https://doi.org/10.1145/2488608.2488643 10.1145/2488608.2488643 ·Zbl 1293.05223号 [20] 萨米尔·达塔（Samir Datta）、努坦·利马伊（Nutan Limaye）、普拉亚克塔·宁博卡（Prajakta Nimbhorkar）、托马斯·蒂拉夫（Thomas Thierauf）和费比安·瓦格纳（Fabian Wagner）。平面图同构在对数空间中。在IEEE计算复杂性会议（CCC）上。203-214. https://doi.org/10.109/CCC.2009.162009年10月10日至2016年9月·Zbl 1248.68239号 [21] 海科·迪特里希和詹姆斯·威尔逊。2022.对于大多数目来说，群同构是近线性时间。2021年，IEEE第62届计算机科学基础年会（FOCS）。457-467. https://doi.org/10.109/FOCS52979.2021.0005310.1109/焦点529792021.00053 [22] Volkmar Felsch和Joachim Neubüser。关于确定有限群的自同构群的程序。在抽象代数的计算问题中。59-60. https://doi.org/10.1016/B978-0-08-012975-4.50011-410.1016/B978-0-08-012975-450011-4·Zbl 0191.0202号 [23] 哈雷法兰德斯。关于秩有界的线性变换空间。《伦敦数学学会杂志》，1，1（1962），10-16。https://doi.org/10.1112/jlms/s1-37.1.1010.1112/jlms/s1-37.1.10·Zbl 0101.25403号 [24] 迈克尔·加里（Michael R Garey）和大卫·约翰逊（David S Johnson）。1979.计算机与难处理性：NP-完备性理论指南·Zbl 0411.68039号 [25] 约书亚·A·格罗丘和乔有明。关于p群同构：通过张量的搜索-决策、计数-决策和幂零类约简。在第36届计算复杂性会议（CCC）上。https://doi.org/10.4230/LIPIcs.CCC.2021.1610.4230/LIPIcs公司。CCC.2021.16号文件·Zbl 07711598号 [26] 约书亚·A·格罗丘和乔有明。关于张量、群和多项式同构问题的复杂性I：张量同构-完备性。在理论计算机科学会议（ITCS）的创新。https://doi.org/10.4230/LIPIcs.ITCS.2021.3110.4230/LIPIcs公司。国际贸易术语解释委员会2021.31·Zbl 07680601号 [27] 马丁·格罗和丹尼尔·纽恩。2019.有界秩宽度图的规范化和可定义性。在ACM/IEEE计算机科学逻辑研讨会（LICS）上。1-13. https://doi.org/10.109/LICS.2019.878568210.1109/LICS.2019.8785682·Zbl 07650602号 [28] 马丁·格罗（Martin Grohe）、丹尼尔·诺恩（Daniel Neuen）和帕斯卡·施韦策（Pascal Schweitzer）。2020年。小度图的更快同构测试。SIAM J.计算。，https://doi.org/10.1137/19M124529310.1137/19M1245293·Zbl 1484.68161号 [29] 马丁·格罗、丹尼尔·威布金和丹尼尔·诺恩。2020年.图的同构测试，不包括小的子图。在计算机科学基础年度研讨会上。625-636. https://doi.org/10.109/FOCS46700.2020.00064109年10月10日/焦点467.2020.00064·Zbl 1511.68203号 [30] 加博尔·伊万尼奥斯和乔有明。2019.基于*-代数的算法及其在单秘密多项式同构、群同构和多项式身份测试中的应用。SIAM J.计算。，48, 3 (2019), 926-963. https://doi.org/10.1137/18M116568210.1137/18M1165682·Zbl 1422.68116号 [31] 季正峰、乔有明、宋芳、云亚拉姆。2019.张量上的一般线性群作用：后量子密码术的候选。密码学理论会议。251-281. https://doi.org/10.1007/978-3-030-36030-6_11 10.1007/978-3-030-36030-6_11 ·Zbl 1447.94047号 [32] Telikepalli Kavitha公司。阿贝尔群同构的线性时间算法及相关问题。J.计算。系统科学。，73, 6 (2007), 986-996. https://doi.org/10.1016/j.jcss.2007.03.01310.1016/j.jcss.2007.03.013·Zbl 1165.68036号 [33] 桑德拉·基弗（Sandra Kiefer）、伊莉亚·波诺马伦科（Ilia Ponomarenko）和帕斯卡尔·施韦策（Pascal Schweitzer）。2019.平面图的Weisfeiler-Leman维数最多为3。ACM期刊（JACM），66，6（2019），1-31。https://doi.org/10.1145/3333003 10.1145/3333003 ·Zbl 1483.05048号 [34] 弗朗索瓦·勒加尔。一类群扩展的有效同构测试。在计算机科学理论方面国际研讨会上。625-636. https://doi.org/10.4230/LIPIcs.STACS.2009.183010.4230/LIPIcs公司。STACS.2009.1830年·Zbl 1236.68106号 [35] Mark L Lewis和James B Wilson。2010.不可区分群的扩展族中的同构。arXiv预打印arXiv:1010.5466·兹比尔1284.20016 [36] 李一南和乔有明。2017.图同构问题和Erdős-Rényi模型的线性代数类比。在计算机科学基础年度研讨会上。463-474. https://doi.org/10.1109/FOCS.2017.4910.1109/FOCS.2017.49 [37] Daniel Lokshtanov、Marcin Pilipczuk、Micha Pilipczzuk和Saket Saurabh，2017年。有界树宽图的固定参数可处理标准化和同构检验。SIAM J.计算。，46, 1 (2017), 161-189. https://doi.org/10.1137/10999980 10.1137/140999980 ·Zbl 1358.05284号 [38] 尤金·M·卢克斯。2015.具有固定次正规链的组同构。arXiv预打印arXiv:1511.00151。 [39] 加里·米勒（Gary L.Miller）。1978年。关于名词同构技术：初步报告。在ACM计算理论研讨会（STOC）上。51-58. https://doi.org/10.1145/800133.804331 10.1145/800133.804331 ·Zbl 1282.68192号 [40] 丹尼尔·诺伊恩。2022.图（不包括小拓扑子图）的同构测试。在ACM-SIAM离散算法（SODA）研讨会上。1411-1434. https://doi.org/10.1137/1.9781611977073.59 10.1137/1.9781611977073.59 [41] 埃蒙·奥布莱恩。1994.p-群的同构检验。符号计算杂志，17，2（1994），133-147。https://doi.org/10.1006/jsco.1994.10072006年10月10日/jsco.1994.1007·Zbl 0824.20020 [42] 乔有明、贾亚拉尔·萨玛和唐邦生。2012.关于具有正常霍尔子群的组的同构测试。《计算机科学与技术杂志》，27，4（2012），687-701。https://doi.org/10.1007/s11390-012-1255-72007年10月10日/11390-012-1255-7·Zbl 1280.68111号 [43] 大卫·J·罗森鲍姆。2013.双向碰撞检测和更快的确定性同构测试。arXiv预打印arXiv:1304.3935。 [44] David J.Rosenbaum和Fabian Wagner。2015年，打破了p-群同构的发电机数量界限。《理论计算机科学》，593（2015），16-25。https://doi.org/10.1016/j.tcs.2015.05.0362016年10月10日/j.tcs.2015.05.036·Zbl 1330.68124号 [45] 卡拉·戴安·萨维奇。阿贝尔群同构的O（n^2）算法。北卡罗来纳州立大学。 [46] Tyler Schrock。有限群论和符号动力学中同构的复杂性。博士论文。科罗拉多大学博尔德分校。 [47] 丹尼尔·斯皮尔曼（Daniel A.Spielman）。强正则图的快速同构测试。在ACM计算理论研讨会（STOC）上。576-584. https://doi.org/10.1145/237814.238006 10.1145/237814.238006 ·Zbl 0915.05104号 [48] 孙晓瑞和约翰·威尔姆斯。2015.原始相干构型的更快规范形式。在ACM计算理论研讨会（STOC）上。693-702. https://doi.org/10.1145/2746539.2746617 10.1145/2746539.2746617 ·Zbl 1321.05164号 [49] 唐刚（Gang Tang）、邓黄勇（Dung Hoang Duong）、朱安东（Antoine Joux）、普兰塔德（Thomas Plantard）、乔有明（Youming Qiao）和威利·苏西洛（Willy Susilo）。2022.来自三线性形式同构问题的实用后量子签名方案。在密码技术理论和应用年度国际会议（EUROCRYPT）上。582-612. https://doi.org/10.1007/978-3-031-07082-2_21 10.1007/978-3-031-07082-2_21 ·Zbl 1513.81038号 [50] 纳拉扬·维卡斯。1996。阿贝尔p-群同构的O（n）算法和阿贝尔群同构O（n ologn）算法。J.计算。系统科学。，53, 1 (1996), 1-9. https://doi.org/10.1006/jcss.1996.00452006年10月10日/jcss.1996.0045·Zbl 0859.68048号 [51] UHM韦伯。1983.关于第2类p-群的秩。加拿大。数学。公牛。，26, 1 (1983), 101-105. https://doi.org/10.4153/CBM-1983-015-510.4153/CBM-1983-015-5·Zbl 0515.20013号 [52] 鲍里斯·魏斯费勒和A.A.雷曼。1968.将图简化为标准形式，并在此过程中生成代数。Nauchno-Technicheskaya Informatsiya，9（1968），12-16。 [53] 丹尼尔·威布金（Daniel Wiebking）。2020年。由树宽参数化的拟多项式时间中的图同构。在自动化、语言和编程国际学术讨论会（ICALP）上。https://doi.org/10.4230/LIPIcs.ICALP.2020.10310.4230/LIPIcs公司。ICALP.2020年10月3日·兹伯利07304037 [54] 詹姆斯·威尔逊。2009.通过Jordan代数分解p-群。《代数杂志》，322，8（2009），2642-2679。https://doi.org/10.1016/j.jalgebra.2009.07.0292016年10月10日/j.jalgebra.2009.07.029·Zbl 1205.20019号 [55] 詹姆斯·B·威尔逊。2009.发现p-群的中心分解。《群论杂志》，12，6（2009），813-830。https://doi.org/10.1515/JGT.2009.01510.1515/JGT.2009.015·Zbl 1207.2001年11月 [56] 维克托·N·泽姆利亚琴科（Viktor N Zemlyachenko）、尼科莱·M·科尔尼恩科（Nickolay M Korneenko）和里贾纳·I·提什凯维奇（Regina I Tyshkevich）。图同构问题。《苏联数学杂志》，29，4（1985），1426-1481。https://doi.org/10.1007/BF021047462007年10月10日/BF02104746·Zbl 0564.05049号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。