[论文解读] New Upper Bounds on the Distance Domination Numbers of Grids

Armando Grez, Michael Farina|arXiv (Cornell University)|Oct 15, 2014

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

一句话总结

本文通过改进基于格的构造并利用环同态 φₖ: ℤ² → ℤₚ（其中 p = 2k² + 2k + 1），提升了 m×n 网格图的 k-距离支配数的上界。证明了当 m 和 n 足够大（均大于 2p）时，k-距离支配数至多为 ⌊(m+2k)(n+2k)/p⌋ − 4，显著降低了 Fata、Smith 和 Sundaram（2013）的先前上界。

ABSTRACT

In his 1992 Ph.D. thesis Chang identified an efficient way to dominate $m imes n$ grid graphs and conjectured that his construction gives the most efficient dominating sets for relatively large grids. In 2011 Gonçalves, Pinlou, Rao, and Thomassé proved Chang's conjecture, establishing a closed formula for the domination number of a grid. In March 2013 Fata, Smith and Sundaram established upper bounds for the $k$-distance domination numbers of grid graphs by generalizing Chang's construction of dominating sets to $k$-distance dominating sets. In this paper we improve the upper bounds established by Fata, Smith, and Sundaram for the $k$-distance domination numbers of grids.

研究动机与目标

• 解决 k > 2 时网格图中 k-距离支配数缺乏紧致上界的问题。
• 改进 Fata、Smith 和 Sundaram（2013）针对 γₖ(Gₘ,ₙ) 建立的 2013 年上界。
• 提供一种适用于所有 k ≥ 1 的通用构造方法，利用 ℤ² 中的代数结构。
• 建立更紧致的渐近上界，通过每角移除四个顶点来减小支配集的规模。
• 确认当 m 和 n 超过 2(2k² + 2k + 1) 时，改进后的上界成立，确保角点调整不重叠。

提出的方法

• 将 m×n 网格 Gₘ,ₙ 嵌入整数格 ℤ²，并定义其 k-距离邻域 Yₘ₊₂ₖ,ₙ₊₂ₖ。
• 使用环同态 φₖ: ℤ² → ℤₚ（其中 p = 2k² + 2k + 1）定义周期性支配集为逆像 φₖ⁻¹(ℓ̄)。
• 通过组合几何方法证明：对某个 ℓ̄ ∈ ℤₚ，集合 φₖ⁻¹(ℓ̄) ∩ Yₘ₊₂ₖ,ₙ₊₂ₖ 的大小至多为 ⌊(m+2k)(n+2k)/p⌋。
• 对支配集中的顶点应用几何变换（平移），确保每个角点至少移除一个顶点。
• 基于斜率的分类分析（基于直线 L₁ 和 L₂）证明角点顶点可安全移除而不损失对网格的支配性。
• 将所有在 Gₘ,ₙ 外部的顶点移动到其最近的内部邻居，以确保最终支配集完全包含于网格内。

实验结果

研究问题

• RQ1 对于 k ≥ 3 的 m×n 网格图，k-距离支配数的最紧致上界是什么？
• RQ2 如何利用 ℤ² 中的代数结构来构造高效的 k-距离支配集？
• RQ3 能否通过从基于格的构造的角点移除顶点来减小支配集的规模？
• RQ4 在什么 m 和 n 条件下，可以安全地移除角点顶点而不影响支配性？
• RQ5 改进后的上界 ⌊(m+2k)(n+2k)/p⌋ − 4 是否对所有足够大的 m 和 n 成立？与先前上界相比有何差异？

主要发现

• 本文建立了 m×n 网格图的 k-距离支配数的新上界：γₖ(Gₘ,ₙ) ≤ ⌊(m+2k)(n+2k)/p⌋ − 4，其中 p = 2k² + 2k + 1。
• 当 k=3 时，新上界将 G₅₁,₅₂ 的估计值从 139 降低至 128，相比先前上界改进了 9.4%。
• 在大网格中改进效果一致：对于 G₆₅,₆₆，新上界为 200，而旧上界为 211，减少 5.2%。
• 通过三种基于斜率的分类情况，证明了角点顶点移除的可行性，确保支配性得以保持。
• 当 m 和 n 均大于 2p = 2(2k² + 2k + 1) 时，该上界有效，确保角点调整不重叠。
• 通过从基于格的支配集中每角至少移除四个顶点（每角一个），该构造实现了比先前方法更紧致的上界。