[论文解读] The Bondage Number of Mesh Networks

Fu-Tao Hu, Yongchang Cao+1 more|arXiv (Cornell University)|Sep 19, 2011

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

一句话总结

本文确定了当 $m = 2, 3, 4$ 且 $n \geq 2$ 时，网格网络 $P_n \times P_m$ 的精确束缚数，得出 $b(P_n \times P_2) = 1$，$b(P_n \times P_3) = 1$（当 $n \geq 4$ 时），以及 $b(P_n \times P_4) = 1$（当 $n \notin \{5,6,9\\$ 时），其中 $b(G_{5,4}) = b(G_{9,4}) = 3$，$b(G_{6,4}) = 2$。结果通过支配集的结构分析及路径长度的归纳论证推导得出。

ABSTRACT

The bondage number $b(G)$ of a nonempty graph $G$ is the smallest number of edges whose removal from $G$ results in a graph with domination number greater than that of $G$. Denote $P_n imes P_m$ be the Cartesian product of two paths $P_n$ and $P_m$. This paper determines that the exact value of $b(P_n imes P_2)$, $b(P_n imes P_3)$ and $b(P_n imes P_4)$ for $n\ge 2$.

研究动机与目标

• 确定小规模 $m$ 值下网格网络 $P_n \times P_m$ 的精确束缚数。
• 通过测量移除边后支配数增加的最小边数，分析网格网络在边失效下的鲁棒性。
• 将先前关于特殊图类束缚数的研究结果扩展至路径的笛卡尔积。
• 基于观察到的模式，提出关于更大规模网格网络束缚数的猜想。

提出的方法

• 作者对 $P_n \times P_m$ 图中的支配集进行结构分析，重点关注子图中顶点和边的配置。
• 他们对路径长度 $n$ 应用归纳推理，假设对较小的 $n$ 成立，并证明其对更大的 $n$ 成立。
• 该方法基于网格前几行中支配集顶点数量的分类讨论。
• 他们利用已知的小型子图（$H_{k,4}$）的支配数结果，来限制较大图中支配集的大小。
• 证明依赖于反证法：假设移除边后仍存在最小支配集，但证明其大小必须大于原始支配数。
• 他们使用引理证明某些支配集配置不可能是最小的，从而证明束缚数至少为给定值。

实验结果

研究问题

• RQ1 对于 $n \geq 2$，$b(P_n \times P_2)$ 的精确值是多少？
• RQ2 对于 $n \geq 4$，$b(P_n \times P_3)$ 的精确值是多少？
• RQ3 对于 $n \geq 4$（排除特定情况），$b(P_n \times P_4)$ 的精确值是多少？
• RQ4 网格网络的结构如何影响破坏所有最小支配集所需的最小边失效数量？
• RQ5 能否为更大的网格网络（$m \geq 5$）建立束缚数的一般界？

主要发现

• 对于所有 $n \geq 2$，束缚数 $b(P_n \times P_2) = 1$，意味着移除单条边即可增加支配数。
• 当 $n \geq 4$ 时，束缚数 $b(P_n \times P_3) = 1$，表明单条边的移除即可破坏所有最小支配集。
• 对于 $P_n \times P_4$，当 $n \geq 4$ 且 $n \notin \{5,6,9\}$ 时，束缚数为 1；当 $n=5,6,9$ 时，分别为 3、2 和 3。
• 在移除顶点 $u_{1,1}$ 后，$G_{n,4}$ 的支配数保持不变，表明角落顶点具有结构鲁棒性。
• 作者通过归纳和分类讨论的方法，证明了当 $n \geq 4$ 且 $n \notin \{5,6,9\}$ 时，$b(G_{n,4}) = 1$。
• 提出一个猜想：对于所有 $m \geq 5$，有 $b(G_{n,m}) \leq 2$，表明更大规模网格网络的鲁棒性是受限制的。