[论文解读] Power propagation time and lower bounds for power domination number

Daniela Ferrero, Leslie Hogben+2 more|arXiv (Cornell University)|Dec 20, 2015

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

一句话总结

本文纠正了先前研究中提出的关于功率支配数的有缺陷的下界，表明功率传播时间与图直径之间的关系在一般情况下并不成立。本文引入了功率传播时间的概念，为树图建立了有效的下界，并证明在树图中传播时间至多为直径减一，显著改进了功率支配分析中的先前理论极限。

ABSTRACT

We present a counterexample to a lower bound for the power domination number given in Liao, Power domination with bounded time constraints, J. Comb. Optim. 31 (2016)725-742. We also define the power propagation time, using the power domination propagation ideas in Liao and the (zero forcing) propagation time in Hogben et al, Propagation time for zero forcing on a graph, Discrete Appl. Math.160 (2012) 1994-2005.

研究动机与目标

• 识别并纠正先前发表的关于功率支配数下界中的错误，该错误错误地假设功率传播时间受图直径的限制。
• 定义并形式化功率传播时间的概念，扩展了零力传播和功率支配传播的思想。
• 利用传播时间与最大度数，为图（特别是树图）的功率支配数建立有效且非平凡的下界。
• 通过构造一个反例图族，证明功率传播时间与直径之间的关系并不普遍成立，该图族的功率支配数为2，但有缺陷的下界值可任意大。

提出的方法

• 构造了一个无限图族，其功率支配数为2，但有缺陷的下界值 |V|/(diam(G)·Δ(G)+1) 超过2，且可任意大，从而作为对所声称下界的反例。
• 将功率传播时间 ppt(G,S) 定义为从一个功率支配集 S 出发，通过迭代邻域扩展规则观察所有顶点所需的最短时间。
• 基于按观察时间对顶点和边进行标记的单调路径论证，分析树图中的传播过程，证明长单调路径意味着存在长路径。
• 使用归纳法和结构分析，证明树图中的任意最小功率支配集均可被重构为不包含度数为1的顶点，且不增加传播时间。
• 利用 ppt(T) ≤ diam(T) − 1 的关系，推导出树图功率支配数的新下界，得到 γP(T) ≥ ⌈|V| / ((diam(T)−1)·Δ(T)+1)⌉。
• 证明对于至少有三个顶点的树图，功率传播时间满足 ppt(T) ≤ diam(T) − 1，从而加强了对传播动力学的理论理解。

实验结果

研究问题

• RQ1 先前研究中声称的下界 γP(G) ≥ |V|/(diam(G)·Δ(G)+1) 是否对所有图都成立？
• RQ2 功率传播时间能否用图的直径来界定，特别是在树图中？
• RQ3 树图中的任意最小功率支配集是否都能通过重构方式排除度数为1的顶点，且不增加传播时间？
• RQ4 能否利用实际的功率传播时间而非直径，推导出功率支配数的有效下界？
• RQ5 在功率支配过程中，单调路径与树图直径之间存在何种结构关系？

主要发现

• 本文提出了一类反例图族，其功率支配数为2，但有缺陷的下界 |V|/(diam(G)·Δ(G)+1) 超过2，且可任意大，从而证伪了所声称的下界。
• 关系 ppt(G) ≤ diam(G) 并不普遍成立，反例已证明这一点，从而否定了先前研究中的一个关键假设。
• 对于至少有三个顶点的树图，功率传播时间满足 ppt(T) ≤ diam(T) − 1，该界限比先前声称的更强且正确。
• 本文建立了树图功率支配数的新有效下界：γP(T) ≥ ⌈|V| / ((diam(T)−1)·Δ(T)+1)⌉。
• 本文证明，树图中的任意最小功率支配集均可被重构为不包含度数为1的顶点，同时保持传播时间不变，从而支持了单调路径论证的应用。
• 推导出功率传播时间的新下界：ppt(G) ≥ ⌈(|V(G)| − γP(G)) / (γP(G)·Δ(G))⌉，当已知 γP(G) 时该下界具有实用价值。