×

对称群的Baby-step giant-step算法。 (英语) 兹比尔1378.68199

小结:我们研究了群体行动中的离散对数。假设(G)是作用于集合(S)的群。当在s中为\(r,s)时,解\(g\在g中)到\(r^g=s)可以看作是一种对数。在本文中,我们研究了(G=S_n)的情况,并对Shanks的baby-step/giant-step过程进行了类比。具体来说,我们计算了两个集合(A,B),使得(S_n)的每个置换都可以写成元素(A中的A)和元素(B中的B)的乘积(ab)。我们的确定性过程在常数因子范围内是最优的,在这个意义上,(A)和(B)可以用最优的渐近复杂度计算,并且(|A|\)和(|B|\)在大小上是从(sqrt{n!}\)算起的一个小常数。我们还分析了相同问题的随机“碰撞”算法。

MSC公司:

68瓦30 符号计算和代数计算
2018年5月 组合结构上的群作用
20B30码 对称组

软件:

踪迹鹦鹉螺
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 安德鲁斯,G.E。;Askey,R。;Roy,R.,《特殊功能》(1999),剑桥大学出版社·Zbl 0920.33001号
[2] 巴拜,L。;Kantor,W.M。;Luks,E.M.,《计算复杂性与有限单群的分类》,(Proc.24th Ann.Symp.Found.Comp.Sci.(1983),IEEE Press),162-171
[3] Babai,L.,拟多项式时间中的图同构,(Proc.48th Ann.Symp.on Theory of Computing(2016),ACM),684-697·兹比尔1376.68058
[4] 库珀曼,G。;Finkelstein,L.,计算群论的组合工具,离散数学和理论计算机科学中的DIMACS系列,第11卷(1993),AMS·Zbl 0830.20006
[5] 科斯特洛,F。;Watts,P.,关于Jacobthal函数的简短注释(2013),手稿
[6] 埃瑟林顿,C.J。;安德森,M.W。;巴赫,E。;巴特勒,J.T。;Sténic,P.,《计算六个变量相关免疫性的并行方法》,国际期刊发现。计算。科学。,27,511-528(2016),《世界科学》·Zbl 1401.94153号
[7] 蔡,J。;Fürer,M。;Immerman,N.,图识别变量数的最优下界,组合数学,12389-410(1992),Springer·Zbl 0785.68043号
[8] Greene,D.H。;Knuth,D.E.,《算法分析数学》(1982),Birkhäuser
[9] 霍尔特,D.,《计算群论手册》(2005),查普曼和霍尔出版社·Zbl 1091.20001号
[10] Iwaniec,H.,关于Jacobsthal的问题,Demonstr。数学。,1125-231(1978年)·Zbl 0378.10029号
[11] Kwan,A.,《游标卡尺和其他早期精密测量设备》,《美国物理杂志》。,79, 368-373 (2011)
[12] R.C.Merkle。;Hellman,M.E.,关于多重加密的安全性,Commun。ACM,24,465-467(1981)
[13] McCurley,K.S.,离散对数问题,Proc。交响乐团。申请。数学。,42, 49-73 (1990) ·Zbl 0734.11073号
[14] 麦凯,B。;Piperno,A.,实用图同构,II,J.Symb。计算。,60, 94-112 (2014) ·兹比尔1394.05079
[15] Nechaev,V.I.,离散对数确定算法的复杂性,数学。注释,55,165-172(1994),斯普林格·兹比尔08311065
[16] 橙色,S。;雷诺,G。;Yokoyama,K.,多项式分裂域的计算方案,(Proc.2009 Int.Symp.on Symbolic and Algebraic Computation(2009),ACM),279-286·Zbl 1237.68259号
[17] Pollard,J.M.,指数计算的蒙特卡罗方法(mod),数学。计算。,32, 918-924 (1978) ·Zbl 0382.10001号
[18] Rosenbaum,D.,《量子计算和同构测试》(2015),美国华盛顿大学,论文
[19] Seress,A.,置换群算法(2003),剑桥大学出版社·Zbl 1028.20002号
[20] Shanks,D.,分类数,因子分解理论,和属,Proc。交响乐团。纯数学。,20, 415-440 (1969) ·兹比尔0223.12006
[21] Shoup,V.,离散对数的下限和相关问题,(Proc.EUROCRYPT(1997),Springer),256-266
[22] Teske,E.,离散对数问题的平方-罗算法(一项调查),(公钥密码术和计算数字理论(2001),de Gruyter),283-301·Zbl 1001.11059号
[23] Vaughan,R.C.,关于Jacobsthal函数的量级,Proc。爱丁堡数学。《社会学杂志》,20,329-331(1977)·Zbl 0367.10043号
[24] Whittaker,E.T。;Watson,G.N.,《现代分析课程》(1973),剑桥大学出版社·Zbl 0108.26903号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。