[論文レビュー] Polynomial kernelization for removing induced claws and diamonds

Marek Cygan, Marcin Pilipczuk+3 more|Warwick Research Archive Portal (University of Warwick)|Mar 2, 2015

Advanced Graph Theory Research参考文献 14被引用数 5

ひとこと要約

本稿では、{claw,diamond}-free エッジ削除問題に対する多項式カーネル化を提示している。すべての誘導部分グラフとしてのclawとdiamondを削除するために高々k個のエッジを削除する問題は、kの多項式関数としてのサイズを持つ同値なインスタンスに還元可能であることを示している。この手法は、{claw,diamond}-free グラフが三角形を含まないグラフの線グラフとして特徴付けられることを利用し、モジュレータに基づく還元とエッジ削除のケース解析を用いることでカーネル化を達成している。

ABSTRACT

A graph is called (claw,diamond)-free if it contains neither a claw (a $K_{1,3}$) nor a diamond (a $K_4$ with an edge removed) as an induced subgraph. Equivalently, (claw,diamond)-free graphs can be characterized as line graphs of triangle-free graphs, or as linear dominoes, i.e., graphs in which every vertex is in at most two maximal cliques and every edge is in exactly one maximal clique. In this paper we consider the parameterized complexity of the (claw,diamond)-free Edge Deletion problem, where given a graph $G$ and a parameter $k$, the question is whether one can remove at most $k$ edges from $G$ to obtain a (claw,diamond)-free graph. Our main result is that this problem admits a polynomial kernel. We complement this finding by proving that, even on instances with maximum degree $6$, the problem is NP-complete and cannot be solved in time $2^{o(k)}\cdot |V(G)|^{O(1)}$ unless the Exponential Time Hypothesis fail

研究の動機と目的

• 2013年の Workshop on Kernels (WorKer) 以降未解決であった {claw,diamond}-free エッジ削除問題のパラメータ化計算複雑性を解明すること。
• エッジ変更問題においてはレアであるが、このエッジ削除問題が多項式カーネルを有するかどうかを確立すること。
• 両方の構造的禁止部分グラフ（clawとdiamond）を含まない単純なケースを分析することで、より一般的な {claw-free} エッジ削除問題を扱うための構造的基盤を提供すること。
• 線グラフ関連問題のカーネル化の可能性を検討すること。特に、{claw,diamond}-free グラフが持つより単純な禁止部分グラフ構造を活用すること。

提案手法

• 著者らは、グラフを {claw,diamond}-free にするために高々4k個の頂点からなる集合Xを同定するモジュレータに基づくアプローチを用いる。
• {claw,diamond}-free グラフが三角形を含まないグラフの線グラフとして特徴付けられ、また線形ドミノとしても特徴付けられることを活用し、エッジとクリークの関係を構造的に分析する。
• 主な技術として、エッジ削除後のグラフ内でのclawの位置の可能性をケース別に分析し、特に次数が高い頂点や特定の近傍構造を持つ頂点に注目する。
• 局所的な構成に基づいてエッジを収縮または削除する還元規則を用い、カーネル内に残るエッジ数が有界であることを保証する。
• 構造的制約と組み合わせて、スフォーラ・レムマに基づく議論を用いて、カーネルサイズがkの多項式関数で有界であることを示す。
• 特定のエッジ削除パターンがclawを保存できないことを示す背理法による議論を含み、カーネル化規則の正当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 {claw,diamond}-free エッジ削除問題は多項式カーネルを有するか？
• RQ2 {claw,diamond}-free グラフの構造的性質を活用して効率的なカーネル化規則を設計できるか？
• RQ3 一般にエッジ変更問題が困難であるにもかかわらず、この問題は多項式カーネルを有する固定パラメータ可 tractable であるか？
• RQ4 結果をより一般的な {claw-free} エッジ削除問題に拡張できるか？
• RQ5 指数時間仮説（ETH）の下で、この問題のパラメータ化計算複雑性はいかなるものか？

主な発見

• {claw,diamond}-free エッジ削除問題は多項式カーネルを有し、カーネルサイズはパrameter kの多項式関数で有界である。
• 最大次数6のグラフに対してもこの問題はNP完全であるため、強い計算困難性が示された。
• Exponential Time Hypothesis が成立しない限り、この問題は 2^o(k) · |V(G)|^O(1) 時間で解けない。これは、自明な 5^k 分岐アルゴリズムが本質的に最適であることを示している。
• 三角形を含まないグラフの線グラフとしての {claw,diamond}-free グラフの構造的特徴付けが、洗練されたカーネル化フレームワークを可能にした。
• 証明技法は、より複雑な {claw-free} エッジ削除問題を扱うためのツールボックスを提供し、特にグラフが線グラフである場合に有効である。
• 結果から、関連する線グラフエッジ削除問題においても多項式カーネルが存在する可能性が示唆されるが、一般ケースでは禁止部分グラフの集合がより大きいため、より複雑である。