階層型ziplineによる系列予測の効率と表現力の両立条件
Stringological sequence prediction III: layered ziplines and a tradeoff between efficiency and expressivity
この論文をやさしく読む
ひとことで言うと
規則性の強い文字列を予測する算法で、表せるパターンを限定すると時間とメモリを節約できることを示しています。
何に役立つ？
構造を持つ列のオンライン予測で、扱える複雑さと計算効率の関係を理解するための理論結果です。
この研究の面白いところ
従来のARCに関連する、層状のziplineプログラムに制限した複雑さ指標を定義します。適切な構造の列に対して準線形時間と多重対数空間を実現します。
どこまで分かった？
高速化は表現力を弱める代わりに得られます。任意の列や従来のARCが表せるすべての列へ同じ効率を保証したものではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
先行論文では、文字列の語の複雑さを測る指標に適合した系列予測アルゴリズムの研究に着手した。特に、Arithmetic Repetition Complexity（ARC、算術的反復複雑度）と呼ぶ複雑度指標を定義し、この複雑度に対して準線形の誤予測回数上界を持つ、多項式時間の予測アルゴリズムを得た。 本論文では、ARCに関連する、より弱い複雑度指標を示す。この指標では特に効率のよい予測アルゴリズムが可能であり、適切な高度に構造化された系列に対して、準線形時間かつ多重対数空間で動作する。複雑度指標は、直線型プログラムの変種である「ziplineプログラム」のうち、階層型と呼ぶ制限されたクラスを用いて定義する。こうして、ARCについての先行結果に比べて表現力は低いがアルゴリズムは効率的な指標を得ており、両者の間にあり得るトレードオフを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
In previous papers, we began the study of sequence prediction algorithms adapted to stringological word complexity measures. In particular, we defined a complexity measure called Arithmetic Repetition Complexity (ARC) which admits a polynomial-time prediction algorithm with a mistake bound quasilinear in the complexity. Here, we show a weaker complexity measure related to ARC that admits an especially efficient prediction algorithm: an algorithm that runs in quasilinear time and polylog space for appropriate highly-structured sequences. The complexity measure is defined via a restricted class of "zipline programs" (a variant of straight-line programs), which we call layered. We thus get a less expressive measure with a more efficient algorithm (compared to our results for ARC), demonstrating a possible tradeoff.
arXiv ID: 2609.19940 ／ 要約の誤りについて