[论文解读] Improving the upper bound on the length of the shortest reset words

Marek Szykuła|arXiv (Cornell University)|Feb 17, 2017

semigroups and automata theory参考文献 23被引用 15

一句话总结

本文将同步自动机中最短重置字长度的一般上界改进至约 $114n^3/685 + O(n^2)$，略优于此前最佳上界 $(n^3 - n)/6 - 1$。作者通过分析避免字——即排除特定状态的字——并结合改进版本的弗兰克尔定理与特拉赫特曼的方法，利用短避免字的存在性来降低重置字构造过程中累积的压缩成本。

ABSTRACT

We improve the best known upper bound on the length of the shortest reset words of synchronizing automata. The new bound is slightly better than $114 n^3 / 685 + O(n^2)$. The Černý conjecture states that $(n-1)^2$ is an upper bound. So far, the best general upper bound was $(n^3-n)/6-1$ obtained by J.-E.~Pin and P.~Frankl in 1982. Despite a number of efforts, it remained unchanged for about 35 years. To obtain the new upper bound we utilize avoiding words. A word is avoiding for a state $q$ if after reading the word the automaton cannot be in $q$. We obtain upper bounds on the length of the shortest avoiding words, and using the approach of Trahtman from 2011 combined with the well known Frankl theorem from 1982, we improve the general upper bound on the length of the shortest reset words. For all the bounds, there exist polynomial algorithms finding a word of length not exceeding the bound.

研究动机与目标

• 改进自1982年以来长期未被突破的同步自动机重置阈值的一般上界。
• 探究是否可利用短避免字（即排除特定状态的字）来推导更优的最短重置字长度上界。
• 通过引入避免字长度的界，对弗兰克尔定理与特拉赫特曼方法的应用进行精细化处理，以降低上界中三次项的系数。
• 建立一个多项式时间算法，用于在新界内构造重置字。

提出的方法

• 作者定义并分析了避免字——即不将任何状态映射到给定目标状态的字——并在同步自动机中推导出其长度的上界。
• 应用弗兰克尔1982年关于子集压缩定理的修改版本，利用短避免字的存在性来改进累积压缩成本的估计。
• 通过迭代压缩子集并利用避免字的结构，推导出达到单元素状态所需总长度的更紧上界。
• 通过涉及由状态像生成的向量空间的线性代数论证，证明若不存在此类字，则子集的压缩或避免将破坏线性相关性，从而导致矛盾。
• 该方法结合了压缩的组合界与强连通同步自动机的结构特性。
• 最终上界通过递归应用压缩步骤获得，每一步均受益于避免字长度的改进上界。

实验结果

研究问题

• RQ1 同步自动机中避免字的长度能否以状态数的线性函数形式界定，这又如何影响重置阈值？
• RQ2 短避免字的存在是否能降低重置阈值一般上界中三次项的系数？
• RQ3 是否存在同步自动机的结构性质，可保证存在避开某一状态子集的短字？该性质在重置字构造中如何被利用？
• RQ4 能否通过改进避免字长度的界来修复特拉赫特曼（2011）的方法，该方法曾因反例而被证伪？
• RQ5 对于给定的秩为 $ r $ 的字的任一前像集，避免其中任意一个的最短字长度是多少？这与整体重置字长度有何关联？

主要发现

• 本文建立了重置阈值的新上界：$\operatorname{rt}(\mathcal{A}) \leq \frac{114}{685}n^3 + O(n^2)$，优于此前最佳上界 $(n^3 - n)/6 - 1$。
• 作者证明，在任意同步自动机中，对每个状态均存在长度不超过 $n-1$ 的避免字，纠正了特拉赫特曼2011年工作中一个有缺陷的断言。
• 他们表明，短避免字的存在使得压缩过程的分析更加紧密，从而降低了达到单元素状态所需字的总长度。
• 通过将弗兰克尔定理与避免字长度的改进界相结合，显著降低了三次项的系数。
• 本文提供了在新界内构造重置字的多项式时间算法，确保了实际可应用性。
• 结果表明，即使在绝对数值上改进微小，避免字仍是改进重置阈值一般上界的强大工具。