循环群上轨道问题的线性时间算法

摘要

轨道问题是模型检查并发系统对称约简方法的核心。它询问并发系统中的两个给定配置（表示为某个有限字母表上的有限序列）相对于作用于这组配置的给定有限置换群（由它们的生成器表示）是否在同一轨道上。众所周知，该问题通常与图同构问题一样困难，人们普遍认为该问题在多项式时间内是不可解的。在这篇演讲中，我们考虑了当置换群是循环的（即由单个任意置换生成）时轨道问题的限制，这是轨道问题的一个重要限制。主要结果是该子问题的线性时间算法。