×

置换组搜索的新精简程序。 (英语) Zbl 1502.20002号

摘要:分区回溯是搜索给定置换组的子组的当前通用最新算法。我们用轨道图描述了集合稳定器和子群交集的分区回溯的改进。通过大量实验,我们证明了我们的方法可以提高分区回溯的性能,在某些情况下可以提高几个数量级。

MSC公司:

2008年20月 群论问题的计算方法
20B05型 有限置换群的一般理论
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Bang-Jensen,J。;Gutin,G.Z.,有向图:理论、算法和应用,(2008),Springer出版公司
[2] 博斯马,W。;坎农,J。;Playout,C.,《岩浆代数系统》。I.用户语言,计算代数和数论,伦敦,1993,J.Symb。计算。,24, 3-4, 235-265, (1997) ·Zbl 0898.68039号
[3] Cameron,P.,置换群,伦敦数学。《Soc.Student Texts》(1999),剑桥大学出版社·Zbl 0922.20003号
[4] Dixon,J。;莫蒂默,B.,排列组,数学研究生教材,(1996),施普林格:施普林格纽约·Zbl 0951.20001号
[5] GAP,GAP-组、算法和编程,4.8.4版,(2016),GAP组
[6] Jefferson,C.,《雪貂套餐》(The Ferret Package)(2016年)
[7] Leon,J.S.,基于分区的置换群算法,I:理论和算法,J.Symb。计算。,12, 4, 533-583, (1991) ·Zbl 0807.20001号
[8] McKay,B.D.,实用图同构,Congr。数字。,30, 45-87, (1980) ·Zbl 0521.05061号
[9] 麦凯,B.D。;Piperno,A.,实用图同构,II,J.Symb。计算。,60, 94-112, (2014) ·Zbl 1394.05079号
[10] 阿拉巴马州塞雷斯。,《置换群算法》,剑桥数学丛书,(2003),剑桥大学出版社·Zbl 1028.20002号
[11] Theißen,H.,Eine Methode zur Normalisatorberechnung in Permutationsgruppen mit Anwendungen in der Konstruktion primitiver Gruppen,(1995),Lehrstuhl Dür Mathematik,RWTH Aachen,博士论文
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。