[論文レビュー] Frontier Space-Time Algorithms Using Only Full Memory

Petr Chmel, Aditi Dudeja+3 more|arXiv (Cornell University)|Feb 24, 2026

Complexity and Algorithms in Graphs被引用数 0

ひとこと要約

この論文は、STCONN、編集距離、LCS、離散フレシェ距離を解くために、O(log n) の通常空間とサブリニア catalytic 空間のみを用いる多項式時間の触媒アルゴリズムを提示し、非触媒設定における最良の時空 frontier に匹敵する。

ABSTRACT

We develop catalytic algorithms for fundamental problems in algorithm design that run in polynomial time, use only $\mathcal{O}(\log(n))$ workspace, and use sublinear catalytic space matching the best-known space bounds of non-catalytic algorithms running in polynomial time. First, we design a polynomial time algorithm for directed $s$-$t$ connectivity using $n \big/ 2^{Θ(\sqrt{\log n})}$ catalytic space, which matches the state-of-the-art time-space bounds in the non-catalytic setting [Barnes et al., 1998], and improves the catalytic space usage of the best known algorithm [Cook and Pyne, 2026]. Furthermore, using only $\mathcal{O}(\log(n))$ random bits we get a randomized algorithm whose running time nearly matches the fastest time bounds known for space-unrestricted algorithms. Second, we design polynomial time algorithms for the problems of computing Edit Distance, Longest Common Subsequence, and the Discrete Fréchet Distance, again using $n \big/ 2^{Θ(\sqrt{\log n})}$ catalytic space. This again matches non-catalytic time-space frontier for Edit Distance and Least Common Subsequence [Kiyomi et al., 2021].

研究の動機と目的

• memory がほぼ全て使われるが最終的には復元されなければならないというモデルとしての触媒計算の動機づけと形式化の目的。
• 触媒フレームワーク内で基本問題（STCONN、ED、LCS、DFD）に対するサブリニア空間多項式時間アルゴリズムの設計。
• 非触媒の最良の時空 frontier に合わせるための触媒空間使用の改善。
• 代表集合の構成と触媒制約内でのフロー基盤および再帰的技法の活用を示す。

提案手法

• 時間 poly(n)、通常空間 O(log n)、触媒空間 n/2^{Omega(sqrt(log n))} を持つ STCONN の決定性およびランダム化アルゴリズムを開発。
• 問題の構造とグリッド様表現を活用して STCONN の手法を ED、LCS、DFD に拡張し、触媒空間をサブリニアに達成。
• Barnes らのサブリニア非触媒フレームワークと Cook および Pyne の触媒フローに基づく手法をハイブリッドで組み合わせる。
• 代表集合 U を対が独立なハッシュ族と expanser により構築し、疎でかつ連結性を保つグラフを可能にする。
• 再帰的な色クラス分解と経路数の不変量を用いて触媒メモリを保持しつつ経路を数える。
• ED、LCS、DFD については、グリッドグラフの重み付き到達性へと還元し、経路数または重みを小さい素数のモジュロで読み出す中国剰余表示を用いる。

実験結果

リサーチクエスチョン

• RQ1 STCONN を O(log n) 普通空間で多項式時間に解決できるか。
• RQ2 サブリニアの触媒空間手法を ED、LCS、DFD に拡張して触媒空間または普通空間の爆発を避けられるか。
• RQ3 触媒制約の下で連結情報を保持するための代表集合を効率的に構築できるか。
• RQ4 フロー基盤、再帰、モジュラー算術技法を統合して触媒制約内で u–v 経路を数えられるか。
• RQ5 この触媒モデルで ED、LCS、DFD を計算する際の正確な時間と空間のトレードオフは何か。

主な発見

• STCONN に対して、n 頂点グラフ上で多項式時間、O(log n) 普通空間、触媒空間 n/2^{Omega(sqrt(log n))} を満たす決定性アルゴリズムが存在する。
• 乱択的 STCONN アルゴリズムは O(log n) の乱数ビットで実行され、同程度の時間と触媒空間を用い、一方的誤りを持ち、それと同じ空間界内で復元可能。
• ED、LCS、DFD に対して、 poly(n) 時間、O(log n) 普通空間、触媒空間 n/2^{Omega(sqrt(log n))} を満たす決定論的触媒空間アルゴリズムが存在。
• DFD アルゴリズムは触媒制約下で整数距離に対して poly(n) の範囲で多項式時間 O(n^{4+ε}) を達成。
• ED および LCS のアプローチは、グリッド-グラフ構造と重み付き経路数のモジュロ計算を小素数で行うことで触媒空間をサブリニアに活用し、STCONN への直接・全空間還元を行わずに解を導出。
• 代表集合の構築は対独立ハッシュ族と Expander ズを用いて、低空間・高確率のグラフスパース化を保証。