[論文レビュー] On the Domination Number of Generalized Petersen Graphs P(ck,k)

Haoli Wang, Xirong Xu+2 more|arXiv (Cornell University)|Mar 12, 2011

Advanced Graph Theory Research被引用数 10

ひとこと要約

本稿は、$c \in \{4,5,6\}$ および $k \geq 1$ の一般化ピーターセングラフ $P(ck,k)$ に対する正確な支配数を確立し、$c \geq 3$、$k \geq 3$ の場合に $\gamma(P(ck,k))$ の改善された上界を提示する。$k$ が偶数のとき $\gamma(P(4k,k)) = 2k+1$、すべての $k \geq 1$ に対して $\gamma(P(5k,k)) = 3k$、$k \neq 2$ のとき $\gamma(P(6k,k)) = \lceil 10k/3 \rceil$ を証明し、構造的解析とケース別支配集合の構成により未解決のケースを解消し、既存の境界を精緻化する。

ABSTRACT

Let $G=(V(G),E(G))$ be a simple connected and undirected graph with vertex set $V(G)$ and edge set $E(G)$. A set $S \subseteq V(G)$ is a $dominating$ $set$ if for each $v \in V(G)$ either $v \in S$ or $v$ is adjacent to some $w \in S$. That is, $S$ is a dominating set if and only if $N[S]=V(G)$. The domination number $γ(G)$ is the minimum cardinalities of minimal dominating sets. In this paper, we give an improved upper bound on the domination number of generalized Petersen graphs $P(ck,k)$ for $c\geq 3$ and $k\geq 3$. We also prove that $γ(P(4k,k))=2k+1$ for even $k$, $γ(P(5k,k))=3k$ for all $k\geq 1$, and $γ(P(6k,k))=\lceil\frac{10k}{3} ceil$ for $k\geq 1$ and $k eq 2$.

研究の動機と目的

• $c \in \{4,5,6\}$ および $k \geq 1$ の場合に $\gamma(P(ck,k))$ の正確な支配数を特定すること。
• $c \geq 3$ および $k \geq 3$ の場合に $\gamma(P(ck,k))$ の既存の上界を改善すること。
• 特に $c=4,5,6$ の場合に一般化ピーターセングラフ $P(ck,k)$ の支配数に関する未解決のケースを解消すること。
• $c$ と $k$ のモジュラ条件に基づく、モジュラ構造と頂点分割を用いた支配集合の体系的構成を提供すること。

提案手法

• $P(ck,k)$ の頂点集合を $i \in \{0, \dots, k-1\}$ でインデックス付けされた $k$ 個のブロック $B_i$（各6頂点）に分割し、局所的支配パターンを分析する。
• 局所的支配制約を分析するための部分グラフ $G_i = \langle \{v_{ik}, v_{ik+1}, v_{ik+2}, v_{ik+3}, u_{ik}, u_{ik+1}, u_{ik+2}, u_{ik+3}\} \rangle$ を定義する。
• $c \mod 4$ および $k \mod 2$ に基づくケース別分析を用いて、最小基数の支配集合を構成する。
• 合計 $\sum_{i=0}^{6k-1} (|S_i| + |S_{i+1}| + |S_{i+2}|)$ に対する二重数え上げを用いて、$\gamma(P(6k,k))$ の下界を導出する。
• すべての $i$ に対して $|S_{i-1} \cup S_i \cup S_{i+1}| \geq 10$ であることを示す構造的補題を活用し、$\gamma(P(6k,k))$ の下界を確立する。
• $k \in \{4,\dots,12\}$ の $P(6k,k)$ に対して明示的な支配集合を構築し、提案された境界の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 $k$ が偶数のとき、$\gamma(P(4k,k))$ の正確な支配数は何か？
• RQ2 すべての $k \geq 1$ に対して $\gamma(P(5k,k))$ の正確な支配数は何か？
• RQ3 $k \geq 1$ かつ $k \neq 2$ のとき、$\gamma(P(6k,k))$ の正確な支配数は何か？
• RQ4 $c \geq 3$ のとき、$\gamma(P(ck,k))$ に対してより鋭い上界を確立できるか？
• RQ5 $c$ と $k$ の異なるモジュラ条件の下で支配数はどのように振る舞うか？

主な発見

• $k$ が偶数のとき、$\gamma(P(4k,k)) = 2k + 1$ であることが証明され、先行研究が残したケースを解消した。
• すべての $k \geq 1$ に対して $\gamma(P(5k,k)) = 3k$ であることが示され、明確で一様な結果が得られた。
• $k \geq 1$ かつ $k \neq 2$ のとき、$\gamma(P(6k,k)) = \lceil 10k/3 \rceil$ であり、$k=2$ の場合にのみ $+1$ の補正が必要で、この場合 $\lceil 10k/3 \rceil + 1$ である。
• $c \geq 3$ および $k \geq 3$ の場合に、$c \mod 4$ および $k \mod 2$ に応じた $\gamma(P(ck,k))$ の改善された上界が確立され、$k$ の偶奇に基づく修正項 $\alpha$ が導入された。
• 二重数え上げを連続する3ブロックのペアに適用することで、$\gamma(P(6k,k)) \geq \lceil 10k/3 \rceil$ が証明され、すべての $i$ に対して $|S_{i-1} \cup S_i \cup S_{i+1}| \geq 10$ であることが示された。
• 本稿は、$k \in \{1,3\}$ の場合に $\gamma(P(6k,k)) = \lceil 10k/3 \rceil$ であり、$k=2$ の場合に $\gamma(P(6k,k)) = \lceil 10k/3 \rceil + 1$ であることを確認し、$c=6$ の場合の支配数の完全な特徴付けを完成させた。