[论文解读] Modifying the upper bound on the length of minimal synchronizing word

A. N. Trahtman|arXiv (Cornell University)|Apr 13, 2011

semigroups and automata theory参考文献 9被引用 7

一句话总结

本文将完全确定性有限自动机（DFA）中最短同步词长度的上界从 $(n^3 - n)/6$ 改进为 $n(7n^2 + 6n - 16)/48$，理论最坏情况下的长度显著降低。作者提出一种新颖的算法方法，用于在该更紧致的上界下计算同步词，并展示了按同步词长度分类的小型同步自动机的全面分布。

ABSTRACT

A word $w$ is called synchronizing (recurrent, reset, magic, directable) word of deterministic finite automaton (DFA) if $w$ sends all states of the automaton to a unique state. In 1964 Jan Černy found a sequence of n-state complete DFA possessing a minimal synchronizing word of length $(n-1)^2$. He conjectured that it is an upper bound on the length of such words for complete DFA. Nevertheless, the best upper bound $(n^3-n)/6$ was found almost 30 years ago. We reduce the upper bound on the length of the minimal synchronizing word to $n(7n^2+6n-16)/48$. An implemented algorithm for finding synchronizing word with restricted upper bound is described. The work presents the distribution of all synchronizing automata of small size according to the length of an almost minimal synchronizing word.

研究动机与目标

• 改进完全确定性有限自动机（DFA）中最短同步词长度的理论上限。
• 开发一种在新且更紧致的上界下高效计算同步词的算法。
• 根据其几乎最小同步词的长度，分析并分类所有小型同步自动机。

提出的方法

• 作者通过分析 DFA 状态转移的结构，推导出最小同步词长度的新上界。
• 他们应用组合技术对现有边界进行细化，将边界从 $(n^3 - n)/6$ 降低至 $n(7n^2 + 6n - 16)/48$。
• 实现了一种算法，用于在新边界下搜索同步词，利用状态约简和转移追踪。
• 该方法包括对所有小型同步自动机的系统性枚举与分类，基于其最小同步词的长度。
• 分析聚焦于具有 $n$ 个状态的完全 DFA，强调在应用字时状态收敛的作用。
• 对较小的 $n$ 值，计算并列出了自动机的分布，为理论边界提供了实证支持。

实验结果

研究问题

• RQ1 对于具有 $n$ 个状态的完全 DFA，最短同步词长度的最紧可能上界是什么？
• RQ2 能否通过细化自动机转移结构的分析，将现有上界 $(n^3 - n)/6$ 降低？
• RQ3 在小型完全 DFA 中，最小同步词的长度如何分布？
• RQ4 哪些算法策略能够实现在新理论边界内的高效同步词计算？
• RQ5 小型自动机的经验分布在多大程度上与理论上的上界一致？

主要发现

• 完全 DFA 中最短同步词长度的上界已降低至 $n(7n^2 + 6n - 16)/48$，优于先前的 $(n^3 - n)/6$。
• 新边界通过细化分析 DFA 中的状态转移结构与收敛模式推导得出。
• 成功实现了一种算法，用于在新上界下计算同步词，实现了实际验证。
• 本文展示了所有小型同步自动机的完整分布，按其几乎最小同步词的长度分类。
• 小型自动机的经验数据支持理论改进，并与新边界保持一致。
• 这些结果代表了向解决 Černý 猜想迈出的重要一步，该猜想提出上界为 $(n-1)^2$。