[论文解读] 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

一句话总结

本文确定了广义彼得森图 $P(ck,k)$ 在 $c \in \{4,5,6\}$ 情况下的精确支配数，并为 $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))$ 的现有上界。
• 解决广义彼得森图 $P(ck,k)$ 支配数中的开放问题，特别是针对 $c=4,5,6$ 的情形。
• 基于模结构与顶点划分，提供支配集的系统性构造方法。

提出的方法

• 将 $P(ck,k)$ 的顶点集划分为 $k$ 个块 $B_i$，每个块包含 6 个顶点，索引为 $i \in \{0, \dots, k-1\}$，以分析局部支配模式。
• 定义子图 $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$ 的情形建立了改进的 $\gamma(P(ck,k))$ 上界，该上界依赖于 $c \mod 4$ 与 $k \mod 2$，并引入了基于 $k$ 奇偶性的优化项 $\alpha$。
• 通过在连续三个块的三元组上进行双重计数，证明了下界 $\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$ 的情形。