[论文解读] Reset Complexity of Ideal Languages

Marina Maslennikova|arXiv (Cornell University)|Apr 10, 2014

semigroups and automata theory参考文献 1被引用 24

一句话总结

本文引入了重置复杂度作为正则理想语言的新度量，定义为具有给定语言作为其重置（同步）字语言的同步自动机中状态数的最小值。它建立了重置复杂度与状态复杂度之间的界限，证明了对于某些语言，重置复杂度可比状态复杂度指数级更小，并展示了最小重置自动机并非唯一——挑战了最小DFA中所见的唯一性。关键结果是，对于Černý自动机，重置复杂度等于状态数，证实了界限的紧致性，并为解决Černý猜想提供了新路径。

ABSTRACT

We present a new characteristic of a regular ideal language called reset complexity. We find some bounds on the reset complexity in terms of the state complexity of a given language. We also compare the reset complexity and the state complexity for languages related to slowly synchronizing automata and study uniqueness question for automata yielding the minimum of reset complexity.

研究动机与目标

• 为正则理想语言定义并分析重置复杂度作为新的复杂度度量。
• 研究重置复杂度与状态复杂度之间的关系，特别是与缓慢同步自动机相关的语言。
• 确定给定理想语言的最小重置自动机是否唯一，挑战最小DFA的唯一性特性。
• 探讨重置复杂度对Černý猜想的启示，特别是对最短同步词长度的界的影响。

提出的方法

• 将重置复杂度 rc(L) 定义为具有精确语言 L 作为其重置字语言的同步自动机中最小状态数。
• 证明对于任意理想语言 L，识别 L 的最小DFA 是同步的，且满足 rc(L) ≤ sc(L)，其中 sc(L) 为状态复杂度。
• 利用幂自动机构造和子集可达性论证，推导出 rc(L) 的下界，特别是针对源自Černý自动机的语言。
• 构造非同构同步自动机（例如，有和无吸收状态的自动机）的显式例子，其均识别相同的重置字语言，从而证明最小重置自动机的非唯一性。
• 使用穷举计算机搜索验证此类自动机的最小性与非同构性，例如，对于一个6状态语言，存在两个不同的最小重置自动机。
• 利用理想语言与同步自动机的结构特性，证明对于Černý型自动机，有 rc(Syn(𝒞ₙ)) = rc(Syn(ℒₙ)) = rc(Syn(𝒱ₙ)) = n。

实验结果

研究问题

• RQ1 对于理想语言，重置复杂度与状态复杂度之间有何关系，其差距最大可达多大？
• RQ2 给定理想语言的最小重置自动机是否可唯一确定，还是存在多个非同构自动机可实现相同的最小重置复杂度？
• RQ3 源自Černý自动机的语言的重置复杂度是否与其状态数相等，这对Černý猜想有何含义？
• RQ4 是否存在高效算法以判断给定同步自动机在重置复杂度意义上是否最小？
• RQ5 能否利用重置字语言的结构特性，推导出最短同步词长度的改进上界？

主要发现

• 对于Černý自动机 𝒞ₙ，重置复杂度 rc(Syn(𝒞ₙ)) 等于 n，与状态数一致，证实了Černý猜想中该类别的界限是紧致的。
• Syn(𝒞ₙ) 的状态复杂度为 2ⁿ − n，而其重置复杂度仅为 n，表明状态复杂度与重置复杂度之间存在指数级差距。
• 存在非同构的同步自动机（例如 𝒮₆ 和 𝒵₆）具有相同的重置字语言，证明了最小重置自动机并非唯一。
• 语言 L = (a+b)*(b³ab²a + a²b³a + abab³a + ab²ab³a)(a+b)* 由两个不同的6状态自动机识别——一个具有吸收状态，另一个为强连通——两者在重置复杂度上均为最小。
• 理想语言的最小DFA 在同构意义下唯一，但实现相同重置字语言的最小重置自动机并非唯一，表明其在结构唯一性上存在根本差异。
• 结果表明，重置复杂度可能为约束最短同步词长度提供新途径，或可推动Černý猜想的进展。