[论文解读] State Complexity of Two Combined Operations: Reversal-Catenation and Star-Catenation

Bo Cui, Yuan Gao+2 more|arXiv (Cornell University)|Jun 23, 2010

Chemical Synthesis and Analysis参考文献 25被引用 3

一句话总结

本论文研究了两种组合正则语言运算的态射复杂度：反转后接连接（L₁ᴿL₂）和星号后接连接（L₁*L₂）。研究表明，由于结果自动机中的结构约束——例如反转后的终态分布或星号运算后初始状态为终态——组合运算的态射复杂度并非简单地由各个运算复杂度的复合而成，而是受到更紧致、通常更低的上界限制，且通过构造辨识自动机构造证明了精确的上界。

ABSTRACT

In this paper, we show that, due to the structural properties of the resulting automaton obtained from a prior operation, the state complexity of a combined operation may not be equal but close to the mathematical composition of the state complexities of its component operations. In particular, we provide two witness combined operations: reversal combined with catenation and star combined with catenation.

研究动机与目标

• 分析正则语言理论中组合运算的态射复杂度，特别是当各个运算按顺序组合时的情况。
• 研究组合运算的态射复杂度为何不同于其组成部分运算复杂度的数学复合。
• 确定并证明两个特定组合运算（反转-连接与星号-连接）的态射复杂度的紧致上界。
• 构造能实现所推导上界的辨识DFA，证明这些上界是紧致的。
• 强调中间自动机的结构性质（例如反转后的终态分布或星号运算后的状态）如何影响最终的复杂度。

提出的方法

• 使用标准的NFA到DFA转换方法，为组合运算构造一个乘积自动机，追踪输入自动机中状态对的组合。
• 将结果DFA的状态集定义为对 (P, T)，其中P是第一个自动机状态的子集，T是第二个自动机状态的子集，且受运算语义的约束。
• 应用可达性与等价性分析，证明所构造自动机的最小性，表明所有状态均可达且无两个状态等价。
• 使用具有四字母字母表且过渡关系精心设计的特定辨识自动机，以实现上界，特别是在星号-连接情况下。
• 证明对于反转-连接，当 m,n ≥ 2 时，上界为 3/4·2^{m+n}，而当 m=1 或 n=1 时，复杂度更低。
• 对于星号-连接，推导出两个不同的上界：当A有多个终态时，为 5·2^{m+n−3} − 2^{m−1} − 2^{n} + 1；当A是星号封闭时（即 L(A) = L(A)*），为 m(2^n − 1) − 2^{n−1} + 1。

实验结果

研究问题

• RQ1 为何反转-连接这类组合运算的态射复杂度不等于其各个运算复杂度的复合？
• RQ2 中间自动机的结构性质（如反转后的终态分布）如何影响下一运算的态射复杂度？
• RQ3 对于m状态和n状态的DFA，L₁ᴿL₂的态射复杂度的最紧致上界是什么？
• RQ4 当第一个自动机A不是星号封闭时（即 L(A)* ≠ L(A)），L₁*L₂的态射复杂度是多少？
• RQ5 能否为反转-连接与星号-连接两种运算构造出能实现所推导上界的辨识自动机？

主要发现

• 反转-连接运算 L₁ᴿL₂ 的态射复杂度在 m,n ≥ 2 时，上界为 3/4·2^{m+n}，且该上界是紧致的，可通过辨识自动机实现。
• 当 m=1 且 n≥1 时，L₁ᴿL₂ 的态射复杂度降至 2^{n−1}；当 m≥2 且 n=1 时，复杂度为 2^{m−1}+1，显示出由于结构约束导致的显著降低。
• 对于星号-连接 L₁*L₂，若A是星号封闭的（即其初始状态是唯一的终态），复杂度为 m(2^n − 1) − 2^{n−1} + 1，低于一般连接运算的复杂度 m·2^n − 2^{n−1}。
• 当A不是星号封闭时（即除初始状态外还存在其他终态），L₁*L₂ 的态射复杂度为 5·2^{m+n−3} − 2^{m−1} − 2^{n} + 1，严格小于朴素复合结果 3/4·2^{m+n} − 2^{n−1}。
• 两种运算的辨识自动机均在四字母字母表上构造，其过渡关系确保了状态的完全可达性与可区分性，从而证明了上界是紧致的。
• 研究结果表明，中间自动机的结构性质——如反转或星号运算后的终态配置——会显著降低最终组合运算的态射复杂度，使其无法达到各个运算复杂度理论复合的上限。