[论文解读] Domination Cover Pebbling: Graph Families

James Gardner, Anant P. Godbole+4 more|ArXiv.org|Jul 13, 2005

Advanced Graph Theory Research参考文献 5被引用 11

一句话总结

本文引入了支配覆盖骨牌移动（DCP）这一新的图不变量 $\psi(G)$，定义为在图 $G$ 上所需的最少骨牌数，使得无论初始配置如何，通过一系列骨牌移动操作，都能将骨牌放置在构成支配集的顶点上。作者确定了路径图 $P_n$、环图 $C_n$ 和完全二叉树 $B_n$ 的 $\psi(G)$，为这些图族得出了精确值并揭示了其结构特性。

ABSTRACT

Given a configuration of pebbles on the vertices of a connected graph G, a pebbling move is defined as the removal of two pebbles from some vertex, and the placement of one of these on an adjacent vertex. We introduce the notion of domination cover pebbling, obtained by combining graph cover pebbling with the theory of domination in graphs. The domination cover pebbling number, psi(G), of a graph G is the minimum number of pebbles that must be placed on V(G) such that after a sequence of pebbling moves, the set of vertices with pebbles forms a dominating set of G, regardless of the initial configuration of pebbles. We discuss basic results and determine psi(G) for paths, cycles and complete binary trees.

研究动机与目标

• 将支配覆盖骨牌移动数 $\psi(G)$ 定义并形式化为一种新的图不变量，结合骨牌移动与支配理论。
• 确定基本图族（路径 $P_n$、环 $C_n$ 和完全二叉树 $B_n$）的 $\psi(G)$。
• 证明 $\psi(G)$ 是非平凡的，因为所得支配集可能不同于最小支配集，且需要更多顶点。
• 探讨在最坏初始骨牌分布下，骨牌移动对确保支配关系的结构影响。

提出的方法

• 将一次骨牌移动定义为从一个顶点移除两个骨牌，并在相邻顶点放置一个骨牌。
• 将支配覆盖骨牌移动数 $\psi(G)$ 定义为：从任意初始配置出发，通过一系列骨牌移动操作，能够产生一个支配集所需的最少骨牌数。
• 使用归纳论证和递归骨牌移动策略，计算 $P_n$、$C_n$ 和 $B_n$ 的 $\psi(G)$，并分析最坏情况配置。
• 基于 $n \mod 3$ 的情况分析，处理完全二叉树 $B_n$ 的递归结构，特别是当 $n \equiv 1 \pmod{3}$ 时，需额外增加一个骨牌。
• 利用已知的覆盖骨牌移动与支配理论结果，通过树的递归分解来界定和计算 $\psi(G)$。
• 通过构造迫使骨牌数量达到最大值的配置，验证边界的紧致性。

实验结果

研究问题

• RQ1 路径图 $P_n$ 的支配覆盖骨牌移动数 $\psi(G)$ 是多少？
• RQ2 环图 $C_n$ 的 $\psi(G)$ 表现如何？
• RQ3 高度为 $n$ 的完全二叉树 $B_n$ 的 $\psi(B_n)$ 的精确值是多少？
• RQ4 支配覆盖骨牌移动数是否可能小于最小支配集的大小？若可能，其条件是什么？
• RQ5 图的结构，特别是树的结构，如何影响确保支配所需的骨牌数量？

主要发现

• 对于完全图 $K_n$，有 $\psi(K_n) = 1$，因为一个骨牌即可支配所有顶点。
• 对于完全 $r$-部图 $K_{c_1,c_2,\ldots,c_r}$，当 $s_1 \geq 3$ 时，有 $\psi(G) = s_1$，即最大部集的大小。
• 对于路径 $P_n$，支配覆盖骨牌移动数 $\psi(P_n)$ 通过递归方式确定，对较小的 $n$ 推导出显式值，并建立了渐近行为。
• 对于环 $C_n$，本文推导出 $\psi(C_n)$，表明其随 $n$ 线性增长，且依赖于奇偶性与模运算条件。
• 对于完全二叉树 $B_n$，$\psi(B_n)$ 通过考虑子树支配与骨牌移动效率的递归公式计算得出，特别处理了 $n \equiv 1 \pmod{3}$ 的情形。
• 本文证明了 $\psi(B_n)$ 超过 $B_n$ 的最小支配集大小，尤其在 $n=2$ 时，最小支配集大小为 2，但 $\psi(B_2) = 3$。