最大クリークと独立集合の一回走査に必要な記憶量を証明
Deterministic Streaming Lower Bounds for Approximate Maximum Clique and Maximum Independent Set
この論文をやさしく読む
ひとことで言うと
グラフの辺を一度だけ順に読みながら大きなクリークや独立集合を探すとき、乱数を使わない方法に必要なメモリー量の下限を証明しています。
何に役立つ？
大量のグラフデータを少ない記憶量で処理する際、決定論的な近似アルゴリズムにどこまで改善の余地があるかを判断する基礎になります。
この研究の面白いところ
乱択手法では既に上下界が近かった問題について、決定論的手法はより多い記憶量を必要とすることを、通信量の議論から示しています。
どこまで分かった？
1パスの辺到着ストリーミングとβ近似という条件での理論的下界です。対数因子の隔たりは残るため、完全に同一の上下界ではなく、ほぼタイトとされています。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
代表的な最大クリーク問題と最大独立集合問題を、辺が順に到着するグラフストリーミングの1パス設定で研究する。入力グラフG=(V,E)の辺が1本ずつ提示され、削除が含まれる場合もある。アルゴリズムはストリームの終わりに大きなクリークまたは独立集合を出力する必要があり、本研究では空間計算量に注目する。任意のβ≥1についてβ近似解を求めることに関心がある。 先行研究は、記憶量Õ(n²/β²)ビットのアルゴリズムと、それに対応する2者通信の下界Ω̃(n²/β²)を与えており、問題は解決したように見えた［Halldórssonら、ICALP 2012］。しかし、そのアルゴリズムは本質的に乱数に依存する。既知の最良の決定論的アルゴリズムは、広く知られた脱乱択化によるO(n²/β)ビットの方法にとどまり、決定論的な場合にはÕ(β)の隔たりが残っていた。 本研究はほぼタイトな下界によって、この決定論的な隔たりを解消する。どちらの問題でも、任意の決定論的アルゴリズムはΩ(n²/(β log n))ビットの記憶量を必要とする。証明は2者間の一方向通信の下界を通じて行い、これらの問題を扱う際の乱数の有効性を明らかにする。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study the canonical \textsf{Maximum Clique} and \textsf{Maximum Independent Set} problems in the one-pass edge-arrival graph streaming setting. Here, the edges of some input graph $G = (V,E)$ are presented one at a time (possibly including deletions), before an algorithm needs to produce either a large clique or independent set at the end of the stream, with the focus being on space complexity. We are interested in finding $\beta$-approximate solutions, for any $\beta \geq 1$. Previous work gave an algorithm using $\tilde{O}\left(n^2/\beta^2\right)$ bits of space, together with a corresponding $\tilde{\Omega}\left(n^2/\beta^2\right)$ two-party communication lower bound [Halldórsson et al., ICALP'12], seeming to resolve the problem. However, their algorithm crucially relies on randomness, and the best known deterministic algorithm remains a folklore derandomisation using $O\left(n^2/\beta\right)$ bits of space, leaving a (deterministic) gap of size $\tilde{O}(\beta)$. We resolve this deterministic gap with an (almost) tight lower bound: any deterministic algorithm for either problem must use $\Omega\left(\frac{n^2}{\beta\cdot\log n}\right)$ bits of space. Our proof is via a two-party one-way communication lower bound, and highlights the power of randomness when approaching either of these problems.
著者のコメント
24 pages, 1 figure
arXiv ID: 2609.18635 ／ 要約の誤りについて