[論文レビュー] 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

ひとこと要約

本稿は、$m$ および $n$ 両状態のDFA $M$ および $N$ に対して、$L(M)^{*} \cup L(N)$、$L(M)^{*} \cap L(N)$、$L(M)^{R} \cup L(N)$、$L(M)^{R} \cap L(N)$ の4つの結合操作における状態複雑性を調査する。これらの操作の状態複雑性は、個々の操作の複雑性の数学的合成よりも厳密に小さいことが示され、$m,n \geq 2$ の場合、スターに基づく操作では $\frac{3}{4}2^m \cdot n - n + 1$、リバーサルに基づく操作では $2^m \cdot n - n + 1$ という明確な上限が確立されている。結果から、操作の順序が状態複雑性に顕著な影響を与えることが明らかとなり、スターまたはリバーサルの後に結合操作（和集合・共通部分）を実行することで、大幅に低い上限が得られることを示している。

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を構築する。
• 各部品操作の順序的実行を模倣する遷移関数を定義し、正しくかつ最小であることを保証する。
• 特にリバーサルおよびスター操作において、同等の状態を統合するためにシンク状態を用いる。
• 構築されたオートマトンのすべての状態の到達可能性および区別可能性を証明することで、最小性を示す。
• 既知の個々の操作に関する結果（例：リバーサルでは $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$ であり、リバーサルを伴う和集合の場合と同一の複雑性を示す。
• 4つの操作すべてに対して構築された最小DFAは、到達可能性および対ごとの区別可能性が証明されており、境界がタイトであることが確認されている。
• 結果から、スターまたはリバーサルの後に和集合または共通部分を実行することで、最悪ケースの状態複雑性が $O(2^{m+n})$ から $O(2^m n)$ に低下することが示され、操作の順序の重要性が明らかになった。