[論文レビュー] Improving the upper bound on the length of the shortest reset words

Marek Szykuła|arXiv (Cornell University)|Feb 17, 2017

semigroups and automata theory参考文献 23被引用数 15

ひとこと要約

この論文は、同期化オートマトンにおける最短リセット語の長さの一般上界を、およそ $114n^3/685 + O(n^2)$ に改善した。これは、以前の最良の上界 $(n^3 - n)/6 - 1$ よりわずかに良い。著者たちは、特定の状態を含まない語（回避語）を分析し、Franklの定理の洗練された版とTrahtmanの手法を組み合わせることで、リセット語の構築における累積的圧縮コストを削減した。

ABSTRACT

We improve the best known upper bound on the length of the shortest reset words of synchronizing automata. The new bound is slightly better than $114 n^3 / 685 + O(n^2)$. The Černý conjecture states that $(n-1)^2$ is an upper bound. So far, the best general upper bound was $(n^3-n)/6-1$ obtained by J.-E.~Pin and P.~Frankl in 1982. Despite a number of efforts, it remained unchanged for about 35 years. To obtain the new upper bound we utilize avoiding words. A word is avoiding for a state $q$ if after reading the word the automaton cannot be in $q$. We obtain upper bounds on the length of the shortest avoiding words, and using the approach of Trahtman from 2011 combined with the well known Frankl theorem from 1982, we improve the general upper bound on the length of the shortest reset words. For all the bounds, there exist polynomial algorithms finding a word of length not exceeding the bound.

研究の動機と目的

• 1982年以来改善されていなかった同期化オートマトンのリセットスレッショルドに関する一般上界を改善すること。
• 特定の状態を除外する短い回避語（回避語）が、最短リセット語の長さに関するより良い上界を導くのに利用可能かどうかを調査すること。
• 回避語長の上限を組み込むことで、Franklの定理とTrahtmanの手法の応用を洗練し、上界の立方項の係数を低減すること。
• 新しい上界内に収まるリセット語を構成する多項式時間アルゴリズムを確立すること。

提案手法

• 著者たちは、特定のターゲット状態に何らかの状態もマッピングされない語（回避語）を定義し、同期化オートマトンにおけるその長さの上界を導出する。
• 短い回避語の存在を活用することで、集合の圧縮に関するFranklの1982年の定理の変種を適用し、累積的圧縮コストの推定値を改善する。
• 部分集合を繰り返し圧縮し、回避語の構造を活用することで、単一状態に到達するまでに必要な総長さの tighter な上界を導出する。
• 状態の像によって生成されるベクトル空間を用いた線形代数的議論により、短い語が部分集合を圧縮するか、線形独立性を破る形で部分集合を回避する必要があることを示し、そのような語が存在しないと仮定すると矛盾が生じることを証明する。
• この手法は、集合の圧縮に関する組合せ的上限と、強い連結性を持つ同期化オートマトンの構造的性質を組み合わせる。
• 最終的な上界は、各ステップで回避語長の改善された上界を活用する再帰的圧縮ステップの適用によって得られる。

実験結果

リサーチクエスチョン

• RQ1 同期化オートマトンにおける回避語の長さは、状態数に関して線形的に上界され得るか？ そのような上界はリセットスレッショルドにどのように影響するか？
• RQ2 短い回避語の存在が、リセットスレッショルドの一般上界における立方項の係数を低減可能か？
• RQ3 同期化オートマトンに、特定の状態集合を回避する短い語の存在を保証する構造的性質が存在するか？ その性質はリセット語の構築にどのように利用可能か？
• RQ4 2011年のTrahtmanの手法は反例によって無効化されたが、回避語長の改善された上限を用いることで、その手法を修復可能か？
• RQ5 与えられたランク $r$ の語の各前像集合を回避する語の最小長さは何か？ これは全体のリセット語長とどのように関係するか？

主な発見

• 論文は、$\operatorname{rt}(\mathcal{A}) \leq \frac{114}{685}n^3 + O(n^2)$ というリセットスレッショルドの新しい上界を確立した。これは、以前の最良の上界 $(n^3 - n)/6 - 1$ よりも改善されたものである。
• 著者たちは、同期化オートマトンの各状態に対して、長さが $n-1$ 以下の回避語が存在することを証明した。これは、Trahtmanの2011年の研究における誤った主張を是正するものである。
• 短い回避語の存在が、圧縮プロセスの分析をより厳密に行うことを可能にし、単一状態に到達するまでに必要な語の総長を短縮できることを示した。
• 新しい上界は、Franklの定理と回避語長の洗練された上限を組み合わせることで達成され、立方項の係数が顕著に低減された。
• 論文は、新しい上界内に収まるリセット語を構成する多項式時間アルゴリズムを提供しており、実用的応用を保証している。
• 結果として、回避語は、絶対値としてはわずかにしか改善がないものの、リセットスレッショルドの一般上界を改善する強力なツールであることが示された。