[論文レビュー] On 2K2-free graphs - Structural and Combinatorial View

S. Dhanalakshmi, N. Sadagopan+1 more|arXiv (Cornell University)|Feb 11, 2016

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

ひとこと要約

本稿は、2K₂-free 図において最小頂点分離集合の構造的特徴を提供し、それらが多項式個に抑えられることを証明する。これにより、最小連結頂点分離集合、フィードバック頂点集合、および最大独立集合の列挙といった、一般の図ではNP困難であるが、このクラスでは tractable な問題に対して多項式時間アルゴリズムを開発する。

ABSTRACT

A connected graph is 2K2-free if it does not contain a pair of independent edges as an induced subgraph. In this paper, we present the structural characterization of minimal vertex separator and show that there are polynomial number of minimal vertex separators in 2K2-free graphs. Further, using the enumeration we show that finding minimum connected vertex separator in 2K2-free graphs is polynomial time solvable. We highlight that finding minimum connected vertex separator is NP-complete in Chordality 5 graphs, which is a super graph class of 2K2-free graphs. Other study includes, enumeration of all distinct maximal independent sets and testing 2K2-free graphs. Also, we present an polynomial time algorithm for feedback vertex set problem in the subclass of 2K2-free graphs.

研究の動機と目的

• 2K₂-free 図における最小頂点分離集合の構造的特徴を提供すること。
• 2K₂-free 図における最小頂点分離集合の数が多項式的に有界であることを示すこと。
• 2K₂-free 図に制限されたNP困難問題（最小連結頂点分離集合やフィードバック頂点集合など）に対する多項式時間アルゴリズムを開発すること。
• 2K₂-free 図におけるすべての最大独立集合を効率的に列挙するアルゴリズムを提示すること。
• 最小連結頂点分離集合が多項式時間で解ける非自明な弦的5次元グラフのクラスの最初の例を同定すること。

提案手法

• 特に誘導部分グラフと成分分解に注目して、2K₂-free 図における最小頂点分離集合の構造的性質を特徴付ける。
• 禁止された誘導部分グラフ条件を活用して、2K₂-free 図における最小頂点分離集合が独立集合であることを証明する。
• 最小分離集合の多項式的有界性を活用して、多項式時間での列挙アルゴリズムを設計する。
• フィードバック頂点集合問題を誘導部分グラフにおける成分解析と経路長制約に還元する。
• 構造的分解とサイクル解析に基づいて、最小フィードバック頂点集合を線形時間で計算するアルゴリズムを構築する。
• 構造的洞察を応用して、分離集合に基づく列挙により3色可能性問題と最大独立集合の列挙を解く。

実験結果

リサーチクエスチョン

• RQ1 2K₂-free 図における最小頂点分離集合の構造的性質は何か？
• RQ2 2K₂-free 図に存在しうる最小頂点分離集合の数はどの程度で、効率的に列挙可能か？
• RQ3 弦的5次元グラフにおいてNP困難であるにもかかわらず、2K₂-free 図では最小連結頂点分離集合問題が多項式時間で解けるか？
• RQ4 2K₂-free 図においてフィードバック頂点集合問題が多項式時間で解けるか。その背後にある構造的性質は何か？
• RQ5 最大独立集合をすべて列挙する効率的なアルゴリズムは存在するか。特に、それ以前に明示的なアルゴリズムが存在しなかったにもかかわらず。

主な発見

• 任意の2K₂-free 図における最小頂点分離集合の数は多項式的に有界である。
• 2K₂-free 图示におけるすべての最小頂点分離集合を列挙する多項式時間アルゴリズムが存在する。
• 最小連結頂点分離集合問題は2K₂-free 図において多項式時間で解ける。これは、弦的5次元グラフの非自明なクラスでこれが初めて知られた例である。
• 2K₂-free 図の部分クラスにおいて、最小フィードバック頂点集合を計算するO(n)時間のアルゴリズムが提示された。
• 2K₂-free 図におけるすべての最大独立集合を列挙する多項式時間アルゴリズムが開発された。
• 提案されたMIS列挙アプローチを用いることで、一般のグラフではNP完全であるにもかかわらず、3色可能性問題が多項式時間で解ける。