[論文レビュー] On domination perfect graphs

Jerzy Topp, Paweł Żyliński|arXiv (Cornell University)|Feb 10, 2018

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

ひとこと要約

この論文は、任意の非自明な誘導連結部分グラフ $H$ に対して支配数 $\gamma(H)$ と被覆数 $\beta(H)$ が等しい連結で非自明なグラフ、すなわち $γ\beta$-perfect グラフの特徴付けを提供する。著者は、基本的なグラフ理論的考察と部分グラフの最小性の原則を用いて、支配と頂点被覆の完全性に関する先行研究を統合し、このようなグラフが直径4以下の木、または $K_{2,n}$ の連結部分グラフであることを証明する。

ABSTRACT

Let $γ(G)$ and $β(G)$ denote the domination number and the covering number of a graph $G$, respectively. A connected non-trivial graph $G$ is said to be $γβ$-{perfect} if $γ(H)=β(H)$ for every non-trivial induced connected subgraph $H$ of $G$. In this note we present an elementary proof of a characterization of the $γβ$-perfect graphs.

研究の動機と目的

• すべての非自明な誘導連結部分グラフ $H$ に対して支配数 $\gamma(H)$ と被覆数 $\beta(H)$ が等しいグラフを特徴付けること。
• 先行研究[1]および[3]における $γ\beta$-perfect グラフに関する結果を統合し、素朴な証明を提供すること。
• 連結グラフがすべての誘導部分グラフにおいて $\gamma$ と $\beta$ が等しくなるための必要十分条件を確立すること。
• 特定の部分グラフ $C_3$、$C_5$、$P_6$ を除外することで、このようなグラフの構造を解明し、直径 ≤4 の木または $K_{2,n}$ の部分グラフに限ることを示すこと。

提案手法

• 命題1を用いて基本ケースを確立：直径 ≤4 のすべての非自明な木、および $K_{2,n}$ のすべての連結部分グラフは $γ\beta$-perfect である。
• 命題2を適用：連結なスパニング部分グラフ $F$ が $\gamma(F) < \beta(F)$ を満たすならば、$H$ は $γ\beta$-perfect ではない。
• 背理法を用いて、$G$ が $γ\beta$-perfect であるならば、$C_3$、$C_5$、$P_6$ が部分グラフ（すなわち誘導部分グラフとしても）を含んではならないことを示す。
• サイクルを含むグラフの構造を分析し、任意のサイクルは弦のない4サイクル（$C_4$）でなければならないこと、かつ他のすべての頂点は2つの指定された頂点にのみ隣接していること、したがって $K_{2,n}$ 構造に帰着することを示す。
• $P_6$ が部分グラフとして存在しないことにより、近傍構造が制限され、$C_4$ の外側のすべての頂点がサイクルの2つの非隣接頂点にのみ隣接していることを証明する。
• 極値グラフ理論の考察を適用：$G$ が $C_3$、$C_5$、$P_6$ を含まないならば、その構造は直径 ≤4 の木または $K_{2,n}$ の部分グラフに限られる。

実験結果

リサーチクエスチョン

• RQ1 どの連結グラフが、すべての非自明な誘導連結部分グラフ $H$ に対して $\gamma(H) = \beta(H)$ を満たすか？
• RQ2 支配数と頂点被覆数がすべての誘導部分グラフで等しいことを保証するため、グラフが満たすべき構造的性質は何か？
• RQ3 $C_3$、$C_5$、$P_6$ がなぜ $γ\beta$-perfect グラフから除外されるのか、そしてそれらの存在がそのクラスをどのように特徴付けるのか？
• RQ4 禁止部分グラフと構造的制約によって、$γ\beta$-perfect グラフのクラスを完全に記述できるか？
• RQ5 過去の研究結果を統合する統一的で素朴な特徴付けが、$γ\beta$-perfect グラフに対して存在するか？

主な発見

• 連結で非自明なグラフ $G$ が $γ\beta$-perfect であるための必要十分条件は、$G$ が直径4以下の木、またはある $n \geq 2$ に対して $K_{2,n}$ の連結部分グラフであることである。
• $C_3$、$C_5$、$P_6$ は $γ\beta$-perfect ではなく、これらが部分グラフ（誘導部分グラフとしても）に含まれるならば、$γ\beta$-perfect 条件が破られる。
• グラフ $H$ が $\gamma(F) < \beta(F)$ を満たす連結スパニング部分グラフ $F$ を含むならば、$H$ は $γ\beta$-perfect ではない。この性質は $P_6$ が部分グラフとして許されないことを示すのにも用いられる。
• $γ\beta$-perfect グラフ内の任意のサイクルは、弦のない4サイクル（$C_4$）でなければならない。また、それ以外のすべての頂点は、このサイクルの2つの非隣接頂点にのみ隣接している。
• $P_6$ が部分グラフとして存在しないことにより、$C_4$ の外側のすべての頂点の近傍は2頂点集合に含まれるよう制限され、結果として $K_{2,n}$ 構造が得られる。
• この特徴付けはタイトである：条件を満たすすべてのグラフは、直径 ≤4 の木、または $K_{2,n}$ の部分グラフであり、逆にそれらすべてのグラフは $γ\beta$-perfect である。