[論文レビュー] On the Minimal Uncompletable Word Problem

Gabriele Fici, Elena V. Pribavkina+1 more|arXiv (Cornell University)|Feb 9, 2010

semigroups and automata theory参考文献 3被引用数 6

ひとこと要約

この論文は、有限アルファベット上の非完全な語集合における未完成語の最小長を調査し、その長さが $2k^2$ を超え、$k$ が最大語長であるような集合では漸近的に $3k^2$ に達することを示している。$k \geq 7$ の場合に、最小未完成語長が $3k^2 - 9k + 1$ に達するような明示的な構成と計算的証拠が提示され、Restivoの $2k^2$ の上界に関する予想に反するものである。

ABSTRACT

Let S be a finite set of words over an alphabet Sigma. The set S is said to be complete if every word w over the alphabet Sigma is a factor of some element of S*, i.e. w belongs to Fact(S*). Otherwise if S is not complete, we are interested in finding bounds on the minimal length of words in Sigma* which are not elements of Fact(S*) in terms of the maximal length of words in S.

研究の動機と目的

• 非完全な有限語集合 $S$ における最小未完成語長のタイトな上界および下界を特定すること。
• 最大語長 $k$ を持つ集合に対して、Restivoの最小未完成語長に関する $2k^2$ の上界予想が成り立つかどうかを調査すること。
• 最小未完成語長が $2k^2$ を超える非完全な集合 $S$ の明示的例を構成すること。
• 特に長さ $k$ の非境界語 $u$ を含む要因分解に関して、最小未完成語の構造的性質を分析すること。
• パラメータ $k$ を増加させながら、Vaucansonオートマトンプラットフォームを用いて最小未完成語を計算・検証すること。

提案手法

• 非完全性を保ちつつ未完成語長を増加させるために、$\Sigma^k \setminus \{u\} \cup T$ の形の非完全集合 $S$ を構成する。ここで $u$ は長さ $k$ の非境界語であり、$T$ はより短い語の集合である。
• 最小未完成語をモデル化するため、$w = u v_1 u v_2 \cdots u v_m u$ の構造を用い、$v_i \notin \Sigma^* u \Sigma^*$ であるようにする。これにより $u$ が前継および後継として出現するように保証する。
• パrametrized な集合族に対して、$k=5$ から $12$ まで Vaucanson プラットフォームを用いて計算的検証を行い、最小未完成語を計算する。
• Restivo や他の研究者による既知の構成を拡張し、$b^4$ などの追加の短い語を加えることで、最小未完成語長を $2k^2$ を超えて増加させる。
• 構造的解析と背理法を用いて、構成された語の最小性を証明し、$S^*$ によって任意の短い接頭語または接尾語が完成可能であることを示す。
• 二進アルファベット上での最小未完成語長 $UWL(k)$ の漸近的成長を分析し、$k \geq 7$ の場合に $3k^2 - 9k + 1$ のような下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 Restivoの予想 $UWL(k) \leq 2k^2$ はすべての $k$ に対して成り立つか？
• RQ2 最大語長 $k$ を持つ非完全な集合 $S$ に対して、最小未完成語長が $2k^2$ を超えることは可能か？
• RQ3 最小未完成語が満たすべき構造的制約、特に長さ $k$ の非境界語 $u$ の配置と繰り返しに関する制約は何か？
• RQ4 $\Sigma^k \setminus \{u\}$ に短い語を追加することで、最小未完成語長はどのように変化するか？
• RQ5 $UWL(k)$ の漸近的成長率は何か？また、$k$ の立方関数で下から有界にできるか？

主な発見

• $k \geq 7$ の場合、集合 $S'_k = \Sigma^k \setminus \{a^{k-2}bb\} \cup \Sigma ba^{k-4}\Sigma \cup \Sigma ba \cup b^4 \cup J_k$ は、長さ $3k^2 - 9k + 1$ の最小未完成語を生成し、$UWL(k) \geq 3k^2 - 9k + 1$ を示している。
• $S'_k$ に対する構成された最小未完成語は $w = (a^{k-2}bb)a^{k-1}(a^{k-2}bb)\cdots(a^{k-2}bb)$ の形を取り、繰り返し現れる $a^{k-2}bb$ と埋め込まれた $b$-ブロックを含む複雑な内部構造を持つ。
• $5 \leq k \leq 12$ の範囲で、集合 $S_k$ は長さ $2k^2 - 2k + 1$ の最小未完成語を生成し、$UWL(k) \geq 2k^2 - 2k + 1$ を示しており、Restivoが提案した $2k^2$ の境界を上回っている。
• $S_k$ の最小未完成語は構造 $uv_1uv_2\cdots uv_{k-1}u$ を維持しており、Restivoが予想した形を確認しているが、中間の $v_i$ 語がより長くなっている。
• $S_k$ に $b^4$ を加えて $S'_k$ を形成することで、最小未完成語長は $2k^2 - 2k + 1$ から $3k^2 - 9k + 1$ に増加し、小さな変更が境界を著しく上回ることを示している。
• 論文は Vaucanson プラットフォームを用いた計算的証拠を提供し、$k=5$ から $12$ まで構成された語が実際に最小未完成語であることを裏付け、境界の妥当性を支持している。