[論文レビュー] Approximation Algorithm for N-distance Minimal Vertex Cover Problem

Tarun Yadav, Koustav Sadhukhan+1 more|arXiv (Cornell University)|Jun 9, 2016

Complexity and Algorithms in Graphs参考文献 5被引用数 4

ひとこと要約

この論文は、重みなし無向グラフ内のすべてのノードが、少なくとも1つの集合に属する頂点からNホップ以内に存在するような最小の頂点集合を求める、古典的な頂点被覆問題の新しい変種であるN距離最小被覆問題（N-MVC）を導入する。著者らは、グラフの縮小と最大マッチングに基づく近似アルゴリズムを提案し、最適解の4/N倍の上界を持つ解を得ることに成功した。理論的分析には拡張されたグラフ構成が用いられている。

ABSTRACT

Evolution of large scale networks demand for efficient way of communication in the networks. One way to propagate information in the network is to find vertex cover. In this paper we describe a variant of vertex cover problem naming it N-distance Vertex Minimal Cover(N-MVC) Problem to optimize information propagation throughout the network. A minimum subset of vertices of a unweighted and undirected graph G = (V, E) is called N-MVC if for all v in V , v is at distance less than or equal to N from at least one of the the vertices in N-MVC. In the following paper, this problem is defined, formulated and an approximation algorithm is proposed with discussion on its correctness and upper bound.

研究の動機と目的

• 制限されたリソースのもとでの大規模ネットワークにおける情報伝播の効率性の課題に対処すること。
• 古典的な頂点被覆問題の一般化として、N距離最小被覆問題（N-MVC）を定義し形式化すること。
• 情報がNホップ以内にすべてのノードに到達するように保証するための最小のソースノード数を最小化する近似アルゴリズムを設計すること。
• 背理法を用いてアルゴリズムの正しさを証明し、解の品質に対する上界を確立すること。
• 拡張されたグラフモデルが近似アルゴリズムの性能分析と上限評価にどのように役立つかを示すこと。

提案手法

• N-MVC問題を最適化問題として定式化：すべての頂点が、ある頂点集合S内の少なくとも1つの頂点から距離N以内にあるような最小の頂点部分集合Sを求める。
• 元のグラフGを、Nトレール（長さ≤Nのパス）を表すエッジを持つ縮小グラフG′に変換するためのグラフ縮小技術を適用する。
• G′′における各Nトレールが正確にNエッジのパスに対応するように、エッジを分割することで拡張グラフG′′を構築し、距離特性を保持する。
• 縮小グラフG′に対して標準的なApprox-Vertex-Coverアルゴリズムを適用し、2近似解を取得する。
• G′における最大マッチングのサイズとG′′におけるそれとの関係を確立することで、理論的上限を導出し、4/Nの近似比に至る。
• 背理法を用いてアルゴリズムの正しさを証明し、任意のより小さい解はN被覆性を満たさないことを示す。

実験結果

リサーチクエスチョン

• RQ1 すべてのノードが、少なくとも1つの選択された頂点からNホップ以内に存在するようにするための最小頂点集合は何か？
• RQ2 有界な近似比を維持しつつ、N-MVC問題を効率的に近似する方法は何か？
• RQ3 N-MVC解のサイズが最適解に対して理論的にどの程度の上界を持つのか？
• RQ4 拡張されたグラフの構築が、近似アルゴリズムの性能分析と上限評価にどのように寄与するか？
• RQ5 背理法を用いて、提案されたアルゴリズムが正しく動作することを証明でき、すべてのノードが選択された頂点集合からNホップ以内に存在することを保証できるか？

主な発見

• 提案されたアルゴリズムは、Nが情報伝播の許容ホップ数の最大値である場合、N-MVC問題に対して4/Nの近似比を達成する。
• 背理法を用いた形式的証明により、アルゴリズムの正しさが示され、より小さい解ではすべての頂点がNホップ以内にカバーされないことが示された。
• グラフの縮小プロセスにより、縮小グラフG′の各エッジが元のグラフGにおける長さ≤Nのパスに対応することが保証される。
• 拡張グラフG′′は正確なNトレールをモデル化するために構築され、近似比の理論的分析を可能にする。
• G′における最大マッチングのサイズは、G′′における最大マッチングのサイズの2/N倍以下に抑えられ、これが4/Nの近似比を導く鍵となる。
• 拡張グラフの構築は理論的分析を支援するだけでなく、情報伝播を必要としない新しいノードのネットワークへの追加戦略を示唆する。