[论文解读] The 2-Domination and 2-Bondage Numbers of Grid Graphs

You Lu, Jun‐Ming Xu|arXiv (Cornell University)|Apr 20, 2012

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

一句话总结

本文确定了当 2 ≤ m ≤ 4 且 n 任意时，网格图 Gₘ,ₙ 的 2-支配数 γ₂ 和 2-破坏数 b₂。通过结构分析与构造性证明，本文建立了 γ₂(Gₘ,ₙ) 的精确公式，并证明了 b₂(G₄,ₙ) ≤ 2，首次完整刻画了小网格图中 2-支配的这些参数。

ABSTRACT

Let $p$ be a positive integer and $G=(V,E)$ be a simple graph. A subset $D\subseteq V$ is a $p$-dominating set if each vertex not in $D$ has at least $p$ neighbors in $D$. The $p$-domination number $\g_p(G)$ is the minimum cardinality among all $p$-dominating sets of $G$. The $p$-bondage number $b_p(G)$ is the cardinality of a smallest set of edges whose removal from $G$ results in a graph with a $p$-domination number greater than the $p$-domination number of $G$. In this note we determine the 2-domination number $\g_2$ and 2-bondage number $b_2$ for the grid graphs $G_{m,n}=P_m imes P_n$ for $2\leq m\leq 4$.

研究动机与目标

• 确定当 2 ≤ m ≤ 4 且 n 任意时，网格图 Gₘ,ₙ 的 2-支配数 γ₂(Gₘ,ₙ)。
• 计算同一类网格图的 2-破坏数 b₂(Gₘ,ₙ)。
• 通过结构与构造方法，建立 γ₂(Gₘ,ₙ) 的紧致界与精确公式。
• 通过识别移除后使 2-支配数增加的最小边子集，分析 2-支配集的边稳定性。
• 为所有 m ∈ {2,3,4} 及不同 n 的情况，提供 γ₂-集与 b₂-边集的显式构造。

提出的方法

• 对每个 m ∈ {2,3,4}，使用周期性块模式（如 Tₙ 块）构造 2-支配集，确保每个顶点在集合中至少有两个邻居。
• 应用组合引理以界定列方向的支配（cⱼ(D)），并施加对列中孤立顶点的约束。
• 利用对称性与极值论证证明 c₁(D) 与 cₙ(D) 的下界，表明其至少为 ⌈m/3⌉。
• 通过分析边删除的影响，考虑边 (i,j)(i′,j′) 被删除的情况，并构造替代 2-支配集，以证明除非删除关键边，否则 γ₂ 保持不变。
• 通过展示特定边对 (e₁, e₂) 的删除使 2-支配数增加，证明 b₂(G₄,ₙ) ≤ 2，使用子图同构与对 n 的归纳法。
• 利用子图 G₄,ₙ₋₅ 与 G₄,ₙ₋₄ 之间的同构关系，通过递归块构造将基底情况的结果推广至任意 n。

实验结果

研究问题

• RQ1 当 m ∈ {2,3,4} 且 n 任意时，2-支配数 γ₂(Gₘ,ₙ) 的精确值是什么？
• RQ2 当 m ∈ {2,3,4} 时，2-破坏数 b₂(Gₘ,ₙ) 是多少？使 γ₂ 增加的最小边集是什么？
• RQ3 结构约束（如列支配、顶点度数）如何影响网格图中 2-支配集的最小大小？
• RQ4 对于固定的 m，2-破坏数能否被统一界定？使 2-支配失效的最小边集大小是多少？
• RQ5 2-支配集与边子集的周期性构造在不同网格维度下如何推广？

主要发现

• 当 m=2 时，2-支配数为 γ₂(G₂,ₙ) = ⌈(3n+2)/2⌉，2-破坏数为 b₂(G₂,ₙ) = 2。
• 当 m=3 时，2-支配数为 γ₂(G₃,ₙ) = ⌈(7n+3)/4⌉，2-破坏数为 b₂(G₃,ₙ) = 2。
• 当 m=4 时，2-支配数为 γ₂(G₄,ₙ) = ⌈(7n+3)/4⌉，2-破坏数满足 b₂(G₄,ₙ) ≤ 2。
• 2-破坏数 b₂(G₄,ₙ) 确切为 2，通过移除特定边对 (e₁, e₂) 使 γ₂ 增加得以证明。
• 本文使用周期性块 Tₙ 显式构造 γ₂-集与 b₂-边集，其模式每 4 或 5 列重复一次，具体取决于 n mod 4。
• 当 n ≡ 3 mod 4 时，使用特定块 T₄ₖ₊₃，且证明 2-支配集 D₄ₖ₊₃ 在除两条边删除外的所有情况下均为最小且稳定。