[论文解读] An Upper Bound on Burning Number of Graphs

Max Land, Linyuan Lü|arXiv (Cornell University)|Jun 24, 2016

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

一句话总结

本文建立了连通图燃烧数的新上界，证明了 $ b(G) \leq \left\lceil \frac{-3 + \sqrt{24n + 33}}{4} \right\rceil $，该上界优于以往结果，并渐近趋近于 $ \frac{\sqrt{6}}{2}\sqrt{n} $。同时，本文证实了Bonato、Janssen与Roshanbin的猜想，即对于连通图 $ G $ 及其补图 $ \bar{G} $，有 $ b(G)b(\bar{G}) \leq n + 4 $，且等式成立当且仅当 $ G = C_5 $。

ABSTRACT

The burning number $b(G)$ of a graph $G$ was introduced by Bonato, Janssen, and Roshanbin [Lecture Notes in Computer Science 8882 (2014)] for measuring the speed of the spread of contagion in a graph. They proved for any connected graph $G$ of order $n$, $b(G)\leq 2\lceil \sqrt{n} ceil-1$, and conjectured that $b(G)\leq \lceil \sqrt{n} ceil$. In this paper, we proved $b(G)\leq \lceil\frac{-3+\sqrt{24n+33}}{4} ceil$, which is roughly $\frac{\sqrt{6}}{2}\sqrt{n}$. We also settled the following conjecture of Bonato-Janssen-Roshanbin: $b(G)b(\bar G)\leq n+4$ provided both $G$ and $\bar G$ are connected.

研究动机与目标

• 通过提供更紧的上界，解决关于任意阶为 $ n $ 的连通图 $ G $ 的燃烧数满足 $ b(G) \leq \lceil \sqrt{n} \rceil $ 的猜想。
• 改进此前已知的最佳上界 $ \left( \sqrt{\frac{32}{19}} + o(1) \right) \sqrt{n} $，用于连通图的燃烧数。
• 在 $ G $ 与 $ \bar{G} $ 均为连通图的前提下，解决关于 $ b(G)b(\bar{G}) \leq n + 4 $ 的猜想。
• 建立一个分析树的 $ A $-可燃性的通用框架，基于子树剪枝与邻域覆盖的归纳技术。
• 在极端情况下对燃烧数进行精确刻画，特别是针对 $ C_5 $，此时Nordhaus-Gaddum型不等式取等。

提出的方法

• 对有根树采用归纳方法，利用子树结构及其通过 $ k $-邻域的覆盖，推导出 $ A $-可燃性的充分条件。
• 定义整数多重集 $ A $ 的 $ A $-可燃性：若图的顶点可被 $ k $ 个顶点的 $ (a_i - 1) $-邻域覆盖，则称该图为 $ A $-可燃。
• 应用关键引理：若 $ a_1 \geq a_2 \geq \cdots \geq a_k $，则阶至多为 $ \sum_{i=1}^k a_i + \max a_i - 1 $ 的树为 $ A $-可燃，从而限定燃烧数。
• 将该界特化至 $ A = [k] = \{1,2,\dots,k\} $ 的情形，推导出 $ [k] $-可燃性成立的最大 $ n $ 为 $ \left\lfloor \frac{2k^2 + 3k - 2}{3} \right\rfloor $。
• 通过该不等式的反函数，推导出上界 $ b(G) \leq \left\lceil \frac{-3 + \sqrt{24n + 33}}{4} \right\rceil $，该式对所有连通图均成立。
• 应用基于半径的论证：若 $ r(G) \geq 3 $，则 $ \bar{G} $ 连通且半径至多为 2，故 $ b(\bar{G}) \leq 3 $，从而支持乘积界的情况分析。

实验结果

研究问题

• RQ1 能否将任意阶为 $ n $ 的连通图的燃烧数更紧密地界定为低于 $ 2\lceil \sqrt{n} \rceil - 1 $，若能，最紧的此类上界为何？
• RQ2 当 $ G $ 与 $ \bar{G} $ 均为连通图时，猜想 $ b(G)b(\bar{G}) \leq n + 4 $ 是否对所有连通图 $ G $ 成立？
• RQ3 燃烧数的精确渐近行为如何？其与猜想的 $ \lceil \sqrt{n} \rceil $ 上界相比有何差异？
• RQ4 $ A $-可燃性框架能否通过树的归纳分解导出燃烧数的紧致上界？
• RQ5 在Nordhaus-Gaddum型不等式 $ b(G)b(\bar{G}) \leq n + 4 $ 中，等式成立的条件为何？$ C_5 $ 是否为唯一的极值图？

主要发现

• 本文建立了燃烧数的新上界：$ b(G) \leq \left\lceil \frac{-3 + \sqrt{24n + 33}}{4} \right\rceil $，其渐近形式为 $ \frac{\sqrt{6}}{2}\sqrt{n} \approx 1.225\sqrt{n} $，优于此前最佳上界 $ \left( \sqrt{\frac{32}{19}} + o(1) \right)\sqrt{n} \approx 1.312\sqrt{n} $。
• 连通图 $ G $ 及其补图 $ \bar{G} $ 的猜想 $ b(G)b(\bar{G}) \leq n + 4 $ 被证实为真，且等式成立当且仅当 $ G = C_5 $。
• 当 $ n \geq 9 $ 时，所推导的上界 $ b(G) \leq \left\lceil \frac{-3 + \sqrt{24n + 33}}{4} \right\rceil $ 确保 $ b(G) \cdot b(\bar{G}) \leq n + 4 $，因为当 $ r(G) \geq 3 $ 时有 $ b(\bar{G}) \leq 3 $。
• 该上界在 $ n = 5 $ 时为紧致：$ b(C_5) = 3 $，且 $ b(\bar{C}_5) = 3 $，故 $ b(G)b(\bar{G}) = 9 = 5 + 4 $，验证了猜想中的等式。
• 任意阶为 $ n = 5 $ 且满足 $ b(G) = 3 $、$ b(\bar{G}) = 3 $ 的图 $ G $ 必为 $ C_5 $，因为 $ G $ 与 $ \bar{G} $ 中所有顶点度数均为 2，而仅当图是 5-圈时才可能成立。
• 该结果对所有 $ n \geq 5 $ 成立，且对 $ n = 5,6,7,8 $ 直接验证：此时 $ b(G) \leq 3 $，故乘积至多为 9，满足 $ \leq n + 4 $。