[论文解读] Cover pebbling cycles and certain graph products

Maggy Tomova, Cindy Wyels|ArXiv.org|Oct 1, 2004

Graph theory and applications参考文献 5被引用 4

一句话总结

本文确定了环、路径与环的乘积图（例如树、完全图等好图）的覆盖 Pebbling 数，并证明这些乘积图也是好图。通过一种新颖的基于颜色的 Pebbling 变换技术，作者证明了乘积图的覆盖 Pebbling 数等于其各因子覆盖 Pebbling 数的乘积，从而支持了 Graham 猜想在覆盖 Pebbling 中的类比版本。

ABSTRACT

A pebbling step on a graph consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. A graph is said to be cover pebbled if every vertex has a pebble on it after a series of pebbling steps. The cover pebbling number of a graph is the minimum number of pebbles such that the graph can be cover pebbled, no matter how the pebbles are initially placed on the vertices of the graph. In this paper we determine the cover pebbling numbers of cycles, finite products of paths and cycles, and products of a path or a cycle with good graphs, amongst which are trees and complete graphs. In the process we provide evidence in support of an affirmative answer to a question posed in a paper by Cundiff, Crull, et al.

研究动机与目标

• 确定环和路径与环的有限乘积图的覆盖 Pebbling 数。
• 研究乘积图 $G \square H$ 的覆盖 Pebbling 数是否等于其因子的覆盖 Pebbling 数的乘积，作为 Graham 对常规 Pebbling 猜想的类比。
• 证明环是好图，即其覆盖 Pebbling 数等于从关键顶点出发的 $2^{\text{dist}}$ 之和。
• 证明任意好图与路径或环的乘积图也是好图，从而扩展好图的类。
• 为路径与环的有限乘积图（包括超立方体和网格图）提供覆盖 Pebbling 数的一般公式。

提出的方法

• 引入一种尊重颜色的 Pebbling 模型，其中每个 Pebble 被赋予颜色，且仅相同颜色的 Pebble 可用于一次 Pebbling 步骤。
• 将乘积图 $G \square H$ 上的分布转化为 $H$ 上的彩色分布，从而利用 $H$ 的性质来估计上界。
• 利用好图中‘关键顶点’的概念简化覆盖 Pebbling 分析，因为覆盖 Pebbling 数等于所有顶点 $w$ 的 $2^{\text{dist}(u,w)}$ 之和。
• 应用颜色变换技术，推导出 $G \square P_n$ 和 $G \square C_n$ 的上界，当 $G$ 为好图时，这些上界是紧的。
• 证明若 $G$ 和 $H$ 均为好图，则 $G \square H$ 是好图当且仅当 $\gamma(G \square H) = \gamma(G)\gamma(H)$，建立了一个关键等价关系。
• 利用已知结果（如路径、树和完全图是好图）通过归纳法和乘积结构，将覆盖 Pebbling 数的计算推广至复杂乘积图。

实验结果

研究问题

• RQ1 环 $C_n$ 的覆盖 Pebbling 数是多少？
• RQ2 乘积图 $G \square H$ 的覆盖 Pebbling 数是否等于 $G$ 和 $H$ 的覆盖 Pebbling 数的乘积？
• RQ3 环是否为好图，即其覆盖 Pebbling 数是否等于从关键顶点 $u$ 出发的 $2^{\text{dist}(u,w)}$ 之和？
• RQ4 好图与路径或环的乘积图是否也是好图？
• RQ5 能否使用乘积公式计算复杂乘积图（如网格图、超立方体和蜘蛛图）的覆盖 Pebbling 数？

主要发现

• 环 $C_n$ 的覆盖 Pebbling 数为 $\gamma(C_n) = 2^r + 2^{n-r+1} - 3$，其中 $r = \lceil n/2 \rceil$。
• 环被证明是好图，因为其覆盖 Pebbling 数与从关键顶点 $u$ 出发的 $2^{\text{dist}(u,w)}$ 之和一致。
• 对任意好图 $G$，有 $\gamma(G \square P_n) = \gamma(G)\gamma(P_n)$ 且 $\gamma(G \square C_n) = \gamma(G)\gamma(C_n)$，其中 $\gamma(P_n) = 2^n - 1$。
• 任意好图与路径或环的乘积图也是好图，从而将好图的类扩展至所有路径与环的有限乘积图。
• 有限乘积图 $H = (\square_i P_{n_i}) \square (\square_j C_{m_j})$ 的覆盖 Pebbling 数为 $\gamma(H) = \prod_i \gamma(P_{n_i}) \prod_j \gamma(C_{m_j})$。
• $k$-维超立方体 $Q^k$ 的覆盖 Pebbling 数为 $\gamma(Q^k) = 3^k$，因为 $Q^k \cong \square^k P_2$ 且 $\gamma(P_2) = 3$。