[论文解读] State complexity of union and intersection combined with star and reversal

Yuan Gao, Sheng Yü|arXiv (Cornell University)|Jun 18, 2010

semigroups and automata theory参考文献 22被引用 4

一句话总结

本文研究了正则语言上四种组合操作的态射复杂度：$L(M)^{*} \cup L(N)$、$L(M)^{*} \cap L(N)$、$L(M)^{R} \cup L(N)$ 和 $L(M)^{R} \cap L(N)$，其中 $M$ 和 $N$ 分别为 $m$- 和 $n$-状态 DFA。研究发现，这些操作的态射复杂度严格小于各独立操作复杂度的数学组合，精确边界为：对于基于星号的操作，为 $\frac{3}{4}2^m \cdot n - n + 1$；对于基于反转的操作，为 $2^m \cdot n - n + 1$，其中 $m,n \geq 2$。结果表明，操作顺序显著影响态射复杂度，先执行星号或反转再执行并集或交集可获得明显更低的复杂度边界。

ABSTRACT

In this paper, we study the state complexities of union and intersection combined with star and reversal, respectively. We obtain the state complexities of these combined operations on regular languages and show that they are less than the mathematical composition of the state complexities of their individual participating operations.

研究动机与目标

• 确定涉及星号或反转后接并集或交集的正则语言组合操作的精确态射复杂度。
• 证明此类组合操作的态射复杂度严格小于各独立操作复杂度的数学组合。
• 分析操作顺序对态射复杂度的影响，特别是比较先应用星号/反转与最后应用星号/反转的情况。
• 为 $m,n \geq 2$ 的 $L(M)^{*} \cup L(N)$、$L(M)^{*} \cap L(N)$、$L(M)^{R} \cup L(N)$ 和 $L(M)^{R} \cap L(N)$ 建立紧致的上界与下界。

提出的方法

• 使用产品构造技术并精心设计状态集，为每种组合操作构造最小化 DFA。
• 定义转移函数以模拟各组件操作的顺序行为，确保正确性与最小化。
• 使用汇合状态（sink state）来合并产品自动机中的等价状态，尤其针对反转和星号操作。
• 通过证明所构造自动机中所有状态的可达性与可区分性，来验证最小化。
• 应用已知的独立操作结果（如反转的 $2^m$ 和星号的 $\frac{3}{4}2^k$）推导组合情况的边界。
• 分析状态集以消除冗余或等价状态，特别是涉及汇合状态或终态条件的状态。

实验结果

研究问题

• RQ1 对于 $m,n \geq 2$，$L(M)^{*} \cup L(N)$ 的态射复杂度是多少？
• RQ2 $L(M)^{*} \cap L(N)$ 的态射复杂度与 $(L(M) \cap L(N))^{*}$ 相比如何？
• RQ3 $L(M)^{R} \cup L(N)$ 的态射复杂度是多少？与 $(L(M) \cup L(N))^{R}$ 相比如何？
• RQ4 为何 $L(M)^{*} \cup L(N)$ 与 $L(M)^{*} \cap L(N)$ 尽管操作不同，却具有相同的态射复杂度？
• RQ5 操作顺序（星号/反转在并集/交集之前或之后）如何影响最终的态射复杂度？

主要发现

• 对于 $m,n \geq 2$，$L(M)^{*} \cup L(N)$ 的态射复杂度为 $\frac{3}{4}2^m \cdot n - n + 1$，严格小于 $(L(M) \cup L(N))^{*}$ 的复杂度。
• $L(M)^{*} \cap L(N)$ 的态射复杂度同样为 $\frac{3}{4}2^m \cdot n - n + 1$，尽管操作不同，但与并集情况的复杂度一致。
• $L(M)^{R} \cup L(N)$ 的态射复杂度为 $2^m \cdot n - n + 1$，显著低于 $(L(M) \cup L(N))^{R}$ 的 $2^{m+n} - 2^m - 2^n + 2$ 复杂度。
• $L(M)^{R} \cap L(N)$ 的态射复杂度为 $2^m \cdot n - n + 1$，与反转并集情况的复杂度一致。
• 为所有四种操作构造的最小 DFA 被证明是可达且两两可区分的，确认了边界的紧致性。
• 结果表明，先执行星号或反转再执行并集或交集，可将最坏情况下的态射复杂度从 $O(2^{m+n})$ 降低至 $O(2^m n)$，凸显了操作顺序的重要性。