[論文レビュー] A new characterization of $P_k$-free graphs

Eglantine Camby, Oliver Schaudt|Kölner Universitäts PublikationsServer (Universität zu Köln)|Feb 28, 2014

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

ひとこと要約

本稿では、任意の連結な$P_k$-freeグラフ（$k \geq 4$）が、誘導部分グラフが$P_{k-2}$-freeであるか、$P_{k-2}$に同型である最小連結支配集合をもつことにより、$P_k$-freeグラフの新しい構造的特徴付けを提示する。この結果により、このような集合を構成的に計算するアルゴリズムが得られ、$P_k$-freeグラフの新たな同値特徴付けが導かれる。特に$k=7$の場合は未解決であった問題を解決し、$P_7$-freeなインシデントグラフをもつハイパーグラフの2色分け問題が多項式時間で解けることを示す。

ABSTRACT

The class of graphs that do not contain an induced path on $k$ vertices, $P_k$-free graphs, plays a prominent role in algorithmic graph theory. This motivates the search for special structural properties of $P_k$-free graphs, including alternative characterizations. Let $G$ be a connected $P_k$-free graph, $k \ge 4$. We show that $G$ admits a connected dominating set whose induced subgraph is either $P_{k-2}$-free, or isomorphic to $P_{k-2}$. Surprisingly, it turns out that every minimum connected dominating set of $G$ has this property. This yields a new characterization for $P_k$-free graphs: a graph $G$ is $P_k$-free if and only if each connected induced subgraph of $G$ has a connected dominating set whose induced subgraph is either $P_{k-2}$-free, or isomorphic to $C_k$. This improves and generalizes several previous results; the particular case of $k=7$ solves a problem posed by van 't Hof and Paulusma [A new characterization of $P_6$-free graphs, COCOON 2008]. In the second part of the paper, we present an efficient algorithm that, given a connected graph $G$ on $n$ vertices and $m$ edges, computes a connected dominating set $X$ of $G$ with the following property: for the minimum $k$ such that $G$ is $P_k$-free, the subgraph induced by $X$ is $P_{k-2}$-free or isomorphic to $P_{k-2}$. As an application our results, we prove that Hypergraph 2-Colorability, an NP-complete problem in general, can be solved in polynomial time for hypergraphs whose vertex-hyperedge incidence graph is $P_7$-free.

研究の動機と目的

• 連結支配集合の誘導部分グラフを分析することにより、$k \geq 4$の$P_k$-freeグラフの新しい構造的特徴付けを提供すること。
• van ’t HofとPaulusmaが提起した、$P_7$-freeグラフに対するより鋭い特徴付けに関する未解決問題を解決すること。
• $P_k$-freeグラフにおいて、誘導部分グラフが$P_{k-2}$-freeであるか、$P_{k-2}$に同型であるような連結支配集合を計算する効率的なアルゴリズムを開発すること。
• 最小連結支配集合の構造的性質を活用して、既知の$P_k$-freeグラフに関するアルゴリズム的結果を拡張すること。
• 新しい特徴付けの適用可能性を示すために、$P_7$-freeなインシデントグラフをもつハイパーグラフの2色分け問題が多項式時間で解けることを証明すること。

提案手法

• 構造的グラフ理論的議論を用いて、任意の連結な$P_k$-freeグラフ（$k \geq 4$）において、最小連結支配集合が誘導する部分グラフが、$P_{k-2}$-freeであるか、$P_{k-2}$に同型であることを証明する。
• 最小連結支配集合の性質を用いて、新たな同値特徴付けを導出する：グラフ$G$が$P_k$-freeであることと、$G$の任意の連結な誘導部分グラフが、誘導部分グラフが$P_{k-2}$-freeであるか、$C_k$に同型であるような連結支配集合をもつことは同値である。
• 与えられた連結な$P_k$-freeグラフに対して、誘導部分グラフが$P_{k-2}$-freeであるか、$G[X] \cong P_{k-2}$であるような連結支配集合$X$を計算する構成的アルゴリズムを設計し、多項式時間で実行可能であることを示す。
• 特徴付けをハイパーグラフの2色分け問題に応用し、頂点とハイパーエッジのインシデントグラフが$P_7$-freeであれば、2色分けが多項式時間で決定可能であることを示す。
• 背理法と誘導パスおよび近傍の構造的解析を用いて、特定の2色分け仮定の下で$P_7$がインシデントグラフに存在しないことを主張を確立する。
• 既知の$P_6$-freeおよび$P_5$-freeグラフに関する結果（例えば、3色分けや$k$-色分けの多項式時間解法）を活用し、$P_6$-freeグラフへの拡張可能性および4色分けへの応用を示唆する。

実験結果

リサーチクエスチョン

• RQ1 連結支配集合の誘導部分グラフが$P_{k-2}$-freeであるか、$P_{k-2}$に同型であるという特徴付けは、完全二部グラフのスパニング部分グラフを持つよりも鋭くできるか？
• RQ2 $P_k$-freeグラフ（$k \geq 4$）におけるすべての最小連結支配集合が、誘導部分グラフが$P_{k-2}$-freeであるか、$P_{k-2}$に同型であるか？
• RQ3 $P_6$-freeグラフの特徴付けを$P_7$-freeグラフに拡張し、そのようなグラフ上でNP困難な問題に多項式時間アルゴリズムを適用可能にすることができるか？
• RQ4 新しい構造的特徴付けに基づき、頂点とハイパーエッジのインシデントグラフが$P_7$-freeであるハイパーグラフの2色分け問題が多項式時間で解けるか？
• RQ5 新しい特徴付けを用いて、$P_5$-freeおよび$P_6$-freeグラフに関する既知の多項式時間結果を$P_6$-freeグラフに拡張し、特に4色分け問題に応用可能か？

主な発見

• 任意の連結な$P_k$-freeグラフ（$k \geq 4$）は、誘導部分グラフが$P_{k-2}$-freeであるか、$P_{k-2}$に同型であるような最小連結支配集合をもつ。この構造的性質は、すべてのこのような最小集合に共通する。
• 新たな同値特徴付けが確立された：グラフ$G$が$P_k$-freeであることと、$G$の任意の連結な誘導部分グラフが、誘導部分グラフが$P_{k-2}$-freeであるか、$G[X] \cong C_k$であるような連結支配集合$X$をもつことは同値である。これは$k=5$および$k=6$の既存結果を一般化する。
• $P_k$-freeグラフにおいて、誘導部分グラフが$P_{k-2}$-freeであるか、$G[X] \cong P_{k-2}$であるような連結支配集合$X$を計算する効率的で多項式時間のアルゴリズムが提供された。ここで$k$は、$G$が$P_k$-freeであるような最小の値である。
• 新しい特徴付けの直接的応用として、頂点とハイパーエッジのインシデントグラフが$P_7$-freeであるハイパーグラフの2色分け問題が多項式時間で解けることが示された。
• $k=7$の結果により、van ’t HofとPaulusmaが提起した、$P_7$-freeグラフに対するより鋭い特徴付けに関する未解決問題が解決された。
• 最小連結支配集合が$P_k$-freeグラフにおいて$P_{k-2}$-freeまたは$P_{k-2}$に同型な誘導部分グラフをもつという構造的洞察は、$P_6$-freeおよび$P_7$-freeグラフへのアルゴリズム的結果の拡張の基盤を提供し、4色分け問題に対する多項式時間解法の可能性を示唆する。