[논문 리뷰] Burning Two Worlds: Algorithms for Burning Dense and Tree-like Graphs

Shahin Kamali, Avery Miller외 1명|arXiv (Cornell University)|2019. 09. 02.

Advanced Graph Theory Research참고 문헌 29인용 수 11

한 줄 요약

이 논문은 밀도가 높은 그래프에 적합한 최소 차수 기반 알고리즘과 경로 길이 또는 트리 길이가 유계인 그래프에 적합한 알고리즘을 제안한다. 첫 번째 알고리즘은 최대 $\sqrt{\frac{24n}{\delta+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-난이도의 그래프 화재 문제를 해결하는 것.
• 상수인 최소 차수를 가진 그래프에 대해 그래프 화재 추측을 긍정적으로 해결하기 위해 최대 $\lceil\sqrt{n}\rceil$ 라운드 내에 화재를 퍼뜨리는 것.
• 경로 길이와 트리 길이가 유계인 그래프에 대해 기존 일반 그래프의 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^*$ 가 유효한 스케줄이 존재하는 최소 라운드 수임을 보여주며, 종단점 간의 분리 거리 기반 하한선을 사용한다.