[論文レビュー] A Distributed $(2+\epsilon)$-Approximation for Vertex Cover in $O(\log{\Delta}/\epsilon\log\log{\Delta})$ Rounds

Reuven Bar-Yehuda, Keren Censor-Hillel+1 more|arXiv (Cornell University)|Feb 11, 2016

Complexity and Algorithms in Graphs参考文献 19被引用数 3

ひとこと要約

本稿では、最大次数Δを用いて、最小重み頂点被覆問題に対する(2 + ε)-近似をO(log Δ / (ε log log Δ))ラウンドで達成する決定的分散アルゴリズムを提示する。頂点識別子やグローバルな知識を必要とせず、効率的かつスケーラブルな近似を実現するために、『金庫』と『銀行』の2段階の重み管理システムを導入することで、相互に依存する重みの削減を分離している。

ABSTRACT

We present a simple deterministic distributed $(2+\epsilon)$-approximation algorithm for minimum weight vertex cover, which completes in $O(\log{\Delta}/\epsilon\log\log{\Delta})$ rounds, where $\Delta$ is the maximum degree in the graph, for any $\epsilon>0$ which is at most $O(1)$. For a constant $\epsilon$, this implies a constant approximation in $O(\log{\Delta}/\log\log{\Delta})$ rounds, which contradicts the lower bound of [KMW10].

研究の動機と目的

• 最小重み頂点被覆のための決定的分散アルゴリズムを設計し、ラウンド複雑性を改善すること。
• 長大な依存関係の鎖を避ける形で、逐次的なローカル比テクニックを分散環境に適応させること。
• Δに相対する対数未満のラウンド数で(2 + ε)-近似を達成することにより、従来の下界を挑戦すること。
• アルゴリズムが匿名ネットワークでも効率的に動作することを示し、有界重みの仮定のもとでCONGESTモデルに適応可能であることを示すこと。

提案手法

• 『金庫』と『銀行』の2段階重みシステムを導入：『金庫』は削減要求の発信に使用され、『銀行』はそれへの応答に使用される。
• 各頂点vは、その金庫内の削減回数と残存重みを追跡するdi(v)とwi(v)を維持する。
• 反復回数の上限を定めるために、d(v) ≤ 16の場合はKv = d(v) + 1とし、それ以外の場合はKv = log d(v)/log log d(v)を用いる。
• 十分な金庫容量が存在する場合にのみ、隣接頂点からの要求に応じて重みを削減し、負の重みが生じないことを保証する。
• CONGESTモデルへの適応のために、要求と予算を事前計算された値を用いてO(log n)-ビットのメッセージに符号化する。
• 正しさの証明は、ローカル比不変性に基づく：残存重みがゼロとなった頂点の集合が(2 + ε)-近似を形成する。

実験結果

リサーチクエスチョン

• RQ1 通信オーバーヘッドが高くなることなく、ローカル比テクニックを分散環境に効果的に適応できるか？
• RQ2 最小重み頂点被覆問題に対して、o(log Δ)ラウンドで(2 + ε)-近似を達成することは可能か？
• RQ3 一意な識別子が存在しない匿名ネットワークでも、アルゴリズムは効率的かつ正しく動作するか？
• RQ4 有界メッセージサイズのもとで、CONGESTモデルでも効率的に動作するようにアルゴリズムを改良可能か？
• RQ5 分散システムにおける定数近似頂点被覆の真のラウンド複雑性下界は何か？

主な発見

• 本アルゴリズムは、O(log Δ / (ε log log Δ))ラウンドで(2 + ε)-近似を達成し、従来の分散アルゴリズムを上回る。
• 定数εに対して、ラウンド複雑性はO(log Δ / log log Δ)であり、[KMW10]が提唱したΩ(log Δ)の下界と矛盾する。
• 次数≤16の頂点については、O(1/ε)ラウンドで完了し、それ以外の頂点についてはO(log d(v)/(ε log log d(v)))ラウンドで完了する。
• アルゴリズムは匿名ネットワークでも動作し、同期化された開始時刻を必要としない。
• 著者らは[KMW10]の下界における欠陥を特定し、それはk = O((log n)^{1/3})およびk = O(√log Δ)という制限付き仮定のもとでのみ成立することを示した。
• 真の下界はΩ(log Δ / log log Δ)に再評価され、これにより本アルゴリズムは漸近的にタイトであることが示された。