[論文レビュー] Dynamic data structures for twin-ordered matrices

Bartłomiej Bosek, Jadwiga Czyżewska+5 more|arXiv (Cornell University)|Feb 21, 2026

Algorithms and Data Compression被引用数 0

ひとこと要約

ダイナミックデータ構造を用いた d-twin-ordered バイナリ n×n 行列で、セルクエリと更新を O(log log n) の期待最悪時間で実行する。空間は O_d(n)。

ABSTRACT

We present a dynamic data structure for representing binary $n\times n$ matrices that are $d$-twin-ordered, for a~fixed parameter $d$. Our structure supports cell queries and single-cell updates both in $\Oh(\log \log n)$ expected worst case time, while using $\Oh_d(n)$ memory; here, the $\Oh_d(\cdot)$ notation

研究の動機と目的

• bounded twin-width (d-twin-ordered) のバイナリ行列のダイナミック表現の研究を動機づけ、形式化する。
• ほぼ線形空間と高速なアクセス/更新時間を保ちながら、静的なコンパクト表現を動的設定へ拡張する。
• 効率的なクエリと更新を可能にする canonical slab 分解とデータ構造を開発する。
• 明示的な収束系列に依存せず、収束系列に着想を得た構造を活用する。
• アマチュアライズドおよび（将来的には）完全動的な variantes を、証明可能な境界とともに提供する。

提案手法

• d-twin-ordered 行列が O_d(n) サイズの slab 分解を持つという概念を導入・活用する。
• 接着性セグメント集合データ構造と 2D 正交点位置決定プリミティブを用いて、効率的に標準的な slab 分解を計算する（定理 3.1）。
• slabs を静的な 2D 点位置決定構造と動的ディクショナリ（更新を追跡するための Q）に格納／照会する。
• 座標集合に対して O(log log n) 時間の操作を提供する van Emde Boas 辞書を適用する。
• アマチュアライズドおよびデアマチュアライズドなデータ構造の境界を証明する（定理 4.1 および関連結果）。
• slab 描写 K から O_d((n+|K|) log log n) 時間で slab 描写から初期化を行う手順を提供する。

実験結果

リサーチクエスチョン

• RQ1 d-twin-ordered バイナリ行列に対して、静的な空間効率に d に依存する係数まで追従するダイナミックなデータ構造を構築できるか？
• RQ2 ダイナミック設定で Init, QueryBit, Update 操作の時間境界は d-twin-ordered 保証を維持しつつどうなるか？
• RQ3 与えられた slab 描写から効率的に canonical slab decompositions を計算し、ダイナミックな保守を可能にできるか？
• RQ4 アマチュアライズドおよびデアマチュアライズド戦略が near-constant の更新コストを達成しつつ、クエリ時間を O(log log n) に維持できるか？
• RQ5 ダイナミックな twin-ordered 行列の保守を支えるデータ構造プリミティブ（例：2D 点位置決定、adhesive segment sets、van Emde Boas 辞書）は何か？

主な発見

• d-twin-ordered バイナリ n×n 行列に対して Init, QueryBit, Update 時間を Theorem 1.1 に示された通り持つ O_d(n) メモリのダイナミックデータ構造が存在する。
• Init(n, K) は slab 分解から O_d((n+|K|) log log n) 時間で初期化され、K は disjoint ones-slabs の集合である。
• QueryBit(i, j) は M[i, j] を O(log log n) の期待最悪時間で返す。
• Update(i, j) は M[i, j] を O(log log n) の期待最悪時間で反転する。
• 静的から動的への移行において、アマチュアライズドデータ構造 A は Init を O((n+|K|) log log n)、QueryBit を O(log log n)、Update を O(log log n) アマチュアライズ、空間を O_d(n) として達成する（定理 4.1）。
• フレームワークは canonical slab decomposition（サイズ O_d(n)）に依存し、必要に応じて Decompose によって再構築され、階上限は O(n+|K|) Slabs で抑えられる。