[論文レビュー] Exploiting c-Closure in Kernelization Algorithms for Graph Problems

Tomohiro Koana, Christian Komusiewicz+1 more|arXiv (Cornell University)|Jan 1, 2020

Complexity and Algorithms in Graphs被引用数 8

ひとこと要約

この論文は、入力グラフのc-閉包をパrameterとして用いた、古典的なNP困難なグラフ問題—支配集合、誘導マッチング、非冗長集合—のカーネル化アルゴリズムを導入する。著者たちは、c-閉グラフにおけるラマージ数の新しい多項式バウンドを活用することで、それぞれk^O(c)、O(c⁷k⁸)、O(c^{5/2}k³)のカーネルサイズを達成し、c-閉包が固定パラメータ可 tractability にとって強力な構造的パrameterであることを示している。

ABSTRACT

A graph is c-closed if every pair of vertices with at least c common neighbors is adjacent. The c-closure of a graph G is the smallest number c such that G is c-closed. Fox et al. [SIAM J. Comput. '20] defined c-closure and investigated it in the context of clique enumeration. We show that c-closure can be applied in kernelization algorithms for several classic graph problems. We show that Dominating Set admits a kernel of size k^𝒪(c), that Induced Matching admits a kernel with 𝒪(c⁷ k⁸) vertices, and that Irredundant Set admits a kernel with 𝒪(c^{5/2} k³) vertices. Our kernelization exploits the fact that c-closed graphs have polynomially-bounded Ramsey numbers, as we show.

研究の動機と目的

• c-閉包を構造的パrameterとして用いて、古典的グラフ問題の効率的なカーネル化アルゴリズムを開発すること。
• c-閉包がグラフにおいて多項式的バウンドを持つラマージ数をもたらすことを示し、これがカーネルサイズの制御の鍵となること。
• c-閉包が、従来の測度（例：退化度や木幅）に代わるか、それらと併用して、固定パラメータ可 tractability に実用的かつ効果的なパrameterとして機能することを示すこと。
• 最大次数∆などのパrameterと比較して、c-閉包がカーネル化において置き換えられたり、改善されたりする可能性があるかを示すこと。

提案手法

• c-閉グラフが多項式的バウンドを持つラマージ数を有することを証明する。具体的には、s,t ≥ 2 に対して R(s,t) ∈ O(c^{s/2} t) が成り立つこと。
• このラマージバウンドをコアとなる構造的道具として用い、解の同値性を保ちつつインスタンスを縮小する還元規則を設計する。
• 頂点被覆問題に線形計画法（LP）緩和を適用し、c-閉包の性質と組み合わせることで、誘導マッチング問題に対するO(c⁷k⁸)頂点のカーネルを得る。
• c-閉包の性質を活用する還元規則（例：同一の閉近傍を持つ単体的頂点の削除）を設計・検証する。
• 還元規則の反復的適用と構造的解析（例：最大クリークや誘導マッチング）を用いて、カーネルサイズの上限を導出する。
• c-閉グラフでは、多くの共通の隣接頂点を持つ頂点同士が頻繁に隣接している傾向があることを利用し、効率的なデータ削減を可能にする。

実験結果

リサーチクエスチョン

• RQ1 c-閉包を用いて、支配集合や誘導マッチングといった基本的グラフ問題に対して多項式カーネルを設計できるか？
• RQ2 パrameter cとkでパrameter化された場合、これらの問題に対して達成可能な最小のカーネルサイズは何か？
• RQ3 c-閉グラフのラマージ数は一般のグラフとどのように異なるか？この差異はアルゴリズム的に利用可能か？
• RQ4 c-閉包は、最大次数や退化度といった従来のパrameterを置き換えたり、それらを改善したりできるか？

主な発見

• 支配集合はカーネルサイズk^O(c)を達成でき、これはcの指数において漸近的に最適である。
• 誘導マッチングは、LP緩和とc-閉包の性質を組み合わせることで、O(c⁷k⁸)頂点のカーネルを得た。
• 非冗長集合は、ラマージ数の境界と誘導マッチング構造に依存して、O(c^{5/2}k³)頂点のカーネルを得た。
• c-閉包パラメータにより、c-閉グラフにおいて多項式的バウンドを持つラマージ数が得られ、具体的にはR(s,t) ∈ O(c^{s/2} t)である。これは重要な理論的貢献である。
• 還元規則6.1—同一の閉近傍を持つ単体的頂点の削除—は解の同値性を保ち、非冗長集合のカーネルにおいて中心的な役割を果たす。
• 結果から、c-閉包は、特に∆や退化度が大きい場合に、固定パラメータアルゴリズムにおける実用的かつ強力な補助的パrameterであることが示された。