[論文レビュー] 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.

研究の動機と目的

• 連結グラフ $ G $ の位数が $ n $ のとき、$ 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 $-燃焼可能性を定義する。グラフが $ A $-燃焼可能であるとは、$ k $ 個の頂点の $ (a_i - 1) $-近傍によってすべての頂点が被覆可能であることを意味する。
• 重要な補題を適用する。これは、$ 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 $ は常に成り立つか？
• 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(\bar{G}) \leq 3 $ であるから $ b(G) \cdot b(\bar{G}) \leq n + 4 $ が保証される。
• この上界は $ 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 $ を満たす。