[论文解读] Domination Cover Pebbling: Structural Results

Nathaniel G. Watson, Carl Yerger|ArXiv.org|Sep 23, 2005

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

一句话总结

该论文为有界直径图的支配覆盖过点数 ψ(G) 建立了结构界限，证明了直径为2的图满足 ψ(G) ≤ n−1，直径为 d 的图满足 ψ(G) ≤ 2^{d−2}(n−2)+1。此外，该研究还推导出直径为2的图中 λ(G)/ψ(G) 比值的下界为3，并引入了破坏性支配覆盖过点（subversion domination cover pebbling），分析了参数 Ωω(G)，用于衡量大小至多为 ω 的未被支配连通分量。

ABSTRACT

This paper continues the results of "Domination Cover Pebbling: Graph Families." An almost sharp bound for the domination cover pebbling (DCP) number for graphs G with specified diameter has been computed. For graphs of diameter two, a bound for the ratio between the cover pebbling number of G and the DCP number of G has been computed. A variant of domination cover pebbling, called subversion DCP is introducted, and preliminary results are discussed.

研究动机与目标

• 该论文旨在为有界直径图的支配覆盖过点数 ψ(G) 建立紧致的结构界限。
• 研究 ψ(G) 与覆盖过点数 λ(G) 之间的关系，特别是直径为2的图中两者的比值。
• 作者引入并分析了一种称为破坏性支配覆盖过点（subversion DCP）的变体，其通过参数 Ωω(G) 定义，该参数衡量的是确保除至多 ω 个顶点外其余所有顶点均被支配所需的最少过点数。
• 本研究通过探讨未被支配连通分量的存在对过点需求的影响，扩展了先前关于支配覆盖过点的研究。

提出的方法

• 直径为2的图中 ψ(G) ≤ n−1 的证明基于对顶点集 S1（拥有超过一个过点的顶点）、S2（与 S1 相邻的空顶点）和 S3（不被 S1 或 S2 支配的顶点）的分类讨论。
• 配对数 P(c′) = ∑v∈G max{0, ⌈(c′(v)−1)/2⌉} 用于估计从某一配置可获得的过点移动数量。
• 对于直径为 d 的图，通过归纳推理和基于距离的顶点划分，推导出 ψ(G) ≤ 2^{d−2}(n−2)+1 的界限。
• 直径为2的图中 λ(G)/ψ(G) ≥3 的结论通过分析最坏情况配置得出，并利用了 λ(G) 需要完全覆盖所有顶点，而 ψ(G) 仅需实现支配这一事实。
• 破坏性 DCP 模型引入了 Ωω(G)，即最小过点数，使得在过点操作后，除至多 ω 个顶点外其余所有顶点均被支配，且未被支配的顶点构成一个连通分量。
• 直径为2的图中 Ωω(G) ≤ n−1−ω 的证明采用约化论证：从 T2 中移除 ω 个顶点，并将直径为2的论证应用于剩余图 G′，利用保持的距离性质。

实验结果

研究问题

• RQ1 对于直径为2的图，支配覆盖过点数 ψ(G) 的最紧可能上界是什么？
• RQ2 在直径为2的图中，覆盖过点数 λ(G) 与 ψ(G) 如何比较，且 λ(G)/ψ(G) 的最小可能比值是多少？
• RQ3 能否有意义地定义并界定支配覆盖过点的一种推广变体——破坏性 DCP，特别是针对大小为 ω 的未被支配连通分量？
• RQ4 具有更高直径（如 d=3）的图的哪些结构特性允许对 Ωω(G) 建立类似界限，以及此类界限如何构造？

主要发现

• 对于所有阶为 n 且直径为2的图 G，支配覆盖过点数满足 ψ(G) ≤ n−1，且该界限是紧的，如在除一个叶节点外其余所有叶节点上放置 n−1 个过点的星图所示。
• 对于所有直径为2的图，覆盖过点数 λ(G) 与支配覆盖过点数 ψ(G) 的比值至少为3。
• 对于直径为2的图，参数 Ωω(G)（用于界定确保除至多 ω 个顶点外其余所有顶点均被支配所需的最少过点数）满足 Ωω(G) ≤ n−1−ω。
• 构造了一个具有星形结构且外层顶点间增加 ω 条边的图 Hn，表明 Ωω(Hn) > n−2−ω，证明该界限是紧的。
• 论文推测，对于直径为3的图，有 Ωω(G) ≤ ⌊3/2(n−2−ω) + 1⌋，并给出一个构造证明该界限在取整函数意义下是紧的。
• 分析表明，即使从直径为2的图中移除 ω 个顶点，剩余图 G′ 仍保持 T′1 中任意顶点到 G′ 中任意顶点的距离不超过2，从而保留了直径为2论证的适用性。