[论文解读] A New Heuristic Synchronizing Algorithm

Jakub Kowalski, Marek Szykuła|arXiv (Cornell University)|Aug 8, 2013

semigroups and automata theory参考文献 14被引用 3

一句话总结

该论文提出CutOff-IBFS，一种新颖的启发式算法，通过在幂自动机中使用逆广度优先搜索（IBFS），用于在同步自动机中寻找较短的重置词。通过维护一个大小受限的最大状态集合列表，并利用前缀树（trie）进行去重，该算法在随机和极值自动机上比现有方法更高效地找到更短的重置词，同时保持了具有竞争力的运行时间性能。

ABSTRACT

We present a new heuristic algorithm finding reset words. The algorithm called CutOff-IBFS is based on a simple idea of inverse breadth-first-search in the power automaton. We perform an experimental investigation of effectiveness compared to other algorithms existing in literature, which yields that our method generally finds a shorter word in an average case and works well in practice.

研究动机与目标

• 开发一种更有效的启发式算法，用于在同步自动机中寻找短重置词，这是一个计算上困难的问题。
• 通过减少所找到重置词的长度，同时保持实际运行时间效率，改进现有的启发式和精确算法。
• 设计一种在随机自动机和已知极值情况（如Černý自动机和缓慢同步系列）下均表现良好的方法。
• 提供一种实用的多项式时间算法，可作为精确求解器中的快速预处理器或启发式组件集成。

提出的方法

• 该算法在幂自动机上执行逆广度优先搜索（IBFS），从所有单状态集合开始。
• 在每一步中，使用转移函数计算当前状态集合在所有输入字母下的前驱集合。
• 使用前缀树（trie）数据结构高效检测并消除前驱计算过程中的重复集合。
• 仅保留每层中按基数大小排在前`maxsize`大的集合，以限制状态空间的增长。
• 该过程迭代至给定的`maxlen`（重置词长度的上限），并返回找到的最短重置词的长度。
• 为恢复实际重置词，每个集合存储对其前驱集合的指针及所应用的字母，从而在不存储完整重置词的情况下实现路径重建。

实验结果

研究问题

• RQ1 基于大小受限集合剪枝的逆BFS启发式算法是否能在重置词长度和执行时间上优于现有启发式方法？
• RQ2 该算法是否能可靠地找到已知极值自动机（如Černý自动机及其他缓慢同步系列）的最短重置词？
• RQ3 `maxsize`参数的选择如何影响解决方案质量与计算成本之间的权衡？
• RQ4 技术优化（如基于前缀树的去重、基于入度的状态排序以及选择性状态初始化）是否能在实际中提升性能？

主要发现

• 在100至1000个状态的均匀随机自动机上，CutOff-IBFS始终能找到比其他启发式算法更短的重置词。
• 当`maxsize = n`时，该版本可保证找到Černý自动机$\mathrsfs{C}_n$及其他缓慢同步系列（如$\mathrsfs{D}'_n$、$\mathrsfs{D}''_n$、$\mathrsfs{B}_n$、$\mathrsfs{G}_n$和$\mathrsfs{H}_n$）的最短重置词。
• CutOff-IBFS中`maxsize = log n`的变体仅比两种最快算法（Eppstein和Cycle）稍慢，但能显著找到更短的重置词。
• 该算法的时间复杂度为$O(lckn + kn^2)$，空间复杂度为$O(ckn)$，其中$l$为所找到重置词的长度，$c = \mathtt{maxsize}$，$k$为字母表大小，$n$为状态数。
• 通过采用技术优化（如按集合大小分别使用前缀树和按入度对状态排序），由于前缀树高度降低和缓存行为改善，算法执行速度得以提升。
• 该算法在随机自动机上的表现尤为出色，由于IBFS过程中大集合的快速收敛，能迅速找到短重置词。