[論文レビュー] 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) は状態複雑度を表す。
• べき集合オートマトンの構成と部分集合の到達可能性に関する議論を用いて、特にČernýオートマトンから導かれる言語に対する rc(L) の下界を導出する。
• 同型でない同期化可能なオートマトン（例：シンク状態を有する・ないもの）の明示的構成を行い、同じリセット語言語を認識することを示し、最小リセットオートマトンの一意性の否定を証明する。
• 体系的なコンピュータ探索を用いて、そのようなオートマトンの最小性および非同型性を検証する。例えば、6状態の言語に対して2つの異なる最小リセットオートマトンが存在することを確認する。
• 理想言語および同期化可能オートマトンの構造的性質を用いて、Č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)* は、1つのシンク状態を有する6状態オートマトンと、強い連結性を持つ6状態オートマトンの両方で認識可能であり、両者ともリセット複雑度で最小である。
• 理想言語の最小DFAは同型を除いて一意であるが、同じリセット語言語を実現する最小リセットオートマトンは一意でない。これは構造的同型性の根本的な違いを示している。
• これらの結果は、リセット複雑度が最短リセット語の長さをバウンディングする新たなアプローチを提供する可能性があり、Černý予想の解決に向けた進展をもたらす可能性がある。