[論文レビュー] Fast Local Computation Algorithms

Ronitt Rubinfeld, Gil Tamir+2 more|arXiv (Cornell University)|Apr 7, 2011

Complexity and Algorithms in Graphs参考文献 40被引用数 53

ひとこと要約

この論文は、入力や出力を完全に読み込まずに、組合せ問題（例：最大独立集合、超グラフ彩色、k-SAT）の特定の部分についてクエリに応答するローカル計算アルゴリズム（LCAs）のモデルを導入する。ベックのアルゴリズム的LLLとk-独立サンプリングを用いて、多対数時間および空間で動作するLCAsを構築し、クエリ間の一貫性を保ちつつ、特定の依存性の上限を満たす問題に対して高い確率で正しく動作することを保証する。

ABSTRACT

For input $x$, let $F(x)$ denote the set of outputs that are the "legal" answers for a computational problem $F$. Suppose $x$ and members of $F(x)$ are so large that there is not time to read them in their entirety. We propose a model of {\em local computation algorithms} which for a given input $x$, support queries by a user to values of specified locations $y_i$ in a legal output $y \in F(x)$. When more than one legal output $y$ exists for a given $x$, the local computation algorithm should output in a way that is consistent with at least one such $y$. Local computation algorithms are intended to distill the common features of several concepts that have appeared in various algorithmic subfields, including local distributed computation, local algorithms, locally decodable codes, and local reconstruction. We develop a technique, based on known constructions of small sample spaces of $k$-wise independent random variables and Beck's analysis in his algorithmic approach to the Lov{á}sz Local Lemma, which under certain conditions can be applied to construct local computation algorithms that run in {\em polylogarithmic} time and space. We apply this technique to maximal independent set computations, scheduling radio network broadcasts, hypergraph coloring and satisfying $k$-SAT formulas.

研究の動機と目的

• 入力や出力を完全に読み込まず、特定の出力位置に関するクエリに応答するローカル計算アルゴリズム（LCAs）のモデルを形式化すること。
• 最大独立集合、超グラフ彩色、k-SATの割り当てなど、巨大な組合せ的解を計算する必要があるが、サイズの大きさにより完全な計算が非現実的であるような状況に対処すること。
• k-独立サンプリングとベックによるLovász Local Lemma（LLL）の解析に基づく一般化された技術を用いて、多対数時間クエリ時間を持つ効率的なLCAsを構築すること。
• 複数の解が存在する場合でも、少なくとも1つの有効な解と整合的なグローバルな整合性を保つために、クエリ間の一貫性を確保すること。
• 最大独立集合、超グラフ彩色、k-SATといった問題に対して、依存性の上限条件を満たす場合にLCAsの適用範囲を拡張すること。

提案手法

• Lovász Local Lemma（LLL）のアルゴリズム的アプローチ（ベックの手法）を活用し、多対数時間複雑度を持つLCAsを設計すること。
• ローカル計算環境におけるランダムネスの効率的シミュレーションのため、k-独立な確率変数を用いること。
• パルナスとロンによる分散アルゴリズムへの還元を応用し、定数ラウンドの分散アルゴリズムをローカルクエリでシミュレートすることで、MISおよびスケジューリングのための効率的LCAs構築を可能にすること。
• 超グラフ彩色およびk-SATに対しては、アロンの並列LLLベースのアルゴリズムを変更し、各クエリあたり多対数時間で実行可能にする。
• 再帰的依存性グラフ解析を用いて、節や変数の依存性グラフにおけるコンポONENTのサイズを制限し、小さな部分問題に対して全探索を可能にする。
• 大きなコンポONENTに対しては、サイズO(log log N)の部分問題に対してブルートフォース探索を適用するが、対数的制限のおかげで合計サイズが多対数的のまま保たれる。

実験結果

リサーチクエスチョン

• RQ1 入力や出力全体が読み込み可能でないほど巨大な場合でも、特定の出力位置に関するクエリに多対数時間および多対数空間で応答できるローカル計算アルゴリズム（LCA）を設計できるか？
• RQ2 問題に課される条件（例：最大次数の上限、節の交差数の制限）は何か？ それらが、このような効率的LCAsの構築を可能にするか？
• RQ3 複数の解が存在する場合でも、LCAの応答が少なくとも1つの有効な解とグローバルに整合していることを保証する方法は何か？
• RQ4 Lovász Local Lemmaおよびk-独立性の技術を、k-SATや超グラフ彩色といった問題に適応してLCAsを構築できるか？
• RQ5 分散アルゴリズム、局所デコード可能符号、ローカル計算アルゴリズムの間にはどのような関係があり、それらを1つのモデルで統合できるか？

主な発見

• 最大独立集合および無線ネットワークのスケジューリングのためのLCAsは、クエリあたりO((log N)^c)時間で動作し、cは最大次数に依存する定数である。
• 超グラフ2彩色に対しては、各クエリが依存性コンポONENTのサイズが最大O(log log N)であることを解析し、小さな部分問題に対して全探索を可能にすることで多対数時間で応答する。
• k-SATのアルゴリズムは、各節が高々d個の他の節と交差するとし、特定の不等式（例：8d(d−1)^3(d+1) < 2^{k1}）を満たすk1, k2, k3が存在する場合、クエリあたり多対数時間で有効な割り当てを計算可能である。
• 正しさの確率は1 - 1/N以上であり、満たす割り当てと高い確率で整合的であることを保証する。
• 状態遷移（例：安全、危険、問題あり）を維持し、コンポONENTサイズの有界性を用いて局所的全探索を可能にすることで、グローバルな整合性を保証する。
• 同じ根幹的技術と多対数時間複雑度を用いて、任意のℓ ≥ 2に対して超グラフのℓ彩色に一般化可能である。