[論文レビュー] Improved Approximation Lower Bounds for Vertex Cover on Power Law Graphs and Some Generalizations

Mikael Gast, Mathias Hauptmann+1 more|arXiv (Cornell University)|Oct 9, 2012

Complexity and Algorithms in Graphs参考文献 30被引用数 6

ひとこと要約

この論文は、輪構造に基づくマルチグラフ埋め込みと有界次数の増幅器構成を用いて、連結パワー則グラフ（PLG）およびその関数的一般化における最小頂点被覆（Min-VC）問題の明示的な近似不能性下界を確立する。0 < β < β_max ≈ 2.48 である連結 (α, β)-PLG マルチグラフにおいて Min-VC が APX-ハードであることを証明し、f(n) = ω(log n) のとき β = 1 ± 1/f(n) である関数的 β に対して、近似比 1 + ϵ_d / (1 + 2d) の明示的近似不能性比を示す。

ABSTRACT

We prove new explicit inapproximability results for the Vertex Cover Problem on the Power Law Graphs and some functional generalizations of that class of graphs. Our results depend on special bounded degree amplifier constructions for those classes of graphs and could be also of independent interest.

研究の動機と目的

• パワー則グラフにおける Min-VC の既知の近似上界と近似不能性下界の間のギャップを埋める。
• 従来の非連結な (α, β)-PLG マルチグラフへの近似不能性結果を連結な (α, β)-PLG マルチグラフに拡張する。
• f(n) が急速に増加する関数的パワー則次数分布（β = 1 ± 1/f(n)）における Min-VC の難易度を分析する。
• (α, β)-PLG の構造的性質に特化した、新たな有界次数増幅器の構成法を開発する。
• 連結および関数的 PLG クラスにおける Min-VC の明示的・定量的近似不能性要因を確立する。

提案手法

• ホイールに基づくグラフ構成を用いて、(α, β)-PLG へのマルチグラフ埋め込みにより特別な有界次数増幅器を構築する。
• 区間サイズ推定技術を用いて、β = 1 ± 1/f(n) の (α, β)-PLG におけるノード次数分布を分析する。
• 次数列の漸近的解析と丸め誤差推定を用いて、特定の次数区間内のノード数を評価する。
• Min-VC_d の難易度が高いインスタンスから (α, β)-PLG への還元を適用し、近似比のギャップを保持する。
• 区間 [x∆, y∆] および (y∆, z∆] のサイズ推定を活用して補助グラフを埋め込み、難易度を維持する。
• f(n) = ω(log n) を用いて、次数区間推定の収束を保証し、漸近的正しさを維持する。

実験結果

リサーチクエスチョン

• RQ1 0 < β < β_max ≈ 2.48 の連結 (α, β)-PLG マルチグラフにおいて Min-VC は APX-ハードか？
• RQ2 f(n) = ω(log n) のとき β = 1 ± 1/f(n) である関数的パワー則グラフにおいて、Min-VC の明示的近似不能性下界を確立できるか？
• RQ3 非連結 PLG における難易度結果は連結ケースに拡張可能か？
• RQ4 β が定数ではなく n の関数である (α, β)-PLG における Min-VC の正確な近似比下界は何か？
• RQ5 0 < β < β_max のとき、同じ難易度結果が β = β ± 1/f(n) に拡張可能か？

主な発見

• 連結 (α, β)-PLG マルチグラフにおける Min-VC は 0 < β < β_max ≈ 2.48 の範囲で APX-ハードである。
• f(n) = ω(log n) で β = 1 − 1/f(n) のとき、Min-VC は近似比 1 + ϵ_d / (1 + 2d) 以内に近似できない。ここで ϵ_d は Min-VC_d の近似不能性比である。
• f(n) = ω(log n) で β = 1 + 1/f(n) のとき、同じ近似不能性比 1 + ϵ_d / (1 + 2d) が成り立つ。
• β = 1 ± 1/f(n) の (α, β)-PLG におけるノード数 |[1, ∆f]| は、(1 ± o(1)) · α · e^α を満たす。
• x = e^{-(1−c')α}, y = e^{-(1−c)α} の区間 [x∆f, y∆f] のサイズは、(1 ± o(1)) · |[1, ∆f]| に等しい。
• z = e^{-(1−c'')α} の区間 (y∆f, z∆f] に含まれるノード数は o(|Gα,βf|) であり、補助グラフの埋め込みと難易度の維持に十分である。