图形回溯 swMATH ID: 39581 软件作者: 克里斯托弗·杰斐逊;马库斯·普菲弗;Wilson,Wilf A。;丽贝卡·沃尔德克 描述: 基于有向图的置换群算法。我们引入了一个新的框架来解决一类涉及有限置换群的重要计算问题,其中包括计算集合稳定器、子群的交集和组合结构的同构。我们的技术受到了杰弗里·莱昂(Jeffrey Leon)在1991年提出的当前最先进的算法“分区回溯”(partition backtrack)的启发并将其推广。但是,我们使用带标签的有向图来组织回溯搜索算法,而不是使用有序分区,这样可以更丰富地表示许多问题,同时通常会导致更小的搜索空间。在本文中,我们介绍了支撑我们框架的理论,描述了我们的算法,并展示了一些实验的结果。我们的算法的实现可以作为免费软件在extsc{GAP}的extsc{GraphBacktracking}包中获得。 主页: https://arxiv.org/abs/2106.13132 源代码: https://github.com/peal/Graph回溯 依赖项: 间隙 关键词: 置换群;搜索算法;二合字母;计算群论;图;回溯搜索 相关软件: 鹦鹉螺;间隙;踪迹;岩浆;控制组;图像;github;雪佛兰;葡萄;记录;朱莉娅;极乐;回溯工具包;PrimGrp公司;TransGrp公司;二合字母 引用于: 3文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 基于有向图的置换群算法。 Zbl 07373712号克里斯托弗·杰斐逊;马库斯·普菲弗;Wilson,Wilf A.威尔逊。;丽贝卡·沃尔德克 2021 全部的 前5名9位作者引用 1 贝蒂娜·艾克 1 德里克·霍尔特(Derek F.Holt)。 1 克里斯托弗·杰斐逊 1 加布里埃尔·内布 1 奥布莱恩,埃蒙A。 1 马库斯·普菲弗 1 塞尔吉奥·西恰 1 丽贝卡·沃尔德克 1 Wilson,Wilf A.威尔逊。 2篇连载文章中引用 1 代数杂志 1 Oberwolfach报告 全部的 前5名在6个字段中引用 三 群论与推广(20-XX) 2 组合数学(05-XX) 2 计算机科学(68至XX) 1 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 流形和细胞复合体(57至XX) 按年份列出的引文