[論文レビュー] New Lower Bounds for the Maximum Number of Runs in a String

Kazuhiko Kusano, Wataru Matsubara+3 more|ArXiv.org|Apr 8, 2008

Algorithms and Data Compression参考文献 11被引用数 37

ひとこと要約

本稿では、長さ $n$ の文字列における走査数の最大値の新しい下界 $\alpha = 56733/60064 \approx 0.944542$ を提示する。これは、以前の下界 $3/(1+\sqrt{5}) \approx 0.927$ よりも向上したものである。著者らは、走査数が 56,714 個である長さ 60,064 の特定の文字列 $\tau$ を構築し、$\tau^k$（$\tau$ を $k$ 回連結したもの）が $56733k - 18$ 個の走査数を持つことを証明した。この結果、繰り返し文字列における走査数の挙動を単純かつ効果的に分析することで、漸近的下界が向上することを確立した。

ABSTRACT

We show a new lower bound for the maximum number of runs in a string. We prove that for any e > 0, (a -- e)n is an asymptotic lower bound, where a = 56733/60064 = 0.944542. It is superior to the previous bound 0.927 given by Franek et al. Moreover, our construction of the strings and the proof is much simpler than theirs.

研究の動機と目的

• 長さ $n$ の文字列における走査数の最大値の既知の漸近的下界を改善すること。
• 長年にわたり提唱されてきた $3/(1+\sqrt{5}) \approx 0.927$ が最良の下界であるという仮説を反証すること。
• 従来の研究と比較して、より単純かつ明確な構成と証明を提供すること。
• 1 文字あたりの走査数が、以前に信じられていた理論的限界を超える可能性があることを示すこと。

提案手法

• 長さ 60,064 の特定の2進文字列 $\tau$ を計算的に検証し、走査数が 56,714 個であることを確認する。
• $\tau^k$（$\tau$ を $k$ 回連結したもの）の走査数が $k \geq 2$ のとき $56733k - 18$ 個であることを証明する。
• $k \to \infty$ のときの漸近的比 $\rho(n)/n \to 56733/60064$ を用いて、新しい下界を導出する。
• 繰り返し文字列における走査数の増加率が安定することに着目し、増加率の主要パラメータとして $\text{run}(\tau^3) - \text{run}(\tau^2)$ を用いる。
• 任意の文字列 $w$ に対して、十分大きな $n$ に対して $\rho(n)/n > (\text{run}(w^3) - \text{run}(w^2))/|w| - \varepsilon$ が成り立つ一般結果（定理 3.1）を応用し、漸近的下界を導出する。
• 走査数の高い文字列を発見するために、ヒューリスティックなコンピュータ探索を用いる。その中には $\tau$ も含まれる。

実験結果

リサーチクエスチョン

• RQ1 長さ $n$ の文字列における走査数の最大値の真の漸近的下界は何か？
• RQ2 以前に提唱された $3/(1+\sqrt{5}) \approx 0.927$ の下界は、これを上回ることができるか？
• RQ3 より単純な構成と証明により、走査数の下界をより高くすることができるか？
• RQ4 繰り返し文字列における走査数の密度を分析することで、よりタイトな漸近的下界を得られるか？
• RQ5 走査数密度が $0.944$ を超える文字列の存在は、以前の下界が最適でないことを示唆するか？

主な発見

• 長さ 60,064 の文字列 $\tau$ には 56,714 個の走査数が含まれており、走査数密度は約 0.944226 に達し、以前の下界 $3/(1+\sqrt{5}) \approx 0.927$ をすでに上回っている。
• $k \geq 2$ のとき、文字列 $\tau^k$ には正確に $56733k - 18$ 個の走査数が含まれており、勾配 $56733/60064 \approx 0.944542$ の線形増加率が確認された。
• 任意の $\varepsilon > 0$ および十分大きな $n$ に対して、$\rho(n) > (56733/60064 - \varepsilon)n$ が成り立つため、$\alpha = 56733/60064 \approx 0.944542$ が有効な下界であることが確立された。
• 証明は、フランェクらの従来の構成よりも著しく単純であり、複雑な周期性の議論を用いず、基本的な文字列の繰り返しと走査数の数え上げに依存している。
• 長さ 1,558、走査数 1,445 個の短い文字列 $\tau_{1558}$ も、下界約 0.93645 を与え、この手法の頑健性を確認した。
• この結果により、2003 年に提唱された $3/(1+\sqrt{5}) \approx 0.927$ が最良の下界であるという仮説が反証され、よりタイトな下界の探索が再び活発化した。