[論文レビュー] Lower Bounds on the Distance Domination Number of a Graph

Randy Davila, Caleb C. Fast+2 more|arXiv (Cornell University)|Jul 31, 2015

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

ひとこと要約

本稿は、グラフ G の k-支配数 γₖ(G) について、直径、半径、および周長を用いて新たな下界を確立する。連結なグラフ G と H に対して、それらの直積の k-支配数が γₖ(G×H) ≥ γₖ(G) + γₖ(H) − 1 を満たすことを示し、その証明には、積グラフにおける支配集合と因子グラフにおける支配集合を結ぶ新しい射影補題を用いる。

ABSTRACT

For an integer $k \ge 1$, a (distance) $k$-dominating set of a connected graph $G$ is a set $S$ of vertices of $G$ such that every vertex of $V(G) \setminus S$ is at distance at most~$k$ from some vertex of $S$. The $k$-domination number, $γ_k(G)$, of $G$ is the minimum cardinality of a $k$-dominating set of $G$. In this paper, we establish lower bounds on the $k$-domination number of a graph in terms of its diameter, radius and girth. We prove that for connected graphs $G$ and $H$, $γ_k(G imes H) \ge γ_k(G) + γ_k(H) -1$, where $G imes H$ denotes the direct product of $G$ and $H$.

研究の動機と目的

• 直径、半径、および周長などの基本的なグラフパラメータを用いて、グラフの k-支配数 γₖ(G) に対する新たな下界を導出すること。
• 既知の支配数に関する結果を k-支配数の設定に拡張することで、グラフの直積における k-支配数の挙動を調査すること。
• 直積グラフ G×H における支配集合と因子グラフ G および H における支配集合を結ぶ射影補題を確立すること。
• γₖ(G) および γₖ(H) を用いて γₖ(G×H) の下界を証明することにより、標準支配数に関する既知の不等式を k-支配数の文脈に一般化すること。

提案手法

• k-支配集合および k-支配数 γₖ(G) の概念を導入する。ここで、G の任意の頂点が支配集合内の頂点から距離 k 以内にあることを意味する。
• 頂点が両方のグラフ G および H で隣接する場合にのみ辺が存在する、直積グラフ G×H を用いる。
• 射影補題を発展・証明する：G×H における k-支配集合 D に対して、その G および H への射影 P_G(D) と P_H(D) は、それぞれ G および H における k-支配集合である。
• 背理法を用いて下界 γₖ(G×H) ≥ γₖ(G) + γₖ(H) − 1 を確立する。より小さい支配集合が存在すると仮定し、距離に関する議論により矛盾を導く。
• G および H における構造的グラフ理論および距離の性質を応用し、射影において k-支配されない頂点が、積グラフでは依然として k-支配されることを示し、矛盾に至る。
• Meir-Moon や Tian-Xu の既知の結果を活用し、新しい下界を文脈づける。

実験結果

リサーチクエスチョン

• RQ1 k-支配数 γₖ(G) は、グラフの直径、半径、および周長とどのように関係するか？
• RQ2 2つのグラフの直積における k-支配数の挙動はいかなるものか？
• RQ3 標準支配数に関する不等式 γ(G×H) ≥ γ(G) + γ(H) − 1 は、k-支配数の文脈に一般化可能か？
• RQ4 直積グラフ G×H のどのような構造的性質が、積における k-支配集合と因子における k-支配集合との関係を保証するか？
• RQ5 下界 γₖ(G×H) ≥ γₖ(G) + γₖ(H) − 1 において、等号が成立する条件は何か？

主な発見

• 本稿は、一般の下界を確立する：任意の連結グラフ G および H に対して、γₖ(G×H) ≥ γₖ(G) + γₖ(H) − 1 が成り立つ。
• 証明は、G×H における任意の k-支配集合の射影が、それぞれの因子グラフ G や H における k-支配集合を生成することを示す、新しい射影補題に依存する。
• この下界は、等号が達成可能に近づけるという意味でタイトであり、証明の構造が積グラフにおけるより小さい k-支配集合の存在を防いでいる。
• この結果は、k=1 の場合の標準支配数に関する既知の不等式を k-支配数の文脈に一般化し、その適用範囲を拡張する。
• 著者らは、直積における因子グラフの k-支配数に対して、グラフの k-支配数が任意に小さくはならないことを示している。
• 解析により、直積グラフの構造的制約が、成分の k-支配数に基づいて、k-支配集合の最小サイズを強制することが明らかになった。