×

驯服九头蛇:单词问题和极端整数压缩。 (英语) Zbl 1499.20084号

摘要:对于有限表示的组,单词问题需要一个算法来声明生成器上的单词是否表示身份。Dehn函数是通过应用定义关系直接攻击单词问题的复杂性度量。Dison和Riley表明,“水螅现象”产生了具有快速增长(Ackermannian)Dehn功能的新群体。在这里,我们表明,尽管如此,这些组的单词问题仍然有有效的(多项式时间)解决方案。我们的主要创新是使用由Ackermann函数字符串以压缩形式表示的巨大整数进行高效计算。

MSC公司:

2010年1月20日 单词问题、其他决策问题、与逻辑和自动机的联系(群体理论方面)
20层65 几何群论
68瓦32 字符串上的算法
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)

软件:

CRAG公司
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Baumslag,G.,一个有限商都是循环的非循环单关系群,J.Austral。数学。Soc.,10497-498,(1969年)·兹伯利0214.27402
[2] A.A.Bernasconi,On HNN-extensions and the complex of word problem for one-relator groups,犹他大学博士论文(1994),http://www.math.utah.edu/sg/Papers/bernasconi-thessis.pdf。
[3] Boone,W.W.,《群论I中某些简单的无法解决的问题》,Nederl,Akad。Wetensch程序。序列号。A、 57、231-236(1954)·Zbl 0055.00602号
[4] Boone,W.W.,《群论II中某些简单的无法解决的问题》,Nederl,Akad。Wetensch程序。序列号。A、 57492-497(1954年)·Zbl 0057.01701号
[5] Boone,W.W.,《群论III中某些简单的无法解决的问题》,Nederl Akad。Wetensch程序。序列号。A、 58252-256(1955)·Zbl 0067.25706号
[6] Boone,W.W.,《群论IV中某些简单的无法解决的问题》,Nederl.Akad。Wetensch程序。序列号。A、 58571-577(1955)·Zbl 0067.25706号
[7] Boone,W.W.,《群论V中某些简单的无法解决的问题》,Nederl Akad。Wetensch程序。序列号。A、 60、22-26(1957)
[8] Boone,W.W.,《群论VI中某些简单的无法解决的问题》,Nederl Akad。Wetensch程序。序列号。A、 60227-232(1957)·Zbl 0067.25706号
[9] 布雷迪,N。;莱利·T·R。;Short,H.,有限生成群的单词几何问题,(2007),Birkhäuser·Zbl 1188.20026号
[10] Bridson,M.R。;Bridson,M.R。;Salamon,S.M.,《几何和拓扑的邀请》,单词的几何问题,33-94,(2002),牛津大学出版社
[11] Bridson,M.R。;Haefliger,A.,非正曲率的度量空间,319,(1999),Springer Verlag·Zbl 0988.53001号
[12] Cohen,D.E.,组合与几何群理论,204,《缺乏智慧的数学家:一个故事和一些数学》,56-62,(1995),剑桥大学出版社,剑桥·兹比尔0962.20500
[13] 科恩,D.E。;Madlener,K。;Otto,F.,分离有限呈现组的单词问题的内在复杂性和派生复杂性,数学。逻辑夸脱。,第39页,第2143-157页,(1993年)·Zbl 0799.03049号
[14] Dehn,M.,u ber unendliche diskontuuerliche gruppen,数学。安,71,116-144,(1912)·JFM 42.0508.03号
[15] M.Dehn,群论和拓扑论文(Springer-Verlag,纽约,1987年),德文译本,附有引言和J.Stillwell的附录,O.Schreier的附录。
[16] Diekert,V。;Laun,J。;Ushakov,A。;杜尔,C。;Wilke,T.,《高度压缩数据的高效算法:希格曼组中的单词问题》,载于《第29国际交响乐团P》。计算机科学理论方面(STACS 2012),14,218-229,(2012)·Zbl 1245.68103号
[17] Dison,W。;Riley,T.R.,Hydra groups,评论。数学。帮助。,88, 3, 507-540, (2013) ·Zbl 1305.20052号
[18] 爱泼斯坦,D.B.A。;坎农,J.W。;霍尔特,D.F。;利维,S.V.F。;帕特森,M.S。;瑟斯顿,W.P.,《群组中的文字处理》(1992),琼斯和巴特利特
[19] S.M.Gersten,群扩张中的等径不等式和等周不等式,预印本(1991),arXiv:1002.1945。
[20] Gersten,S.M。;尼勃罗,G。;罗尔,M.,几何群论I,181,有限表示的等周和等径函数,79-96,(1993),剑桥大学出版社
[21] 格罗莫夫,M。;尼勃罗,G。;罗尔,M.,几何群理论II,182,无限群的渐近不变量,1-295,(1993),剑桥大学出版社
[22] Haubold,N。;Lohrey,M.,HNN扩展和合并产物中的压缩词问题,理论计算。系统。,49, 2, 283-305, (2011) ·Zbl 1235.68106号
[23] Haubold,N。;M.Lohrey。;Mathissen,C.,图乘积的压缩决策问题及其对(外部)自同构群的应用,国际。代数计算杂志。,22, 8, 1240007, (2012) ·Zbl 1267.20050号
[24] 希格曼,G.,《有限生成的无限简单群》,J.伦敦数学。Soc.,26,61-64,(1951年)·Zbl 0042.02201号
[25] O.Kharlampovich。;Myasnikov,A。;Sapir,M.,算法复杂剩余有限群,Bull。数学。科学。,7, 2, 309-352, (2017) ·Zbl 1423.20022号
[26] Lohrey,M.,压缩单词的单词问题和成员问题,SIAM J.Compute。,35, 5, 1210-1240, (2006) ·Zbl 1106.20043号
[27] Lohrey,M.,逆幺半群的压缩词问题,计算机科学数学基础2011,6907,448-459,(2011),Springer,Heidelberg·Zbl 1343.68145号
[28] Lohrey,M.,《群组压缩词问题》(2014),纽约斯普林格·Zbl 1391.20003号
[29] M.Lohrey。;Schleimer,S.,通过压缩在组中进行高效计算,Proc。俄罗斯计算机科学(CSR 2007),4649,249-258,(2007),Springer·Zbl 1188.20027号
[30] 林登,R.C。;Schupp,P.E.,组合群理论,(1977),Springer-Verlag·Zbl 0368.20023号
[31] Madlener,K。;Otto,F.,有限表示幺半群和群的字问题的伪自然算法,J.符号计算。,1, 4, 383-418, (1985) ·Zbl 0591.20038号
[32] Miasnikov,A.G。;Ushakov,A。;Won,D.W.,《功率电路、指数代数和时间复杂性》,国际。代数计算杂志。,22, 6, 1250047, (2012) ·Zbl 1285.03052号
[33] Novikov,P.S.,《关于群论中单词问题的算法不可解性》,Trudt Mat.Inst.Stkelov,44,1-143,(1955)
[34] A.N.Platonov,Baumslag-Gersten群的等参函数,(俄罗斯.俄罗斯摘要)维斯特尼克·莫斯科夫。塞尔维亚大学。我是Mat.Mekh。70(3) (2004)12-17,翻译莫斯科大学数学。牛市。59(3) (2004)12-17(2005)。
[35] 莱利·T·R。;粘土,M。;Magalit,D.,《几何群理论家的办公时间》,什么是Dehn函数?,(2017),普林斯顿大学出版社
[36] Sapir,M.,渐近不变量,群的复杂性和相关问题,Bull。数学。科学。,1, 2, 277-364, (2011) ·Zbl 1293.20041号
[37] Schleimer,S.,多项式时间词问题,评论。数学。帮助。,83, 4, 741-765, (2008) ·Zbl 1172.20028号
[38] P.Schupp,个人沟通。
[39] Stillwell,J.,经典拓扑与组合群理论,(1993),Springer-Verlag·Zbl 0774.57002号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。