[論文レビュー] Burning Two Worlds: Algorithms for Burning Dense and Tree-like Graphs

Shahin Kamali, Avery Miller+1 more|arXiv (Cornell University)|Sep 2, 2019

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

ひとこと要約

本稿では、グラフバーニング問題に対する2つの新規アルゴリズムを提示する。1つは最小次数に基づく密度の高いグラフ向けで、最大で$√{\frac{24n}{\delta+1}}$ラウンドのバーニング時間を達成する。もう1つは、経路長または木長が有界なグラフ向けで、それぞれ$1+o(1)$および$2+o(1)$の近似比を提供する。主な貢献は、特に密度の高いグラフや構造的グラフにおいて、先行研究を上回る近似保証を実現したことである。

ABSTRACT

Graph burning is a simple model for the spread of social influence in networks. The objective is to measure how quickly a fire (e.g., a piece of fake news) can be spread in a network. The burning process takes place in discrete rounds. In each round, a new fire breaks out at a selected vertex and burns it. Meanwhile, the old fires extend to their neighbours and burn them. A burning schedule selects where the new fire breaks out in each round, and the burning problem asks for a schedule that burns all vertices in a minimum number of rounds, termed the burning number of the graph. The burning problem is known to be NP-hard even when the graph is a tree or a disjoint set of paths. For connected graphs, it has been conjectured that burning takes at most $\lceil \sqrt{n} ceil$ rounds. We approach the algorithmic study of graph burning from two directions. First, we consider graphs with minimum degree $δ$. We present an algorithm that burns any graph of size $n$ in at most $\sqrt{\frac{24n}{δ+1}}$ rounds. In particular, for dense graphs with $δ\in Θ(n)$, all vertices are burned in a constant number of rounds. More interestingly, even when $δ$ is a constant that is independent of the graph size, our algorithm answers the graph-burning conjecture in the affirmative by burning the graph in at most $\lceil \sqrt{n} ceil$ rounds. Next, we consider burning graphs with bounded path-length or tree-length. These include many graph families including connected interval graphs and connected chordal graphs. We show that any graph with path-length $pl$ and diameter $d$ can be burned in $\lceil \sqrt{d-1} ceil + pl$ rounds. Our algorithm ensures an approximation ratio of $1+o(1)$ for graphs of bounded path-length. We introduce another algorithm that achieves an approximation ratio of $2+o(1)$ for burning graphs of bounded tree-length.

研究の動機と目的

• 特定のグラフクラスに対して効率的な近似アルゴリズムを設計することで、NP困難なグラフバーニング問題に対処すること。
• 定数の最小次数を持つグラフに対してグラフバーニング予想を肯定的に解決することを目的とし、$⌈\sqrt{n}\u2309$ラウンド以内にバーニングが可能であることを示すこと。
• 経路長や木長が有界なグラフに対して、一般グラフの既存の3近似よりも優れた近似比を提供すること。
• 最小次数、直径、木分解パラメータなどの構造的制約の下でのグラフバーニングのアルゴリズム的扱いやすさを調査すること。

提案手法

• 密度の高いグラフ向けには、各ラウンドでカバレッジを最大化するようにアクティベーターを選択する貪欲戦略を用い、高い最小次数によって迅速な拡散を保証する。
• 経路長が有界なグラフ向けのアルゴリズムは二段階のアプローチを採用する。まず、変更されたダイクストラに類似した手順を用いてコア構造を特定し、次に貪欲な活性化シーケンスを適用する。
• 木長が有界なグラフ向けのアルゴリズムは、木分解を用い、バッグ内での中心の選択を繰り返し行い、未焼却頂点までの最大距離を最小化する。
• アルゴリズムは、可能なバーニングラウンド数$g^*$に対して二分探索を実行し、`BurnGuess`という手続きを呼び出して妥当性をテストし、近似を改善する。
• `BurnGuess`の各反復では、選択された端点からの距離を計算し、動的に縮小する半径内で頂点をマークし、ダイクストラ法を用いてカバレッジを保証する。
• 時間計算量は$O(n^3 \log n)$で抑えられ、これは$O(\log d)$回の`BurnGuess`呼び出しによるもので、各呼び出しのコストは$O(n^2 d)$である。

実験結果

リサーチクエスチョン

• RQ1 定数の最小次数を持つグラフに対して、グラフバーニング予想は確認可能か？
• RQ2 経路長または木長が有界なグラフに対して、達成可能な最適な近似比は何か？
• RQ3 グラフの最小次数$\delta$は、バーニング数および効率的なアルゴリズム設計にどのように影響を与えるか？
• RQ4 経路長や木長などの構造的パラメータを用いることで、一般グラフに対する近似因子を3より良くできるか？
• RQ5 グラフ分解を活用する際の、アルゴリズム的効率と近似品質のトレードオフは何か？

主な発見

• 任意の最小次数$\delta$を持つグラフに対して、提案されたアルゴリズムは、最大で$\sqrt{\frac{24n}{\delta+1}}$ラウンドで全頂点をバーニングする。これは、$\delta \in \Theta(n)$である密度の高いグラフでは定数となる。
• 最小次数$\delta$が$n$とは独立した定数である場合、依然として$\lceil\sqrt{n}\rceil$ラウンド以内にバーニングが可能であり、このクラスにおけるグラフバーニング予想が確認された。
• 経路長$pl$および直径$d$を持つグラフに対して、アルゴリズムは$\lceil\sqrt{d-1}\rceil + pl$ラウンドでグラフをバーニングし、近似比$1+o(1)$を達成する。
• 木長$tl$が有界なグラフに対して、アルゴリズムは近似比$2+o(1)$を達成し、一般グラフに対する既存の最良の3近似を上回る。
• アルゴリズムの時間計算量は$O(n^3 \log n)$であり、これは$O(\log d)$回の`BurnGuess`呼び出しによるもので、各呼び出しのコストは$O(n^2 d)$である。
• 最適性の証明は、$g^*$が有効なスケジュールが存在する最小のラウンド数であることを示す距離に基づく議論に依拠しており、端点間隔に基づく下界$g^*$を用いている。