[논문 리뷰] On the approximability of the burning number

Anders Martinsson|arXiv (Cornell University)|2023. 08. 08.

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$는 제외된 구성요소의 깊이를 나타낸다.
• 자식 서브트리의 결과를 합집합 연산을 통해 조합하면서, 부분 커버 표현의 합집합을 사용하여 $\mathcal{C}_0(v)$를 재귀적으로 계산한다.
• 비음수 정수의 $O(1/\varepsilon)$-차원 벡터에 대해 합집합 및 합집합 연산을 수행함으로써 다항시간 실행을 보장한다.
• 다른 그래프의 번짐 수 문제에 대한 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)를 개발하여 최적값에 대해 임의로 가까운 근사가 다항시간 내에 가능해졌다.
• 모든 $\varepsilon > 0$에 대해 $\frac{5}{3} - \varepsilon$ 근사화가 NP-난이도임을 증명하여 강력한 근사 불가능성 경계를 설정하였다.
• 이 근사 불가능성 결과는 독립 집합 수 문제에서의 감소 기법을 통해 입증되었으며, 원래 그래프 $G$의 독립 집합 수 $\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)$-근사가 가능해졌다.