[論文レビュー] On the approximability of the burning number

Anders Martinsson|arXiv (Cornell University)|Aug 8, 2023

Complexity and Algorithms in GraphsComputer Science被引用数 3

ひとこと要約

本稿では、一般のグラフのバーニング数に対して、$\left(\frac{2}{1-e^{-2}} + \varepsilon\right) \approx 2.313$-近似を達成する多項式時間の確率的アルゴリズムを提示している。これは、以前の最高の近似因子3を上回るものである。また、木と森のバーニング数に対しては多項式時間近似スキーム（PTAS）を確立し、$\frac{5}{3} - \varepsilon$ 近似がNP困難であることを証明しており、近似可能性のタイトな境界を確立している。

ABSTRACT

The burning number of a graph $G$ is the smallest number $b$ such that the vertices of $G$ can be covered by balls of radii $0, 1, \dots, b-1$. As computing the burning number of a graph is known to be NP-hard, even on trees, it is natural to consider polynomial time approximation algorithms for the quantity. The best known approximation factor in the literature is $3$ for general graphs and $2$ for trees. In this note we give a $2/(1-e^{-2})+\varepsilon=2.313\dots$-approximation algorithm for the burning number of general graphs, and a PTAS for the burning number of trees and forests. Moreover, we show that computing a $(\frac53-\varepsilon)$-approximation of the burning number of a general graph $G$ is NP-hard.

研究の動機と目的

• 一般のグラフのバーニング数に対する既知の最高近似因子を、以前の3-近似を上回ることを目的とする。
• 木と森のバーニング数に対する多項式時間近似スキーム（PTAS）を開発することを目的とする。
• バーニング数の近似可能性のタイトな下界を確立し、$\frac{5}{3} - \varepsilon$ 近似がNP困難であることを示すこと。
• 既知の近似アルゴリズムとバーニング数問題の効率的計算の限界の間のギャップを埋めること。

提案手法

• 一般のグラフに対して、$\left(\frac{2}{1-e^{-2}} + \varepsilon\right)$-近似を達成する確率的近似アルゴリズムを設計した。このアルゴリズムは、確率的解析を用いた貪欲な戦略に基づいている。
• 任意のグラフ被覆が、$O(1/\varepsilon)$ 個の異なる半径に制限された場合、多項式サイズの半径ベクトルとして表現可能であるという事実を活用し、動的計画法を可能にした。
• 木と森に対しては、各頂点がその部分木の部分被覆を表す集合$\mathcal{C}_k(v)$を維持する動的計画法を用いた。ここで$k$は除外された部分木の深さを示す。
• 各頂点$v$の$\mathcal{C}_0(v)$を再帰的に計算する際、部分木内のすべての可能な中心$v_0$と半径$r$を考慮し、子部分木からの結果を被覆表現の和集合（sumset）を用いて統合した。
• 非負整数の$O(1/\varepsilon)$次元ベクトルに対する結合および和集合操作を用い、多項式時間での実行を保証した。
• 支配数問題からの還元を用いて、$\left(\frac{5}{3} - \varepsilon\right)$-近似がNP困難であることを証明した。具体的には、元のグラフ$G$の支配数が反映されるように、グラフ$G'$を構築した。

実験結果

リサーチクエスチョン

• RQ1 一般のグラフのバーニング数に対する近似因子を、既知の3-近似を上回ることは可能か？
• RQ2 木と森のバーニング数に対してPTASは存在するか？
• RQ3 P ≠ NPを仮定した場合、一般のグラフのバーニング数の最良近似因子は何か？
• RQ4 3未満の定数$\alpha$が存在し、$\alpha$-近似が依然としてNP困難であるか？

主な発見

• 本稿では、一般のグラフのバーニング数に対して、高確率で$\left(\frac{2}{1-e^{-2}} + \varepsilon\right) \approx 2.313$-近似を達成する確率的多項式時間アルゴリズムを提示している。
• 木と森のバーニング数に対しては、最適値に任意に近い近似が多項式時間で達成可能なPTASが開発された。
• $\frac{5}{3} - \varepsilon$ 近似が任意の$\varepsilon > 0$に対してNP困難であることが証明され、強力な近似不能性の閾値が確立された。
• 近似不能性の結果は、支配数問題からの還元により示された。具体的には、$\gamma(G) < \varepsilon d$ ならば $b(G') < (3+\varepsilon)d$、$\gamma(G) \geq 10d$ ならば $b(G') \geq 5d$ を満たすようにグラフ$G'$を構築した。
• 木に対する動的計画法は、$O(1/\varepsilon)$次元のベクトルを用いて被覆を表現し、多項式サイズの集合を用いることで、加法的誤差$a$以内の最小バーニング数を効率的に計算可能である。
• このフレームワークにより、小さなバーニング数に対してはブルートフォース探索と組み合わせることで、完全に多項式時間の$\left(\frac{2}{1-e^{-2}} + \varepsilon\right)$-近似が可能になった。