[论文解读] General bounds on limited broadcast domination

José Cáceres, Carmen Hernando+3 more|arXiv (Cornell University)|Sep 19, 2016

Advanced Graph Theory Research被引用 6

一句话总结

本文为一般图中的支配 $k$-广播数建立了统一的上界，表明对于任意阶为 $n$ 且满足 $k \geq 3$ 的连通图 $G$，$k$-受限广播支配函数的最小代价至多为 $\left\lceil \frac{k+2}{k+1} \cdot \frac{n}{3} \right\rceil$。该结果推广了已知的广播支配界，并利用生成树推导出紧致的上界，对图的支配理论与计算复杂性具有重要意义。

ABSTRACT

Dominating broadcasting is a domination-type structure that models a transmission antenna network. In this paper, we study a limited version of this structure, that was proposed as a common framework for both broadcast and classical domination. In this limited version, the broadcast function is upper bounded by an integer $k$ and the minimum cost of such function is the dominating $k$-broadcast number. Our main result is a unified upper bound on this parameter for any value of $k$ in general graphs, in terms of both $k$ and the order of the graph. We also study the computational complexity of the associated decision problem.

研究动机与目标

• 为任意连通图的支配 $k$-广播数建立一个通用上界，统一 $k$ 的极端情况下的已有结果。
• 将受限广播支配的研究从经典情形和 $k=2$ 的情况扩展至 $k \geq 3$ 的情形。
• 分析判断图是否具有代价不超过给定整数的 $k$-广播支配函数的计算复杂性。
• 利用生成树作为结构工具，推导支配 $k$-广播数的紧致上界。

提出的方法

• 作者利用生成树将问题简化为树图，证明任意图的支配 $k$-广播数至多为其某一生成树的该值。
• 应用关于上取整函数的关键引理，处理涉及有理函数表达式的界，从而支持归纳与结构推理。
• 证明过程采用分类讨论：当 $k \geq \text{rad}(T)$ 时，界退化为已知的 $\lceil n/3 \rceil$；当 $k < \text{rad}(T)$ 时，推导出新界。
• 对于半径大于 $k$ 的树，作者通过结构分解与归纳技巧，推导出界 $\gamma_{B_k}(T) \leq \left\lceil \frac{k+2}{k+1} \cdot \frac{n}{3} \right\rceil$。
• 该方法依赖于在距离约束下对广播函数代价的有界性分析，确保以最小总功率实现完全覆盖。

实验结果

研究问题

• RQ1 以 $n$ 和 $k$ 表示，一般图中支配 $k$-广播数的最紧致上界是什么？
• RQ2 当 $k$ 小于图的半径时，支配 $k$-广播数的行为如何？
• RQ3 能否为所有 $k \geq 3$ 建立统一的上界，从而推广 $k=1$、$k=2$ 和 $k=\text{diam}(G)$ 的已知结果？
• RQ4 判断图是否具有代价不超过给定阈值的支配 $k$-广播函数的计算复杂性如何？

主要发现

• 对于任意阶为 $n$ 且满足 $k \geq 3$ 的连通图 $G$，支配 $k$-广播数满足 $\gamma_{B_k}(G) \leq \left\lceil \frac{k+2}{k+1} \cdot \frac{n}{3} \right\rceil$。
• 当 $k \geq \text{rad}(G)$ 时，该界退化为已知的 $\lceil n/3 \rceil$，与广播支配数一致。
• 该界对路径图是紧致的，其中对所有 $k \geq 2$ 有 $\gamma_{B_k}(P_n) = \lceil n/3 \rceil$，与已知结果一致。
• 该结果推广了先前的界：当 $k=2$ 时，界 $\lceil 4n/9 \rceil$ 弱于新公式，但新公式在 $k=2$ 时恰好给出 $\lceil 4n/9 \rceil$，而新界更紧致且具统一性。
• 基于生成树与上取整函数不等式的证明技术，为所有 $k \geq 3$ 提供了一个通用框架。