逆Lyndon配列を線形時間で計算する
The Inverse Lyndon Array
この論文をやさしく読む
ひとことで言うと
文字列の各位置に関する逆Lyndon語の情報を持つ配列を定義し、高速な計算法を示した。
何に役立つ？
文字列の分解や接尾辞を使うデータ構造の構築に役立つ理論的な道具となる。
この研究の面白いところ
通常のLyndon語にはない境界の問題を最長共通拡張で補正し、一般の順序付き文字で線形時間を達成した。
どこまで分かった？
計算量と再構成に関する理論結果であり、実データでの実行時間は要旨に示されていない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Lyndon配列は、文字列の各位置から始まる最長のLyndon因子の長さを記録し、接尾辞配列など基本的なデータ構造の構築を含む文字列の組合せ論で重要である。本研究は、真の空でないどの接尾辞よりも辞書順で大きい逆Lyndon語に対応する、逆Lyndon配列を導入する。通常のLyndon語と異なり、逆Lyndon語には自明でない境界部分文字列があり、理論上の難しさとなる。逆Lyndon配列は、次に大きい接尾辞の配列と境界を補正する項で特徴付けられ、その補正は最長共通拡張（LCE）の値と一致することを証明する。この特徴付けに基づき、Ellertによる通常のLyndon配列の線形時間構築で使う最も近い接尾辞の枠組みを逆の場合へ適応し、一般の順序付きアルファベットについてO(n)時間のアルゴリズムを得る。逆Lyndon配列から標準的な逆Lyndon分解も線形時間で再構成できる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
The Lyndon array stores, at each position of a word, the length of the longest Lyndon factor starting at that position and plays an important role in combinatorics on words, for example, in the construction of fundamental data structures such as the suffix array. In this paper, we introduce the Inverse Lyndon array, the analogous structure for inverse Lyndon words, namely words that are lexicographically greater than all their proper nonempty suffixes. Unlike standard Lyndon words, inverse Lyndon words may have non-trivial borders, which introduces a genuine theoretical difficulty. We show that the Inverse Lyndon array can be characterized in terms of the next greater suffix array together with a border-correction term, and we prove that this correction coincides with a longest common extension (LCE) value. Building on this characterization, we adapt the nearest-suffix framework underlying Ellert's linear-time construction of the Lyndon array to the inverse setting, obtaining an O(n)-time algorithm for general ordered alphabets. Finally, we show that the Inverse Lyndon array can also be used to reconstruct the canonical inverse Lyndon factorization in linear time.
著者のコメント
21 pages, no figures, SOFSEM conference
arXiv ID: 2609.23401 ／ 要約の誤りについて