[論文レビュー] (Sub)linear Kernels for Edge Modification Problems Towards Structured Graph Classes

Bathie, Gabriel, Bousquet, Nicolas+1 more|arXiv (Cornell University)|Jan 1, 2021

Advanced Graph Theory Research参考文献 24被引用数 1

ひとこと要約

この論文は、Clique + Independent Set Deletionに対して、O(k / log k)のカーネルサイズを達成する、グラフの辺変更問題における最初の既知のサブ線形カーネルを提示する。新しいラベル・アンド・リダクションカーネル化フレームワークを導入し、星型フォレストおよびセンター集合の構造的性質を活用して、頂点数と辺数を安全に削減する。線形カーネルが常に最適ではないことを証明し、指数時間仮説（ETH）の下でタイトな境界を確立する。

ABSTRACT

In a (parameterized) graph edge modification problem, we are given a graph $G$, an integer $k$ and a (usually well-structured) class of graphs $\mathcal{G}$, and ask whether it is possible to transform $G$ into a graph $G' \in \mathcal{G}$ by adding and/or removing at most $k$ edges. Parameterized graph edge modification problems received considerable attention in the last decades. In this paper, we focus on finding small kernels for edge modification problems. One of the most studied problems is the Cluster Editing problem, in which the goal is to partition the vertex set into a disjoint union of cliques. Even if this problem admits a $2k$ kernel [Cao, 2012], this kernel does not reduce the size of most instances. Therefore, we explore the question of whether linear kernels are a theoretical limit in edge modification problems, in particular when the target graphs are very structured (such as a partition into cliques for instance). We prove, as far as we know, the first sublinear kernel for an edge modification problem. Namely, we show that Clique + Independent Set Deletion, which is a restriction of Cluster Deletion, admits a kernel of size $O(k/\log k)$. We also obtain small kernels for several other edge modification problems. We prove that Split Addition (and the equivalent Split Deletion) admits a linear kernel, improving the existing quadratic kernel of Ghosh et al. [Ghosh et al., 2015]. We complement this result by proving that Trivially Perfect Addition admits a quadratic kernel (improving the cubic kernel of Guo [Guo, 2007]), and finally prove that its triangle-free version (Starforest Deletion) admits a linear kernel, which is optimal under ETH.

研究の動機と目的

• 辺変更問題が高構造的グラフクラスに適用される場合、線形カーネルが理論的限界であるかどうかを調査すること。
• 特に、ターゲットグラフがクリークや独立集合に分割される場合に、辺変更問題に対してサブ線形カーネルが可能かどうかを特定すること。
• Split Addition、Trivially Perfect Addition、Starforest Deletionといった既知の問題のカーネルサイズを改善すること。
• 指数時間仮説（ETH）の下で、カーネルサイズのタイトな境界を確立し、特定の結果の最適性を証明すること。

提案手法

• 最適解における星の中心候補としての頂点を特定・ラベル化する、ラベル・アンド・リダクションカーネル化フレームワークを提案する。
• 安全な削減ルールのシーケンスを適用する：(1) 1〜2頂点の自明な成分を削除、(2) 度数1の頂点に接続する頂点をセンター集合候補としてラベル化、(3) 非センター頂点とセンター候補間の冗長な辺を削除、(4) センター候補同士の辺を削除、(5) 全てのセンター候補を1つのスーパーノードに統合、(6) 度数1の頂点数をk+2に制限。
• 星型フォレストの構造的解析を用いて、正のインスタンスにおける度数1の頂点数の上限を導出する。m本の辺がある場合、少なくともm−3k個の度数1の頂点が存在することを示す。
• 最終的なカーネルサイズルールとして、|V(G)| > 4k+3 であれば自明な否定インスタンスを返す。これは、この境界を超えると有効な解が存在しえないという証明に依拠する。
• 最小次数およびサイクル/パス構造に基づく極値グラフ理論的議論を用いて、カーネル境界を精緻化し、定数を改善する。
• ETHに基づく下界を用いて、Starforest Deletionに対してサブ線形カーネルが不可能であることを示し、線形カーネルの最適性を証明する。

実験結果

リサーチクエスチョン

• RQ1 クラスターグラフやスプリットグラフのような構造的グラフクラスをターゲットとする辺変更問題に対して、サブ線形カーネルを達成できるか。
• RQ2 Cluster Editingの線形カーネルサイズ2kは理論的限界か、それとも構造的洞察によってより良いカーネルサイズが達成可能か。
• RQ3 ラベル・アンド・リダクションフレームワークは、高構造的ターゲットクラスを持つ他の辺変更問題へ一般化可能か。
• RQ4 Starforest Deletionの最適カーネルサイズは何か。ETHの下でサブ線形カーネルが達成可能か。
• RQ5 星型フォレストおよびセンター集合の構造的性質を活用して、安全かつ効率的な削減ルールを設計可能か。

主な発見

• 本論文は、Clique + Independent Set Deletionに対して、O(k / log k)のカーネルサイズを達成する、グラフの辺変更問題における最初の既知のサブ線形カーネルを提示する。
• Split Addition（およびSplit Deletion）は線形カーネルを有することが示され、以前の二次的カーネルより改善された。
• Trivially Perfect Additionは二次的カーネルを有することが証明され、以前の三次的カーネル結果より改善された。
• Starforest Deletionは、最大4k + 3の線形カーネルを有する。これは指数時間仮説（ETH）の下で最適である。
• 本論文は、ETHの下でStarforest Deletionに対してサブ線形カーネルが存在しないことを証明し、線形カーネルの最適性を確立した。
• センター集合のラベリングと安全なエッジ/頂点削減に基づくラベル・アンド・リダクションカーネル化フレームワークにより、複数の問題に対してタイトなカーネル境界の導出が可能となった。