[论文解读] Cover pebbling numbers and bounds for certain families of graphs

Nathaniel G. Watson, Carl Yerger|ArXiv.org|Sep 18, 2004

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

一句话总结

本文确定了完全多部图和轮图的覆盖保龄球数，并基于直径和顶点数，为一般图的覆盖保龄球数建立了紧确上界。证明了完全 $ r $-部图 $ K_{s_1,s_2,\dots,s_r} $ 的覆盖保龄球数为 $ \phi(G) = 4s_1 + 2s_2 + \cdots + 2s_r - 3 $，并为直径为 $ d $、顶点数为 $ n $ 的图提供了紧确上界 $ 2^d(n - d + 1) - 1 $。

ABSTRACT

Given a configuration of pebbles on the vertices of a graph, a pebbling move is defined by removing two pebbles from some vertex and placing one pebble on an adjacent vertex. The cover pebbling number of a graph, gamma(G), is the smallest number of pebbles such that through a sequence of pebbling moves, a pebble can eventually be placed on every vertex simultaneously, no matter how the pebbles are initially distributed. The cover pebbling number for complete multipartite graphs and wheel graphs is determined. We also prove a sharp bound for gamma(G) given the diameter and number of vertices of G.

研究动机与目标

• 确定完全多部图 $ K_{s_1,s_2,\ldots,s_r} $ 的覆盖保龄球数，其中保龄球移动可将两个保龄球移至相邻顶点。
• 计算轮图 $ W_n $ 的覆盖保龄球数，该图是一类具有中心枢纽并连接至一个环的特定图族。
• 基于图的直径 $ d $ 和顶点数 $ n $，为任意图的覆盖保龄球数建立紧确上界。
• 解决与覆盖保龄球数相关的开放问题，包括关于最小非覆盖可解配置结构的猜想。

提出的方法

• 将覆盖保龄球数 $ \gamma(G) $ 定义为：使得所有该大小的配置均可通过保龄球移动覆盖所有顶点的最小保龄球数。
• 对于完全多部图，通过极值配置和归纳推理，推导出 $ \phi(G) = 4s_1 + 2s_2 + \cdots + 2s_r - 3 $ 作为覆盖保龄球数。
• 使用归纳法和子图分析，证明完全多部图上任意大小为 $ \phi(G) $ 的配置均为覆盖可解。
• 对于轮图，应用类似推理计算 $ \gamma(W_n) $，利用对称性和基于距离的保龄球需求。
• 通过将顶点按与根的距离划分为集合 $ R_m, S_m, T_m $，并使用二进制加权，构建递归保龄球策略，以模拟向完全覆盖推进的保龄球过程。
• 使用二进制加权论证和归纳保龄球序列，为直径为 $ d $、顶点数为 $ n $ 的图建立一般上界 $ \gamma(G) \leq 2^d(n - d + 1) - 1 $。

实验结果

研究问题

• RQ1 完全多部图 $ K_{s_1,s_2,\ldots,s_r} $ 的覆盖保龄球数是多少？能否以闭式表达？
• RQ2 轮图 $ W_n $ 的覆盖保龄球数是多少？它如何依赖于辐条数？
• RQ3 能否仅基于直径和顶点数，为一般图的覆盖保龄球数建立紧确上界？
• RQ4 是否存在完全多部图的最小非覆盖可解配置？其结构揭示了该上界怎样的本质？

主要发现

• 对于满足 $ s_1 \geq s_2 \geq \cdots \geq s_r $ 的完全 $ r $-部图 $ K_{s_1,s_2,\ldots,s_r} $，其覆盖保龄球数恰好为 $ \phi(G) = 4s_1 + 2s_2 + \cdots + 2s_r - 3 $。
• 对于轮图 $ W_n $，覆盖保龄球数被明确确定，尽管摘要中未给出确切公式，但其在第3节中被推导得出。
• 对于任意具有 $ n $ 个顶点和直径 $ d $ 的图 $ G $，其覆盖保龄球数的紧确上界为 $ \gamma(G) \leq 2^d(n - d + 1) - 1 $，且该上界是紧确的。
• 该上界通过一种递归保龄球策略推导得出，该策略基于与根的距离将顶点划分为集合，并应用二进制加权以模拟保龄球推进过程。
• 证明表明，任何大小为 $ 2^d(n - d + 1) - 1 $ 的图（直径为 $ d $）的配置均为覆盖可解，且该上界无法进一步改进。
• 通过构造表明该上界是紧确的：展示了大小为 $ 2^d(n - d + 1) - 2 $ 的配置可能无法实现覆盖，从而确认了结果的紧确性。