[論文レビュー] Solving the clique cover problem on (bull, $C_4$)-free graphs

Kathie Cameron, Chı́nh T. Hoàng|arXiv (Cornell University)|Apr 2, 2017

Advanced Graph Theory Research参考文献 12被引用数 4

ひとこと要約

本稿では、(bull, C₄)-freeなグラフにおける最小クランイ・カバーを計算するO(n⁴)の多項式時間アルゴリズムを提示する。このアルゴリズムは、端末1点カットセットと還元可能性を用いた構造的分解に依存している。主な貢献は、このクラスにおいてクランイ・カバー問題を多項式時間で解けることであり、これは補グラフクラスである(bull, 2K₂)-freeグラフにおける3色彩色に等価である。

ABSTRACT

We give an $O(n^4)$ algorithm to find a minimum clique cover of a (bull, $C_4$)-free graph, or equivalently, a minimum colouring of a (bull, $2K_2$)-free graph, where $n$ is the number of vertices of the graphs.

研究の動機と目的

• (bull, C₄)-freeグラフにおける最小クランイ・カバー問題の多項式時間アルゴリズムの開発を目的とする。
• チョードラルおよび基本的グラフに関する既知の結果を、禁止部分グラフを含むより広いクラスのグラフへと拡張することを目的とする。
• (bull, house)-freeおよびキャップフリー・グラフにおけるクランイ・カバーの計算複雑性に関する未解決問題を、構造的性質の分析を通じて解決することを目的とする。
• 頂点支配、1点カットセット、および三角形を含まない部分グラフにおけるマッチングに基づくクランイ・カバーに依存する構成的アルゴリズムを提供することを目的とする。
• ATフリー・グラフにおける多項式時間彩色の長年の未解決問題に貢献するため、重要な部分クラスを解くこと。

提案手法

• 頂点支配による削減：頂点xがyを支配する場合、クランイ・カバー数に変更を加えずにxを削除する。
• 構造的分解の適用：グラフが還元不能であり基本的でない場合、端末1点カットセットを含む必要がある。
• 端末1点カットセットvに対して、Gᵢ = G[Cᵢ ∪ {v}]とし、Gᵢが三角形を含まないことを分析する。
• 最大マッチングm(Gᵢ)とm(Gᵢ − v)を計算し、vがシングルトンとしてカバー可能かどうかを判断する。
• 再帰的分解の利用：m(Gᵢ) = m(Gᵢ − v)ならばθ(G) = θ(G′) + θ(Gᵢ − v)；さもなければθ(Gᵢ) = θ(Gᵢ − v)。
• 最大n個の頂点に対して動的再帰を適用し、効率的なマッチング計算とカットセット検出により、O(n⁴)の時間計算量を保証する。

実験結果

リサーチクエスチョン

• RQ1 (bull, C₄)-freeグラフにおいて、最小クランイ・カバー問題は多項式時間で解けるか？
• RQ2 (bull, C₄)-freeグラフのどの構造的性質が、クランイ・カバー問題の多項式時間解法を可能にするか？
• RQ3 端末1点カットセットと還元可能性は、再帰的クランイ・カバー・アルゴリズムの設計にどのように影響するか？
• RQ4 本アルゴリズムは、ATフリー・グラフの彩色に関する広範な未解決問題にどの程度貢献するか？
• RQ5 本結果を踏まえて、(bull, house)-freeまたはキャップフリー・グラフにおけるクランイ・カバー問題は tractable か？

主な発見

• (bull, C₄)-freeグラフにおける最小クランイ・カバーを計算するO(n⁴)のアルゴリズムが提示された。
• アルゴリズムは頂点支配による削減と、端末1点カットセットを用いた再帰的分解により問題を縮小する。
• 端末1点カットセットvによって誘導される各成分Gᵢについて、vがシングルトンとしてカバー可能かどうか、または2サイズのクランイに属する必要があるかをマッチング比較により確認する。
• 時間計算量はO(n⁴)で抑えられ、これはO(n)回の再帰的ステップ、各ステップでO(nm)のカットセットチェック、およびO(√n m)のマッチング計算に起因する。
• 本結果により、(bull, 2K₂)-freeグラフの彩色数がO(n⁴)時間で計算可能であることが示唆され、これは補グラフにおけるクランイ・カバー問題と等価である。
• アルゴリズムは、このクラスにおけるクランイ・カバー問題が多項式時間で解けることを確認し、ATフリー・グラフの彩色に関する未解決問題に貢献する。