[論文レビュー] On graphs with no induced subdivision of $K_4$

Benjamin Lévêque, Frédéric Maffray+1 more|arXiv (Cornell University)|Sep 8, 2013

Advanced Graph Theory Research参考文献 22被引用数 33

ひとこと要約

本稿では、$K_4$ の誘導部分分割を含まないグラフの分解定理を提示し、このようなグラフが系列並列グラフ、最大次数3のグラフのライングラフ、または特定のカットセットを許容するものであることを示している。さらに、$K_4$ の部分分割とホイールの両方を除外するグラフについて構造定理を確立し、3色可能であり、カットセットに基づく分解と構造的特徴付けを用いて多項式時間で認識可能であることを証明している。

ABSTRACT

We prove a decomposition theorem for graphs that do not contain a subdivision of $K_4$ as an induced subgraph where $K_4$ is the complete graph on four vertices. We obtain also a structure theorem for the class $\cal C$ of graphs that contain neither a subdivision of $K_4$ nor a wheel as an induced subgraph, where a wheel is a cycle on at least four vertices together with a vertex that has at least three neighbors on the cycle. Our structure theorem is used to prove that every graph in $\cal C$ is 3-colorable and entails a polynomial-time recognition algorithm for membership in $\cal C$. As an intermediate result, we prove a structure theorem for the graphs whose cycles are all chordless.

研究の動機と目的

• 誘導部分分割としての $K_4$ を含まないグラフの構造的分解定理を提供すること。
• $K_4$ の部分分割とホイールの両方を除外するグラフのクラスを特徴付け、その3色可能性を証明すること。
• $K_4$ の部分分割とホイールの両方を除外するグラフのクラスの多項式時間認識アルゴリズムを開発すること。
• 構造的分解を用いて、このようなグラフの効率的な3色塗り分けのフレームワークを確立すること。

提案手法

• 本稿は、クリークカットセット、適切な2カットセット、スターカットセット、二重スターカットセットに基づく再帰的分解アプローチを用いる。
• 基本的なグラフクラス（系列並列グラフ、最大次数3のグラフのライングラフ、完全二部グラフ、および特定のライングラフ）を構築のブロックとして特定する。
• 最大部分グラフに関する帰納法を用いて証明を進める。$K_{3,3}$、プラズム、および八面体のような基本的構造へのアタッチメントを分析する。
• 耳分解と構造的分析を適用し、2連結な輪のないグラフが次数が2以下の頂点を持つことを示す。
• 適切な2カットセットとクリークカットセットを用いて分解木を構築し、葉のスパarsenessと色可能性を分析する。
• 再帰的にグラフを分解し、部分グラフからの色塗りを組み合わせることで、認識と色塗りのアルゴリズムを設計する。

実験結果

リサーチクエスチョン

• RQ1 誘導部分分割としての $K_4$ を含まないグラフの構造的特徴は何か？
• RQ2 $K_4$ の部分分割とホイールの両方を除外するグラフのクラスは多項式時間で認識可能か？
• RQ3 $K_4$ の部分分割とホイールの両方を除外するグラフのクラスに属するすべてのグラフは3色可能か？
• RQ4 適切な2カットセットやスターカットセットなどの特定のカットセットは、$K_4$-部分分割自由グラフの分解において果たす役割は何か？

主な発見

• すべての ISK4-自由グラフは、系列並列グラフ、最大次数3のグラフのライングラフ、またはクリークカットセット、適切な2カットセット、スターカットセット、または二重スターカットセットを許容する。
• $K_4$ の部分分割とホイールの両方を除外するグラフのクラスは、正確に $K_4$ も、ホイールの部分分割も誘導部分グラフとして含まないグラフのクラスに一致する。
• $K_4$ の部分分割とホイールの両方を除外するグラフのクラスに属するすべてのグラフは3色可能であり、3色塗りは多項式時間で計算可能である。
• このクラスの認識アルゴリズムは、カットセット分解と葉の分析を用いて $O(n^2m)$ 時間で実行可能である。
• 輪のないグラフ（輪付きサイクルを含まないグラフ）は3色可能であり、線形時間で色塗り可能である。
• 認識と色塗りプロセスのための分解木のサイズは $O(n)$ であり、効率的なアルゴリズム実装を保証する。