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

ひとこと要約

本稿は、2つの組み合わせられた正則言語演算子である「逆転の後に連結（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.

研究の動機と目的

• 正則言語理論における組み合わせ演算の状態複雑性を分析すること、特に個々の演算が連続して適用される場合を対象とする。
• 組み合わせ演算の状態複雑性が、その構成要素の演算の複雑性の数学的合成と一致しない理由を調査すること。
• 2つの特定の組み合わせ演算（逆転-連結およびスターリング-連結）の状態複雑性に対するタイトな上界を特定し、証明すること。
• 導出された上界に達する見本のDFAを構築することにより、上界がタイトであることを示すこと。
• 中間の自動機の構造的性質（例：逆転後の受理状態の分布やスターリング後の性質）が、最終的な複雑性にどのように影響するかを強調すること。

提案手法

• 標準的なNFAからDFAへの変換を用いて、組み合わせ演算の積の自動機を構築し、入力自動機の状態ペアを追跡する。
• 得られたDFAの状態集合を、最初の自動機の状態部分集合Pと2番目の自動機の状態部分集合Tのペア (P, T) として定義し、演算の意味論に基づく制約を設ける。
• 到達可能性および同値性の分析を適用して、構築された自動機の最小性を証明し、すべての状態が到達可能であり、かつ2つの状態が同値でないことを示す。
• 特にスターリング-連結のケースにおいて、4文字のアルファベットと慎重に設計された遷移を備えた特定の見本の自動機を用い、上界に到達する。
• 逆転-連結に関しては、m,n ≥ 2 のとき上界が 3/4·2^{m+n} であることを証明し、m=1 または n=1 の場合はより低い値が得られることを示す。
• スターリング-連結に関しては、2つの異なる上界を導出する：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} よりも厳密に小さい。
• 両方の演算の見本の自動機は、4文字のアルファベット上に構築され、状態の到達可能性と区別可能性を完全に可能にする遷移を備えており、上界がタイトであることを証明している。
• 結果として、中間自動機の構造的性質（例：逆転後の受理状態の配置やスターリング後の性質）が、最終的な組み合わせ演算の状態複雑性を顕著に低減させ、個々の複雑性の理論的合成に達しないことを示している。