[論文レビュー] Local algorithms in (weakly) coloured graphs

Matti Åstrand, Valentin Polishchuk+3 more|arXiv (Cornell University)|Jan 31, 2010

Complexity and Algorithms in Graphs参考文献 18被引用数 17

ひとこと要約

本稿では、(弱い)2色グラフにおける最小支配集合および最大マッチング問題の局所近似アルゴリズムを提示する。弱い2色割り当てが、両問題に対して(Δ+1)/2-近似を可能にし、これは達成可能な最良の近似因子と一致する。2色グラフでは、局所近似スキームにより最大マッチングの近似が任意に良くなるが、支配集合問題は完全な2色割り当てのもとでも(Δ+1)/2で上限に達する。

ABSTRACT

A local algorithm is a distributed algorithm that completes after a constant number of synchronous communication rounds. We present local approximation algorithms for the minimum dominating set problem and the maximum matching problem in 2-coloured and weakly 2-coloured graphs. In a weakly 2-coloured graph, both problems admit a local algorithm with the approximation factor $(Δ+1)/2$, where $Δ$ is the maximum degree of the graph. We also give a matching lower bound proving that there is no local algorithm with a better approximation factor for either of these problems. Furthermore, we show that the stronger assumption of a 2-colouring does not help in the case of the dominating set problem, but there is a local approximation scheme for the maximum matching problem in 2-coloured graphs.

研究の動機と目的

• 2色割り当てまたは弱い2色割り当てから得られる対称性の破壊情報が、局所計算モデルにおける基本的グラフ問題の近似可能性にどの程度寄与するかを調査すること。
• 弱い2色割り当てが、支配集合およびマッチング問題の定数因子局所近似に十分な構造を提供するかを特定すること。
• これらの問題に対する決定的局所アルゴリズムが達成可能な最良の近似因子の上界および下界を厳密に確立すること。
• 特に独立集合問題に関して、弱い2色グラフにおける局所アルゴリズムの限界を調査すること。

提案手法

• 本稿では、定数個の同期通信ラウンド内で動作する局所アルゴリズムを設計し、ノードの色分けと局所近傍情報のみに依存する。
• 最大マッチングのためのアルゴリズムは、奇数長の増大パス（長さ2i−1）を探索し、それらに沿ってマッチングを拡張する再帰的サブルーチンを用いる。
• フラッディングフェーズでは、未マッチドの黒ノードを根とする長さh=2i−1の互いに素な増大木を構築し、メッセージ伝搬により長さ-h の増大パスの端点を特定する。
• プロポーザルフェーズでは、葉から根へメッセージを伝搬させ、各木に対して1本の増大パスを選択し、メッセージが重複する場合は破棄する。
• 増大フェーズでは、選択されたパスに沿ってマッチングを並列に更新し、競合を避ける。
• アルゴリズムは2色割り当てを活用し、増大パスが黒・白ノードを交互に含むように保証することで、効率的なパス探索と並列増大を可能にする。

実験結果

リサーチクエスチョン

• RQ1 弱い2色割り当てが、最小支配集合問題の定数因子局所近似を可能にするか。もしそうならば、達成可能な最良の近似因子は何か？
• RQ2 2色割り当ては、支配集合問題の局所近似において、弱い2色割り当てよりも顕著な利点を提供するか？
• RQ3 2色グラフでは、局所アルゴリズムが最大マッチングに対して任意に良い近似を達成できるか。もしそうならば、その実現方法は何か？
• RQ4 弱い2色グラフにおいて、最大独立集合問題に対して局所定数因子近似が可能か、それとも根本的に局所的に扱えない問題か？
• RQ5 これらの問題に対する局所アルゴリズムの最良の近似因子は何か。また、下界を証明できるか？

主な発見

• 弱い2色割り当てにより、最小支配集合問題に対して局所(Δ+1)/2-近似が可能であり、この因子は最適である。
• 同じ(Δ+1)/2-近似は、弱い2色グラフにおける最大マッチング問題に対しても達成可能であり、この上限はタイトである。
• 2色グラフでは、局所近似スキームにより最大マッチングが(1+ε)-近似可能であり、近似因子は1に任意に近づく。
• 弱い2色グラフにおいて、最大独立集合問題に対しては、局所定数因子近似が存在しない。これは有界次数であっても同様である。
• 支配集合およびマッチングの両問題において、弱い2色グラフでは近似因子(Δ+1)/2が最適であり、一致する下界により証明された。
• 支配集合問題において、2色割り当ては弱い2色割り当てで達成可能な近似因子を上回る利点を提供しない。