[논문 리뷰] Burning a Graph is Hard

Anthony Bonato, Jeannette Janssen외 1명|arXiv (Cornell University)|2015. 11. 20.

Complex Network Analysis Techniques참고 문헌 6인용 수 6

한 줄 요약

이 논문은 최대 차수 3인 비순환 그래프, 스팼 그래프, 경로 숲과 같은 제한된 그래프 계열에 대해서도 그래프의 연소 수를 결정하는 것이 NP-완전임을 증명한다. 또한, 팔의 수나 구성 요소의 수가 고정된 경우, 이러한 계열에서 연소 수를 다항시간 내에 계산할 수 있는 알고리즘을 제시하여 이 NP-난해 문제의 해석 가능 경계를 설정한다.

ABSTRACT

Graph burning is a model for the spread of social contagion. The burning number is a graph parameter associated with graph burning that measures the speed of the spread of contagion in a graph; the lower the burning number, the faster the contagion spreads. We prove that the corresponding graph decision problem is extbf{NP}-complete when restricted to acyclic graphs with maximum degree three, spider graphs and path-forests. We provide polynomial time algorithms for finding the burning number of spider graphs and path-forests if the number of arms and components, respectively, are fixed.

연구 동기 및 목표

• 희박하고 구조화된 그래프 계열에 대한 그래프 연소 문제의 계산 복잡도를 규명하는 것.
• 최대 차수 3인 비순환 그래프에 대해 연소 수 결정 문제의 NP-완전성 여부를 규명하는 것.
• 스팸 그래프와 경로 숲에 대한 그래프 연소의 복잡도를 조사하는 것.
• 구조적 파rameter(팔의 수, 구성 요소 수)가 고정된 경우에 효율적인 알고리즘을 개발하여 연소 수를 계산하는 것.

제안 방법

• 최대 차수 3인 비순환 그래프에서 그래프 연소의 NP-완전성을 증명하기 위해 알려진 NP-완전 문제로의 축소를 수행하는 것.
• 완전한 스팸 그래프와 최대 경로 숲을 기반으로 하여 연소 수 k인 후보 그래프를 생성하는 재귀적 알고리즘을 구성하는 것.
• 유효한 연소 시퀀스를 검증하기 위해 집합 방정식 $ N_{k-1}[x_1] \cup N_{k-2}[x_2] \cup \cdots \cup N_0[x_k] = V(G) $ 를 사용하는 것.
• 모든 가능한 k-연소 최대 스팸 그래프(k-BMS^t) 및 경로 숲 부분그래프를 비교하기 위해 열거하는 것.
• 입력 그래프의 팔 길이를 후보 그래프와 비교하여 입력 그래프가 k-BMS^t 그래프의 부분그래프가 되는 최소 k를 결정하는 것.
• 논문 [5]의 추론 4를 적용하여, G가 k-BMS^t 그래프의 부분그래프이면 b(G) = k임을 결론 내리는 것.

실험 결과

연구 질문

• RQ1 최대 차수 3인 비순환 그래프에 대해 그래프 연소 결정 문제의 NP-완전성 여부는 무엇인가요?
• RQ2 그래프 연소의 NP-완전성은 스팸 그래프와 경로 숲으로까지 확장되는가요?
• RQ3 팔의 수가 고정된 경우 스팸 그래프의 연소 수를 다항시간 내에 계산할 수 있는가요?
• RQ4 구성 요소 수가 고정된 경로 숲의 연소 수를 다항시간 내에 계산할 수 있는 알고리즘이 존재하는가요?
• RQ5 주어진 연소 수를 가진 그래프를 특징짓는 구조적 성질은 무엇인가요?

주요 결과

• 최대 차수 3인 비순환 그래프에 제한된 그래프 연소 결정 문제는 NP-완전하다.
• 스팸 그래프와 경로 숲에 대해서도, 구조적 단순화가 이루어진 상황에서도 문제의 NP-완전성은 유지된다.
• 팔의 수가 고정된 경우 스팸 그래프의 연소 수를 다항시간 내에 계산할 수 있는 알고리즘이 존재한다.
• 구성 요소 수가 고정된 경우 경로 숲의 연소 수를 다항시간 내에 계산할 수 있는 알고리즘이 제공된다.
• 분석의 일부로 완전한 이진 트리의 연소 수가 결정된다.
• 알고리즘은 k-연소 최대 그래프의 가족 내에서 부분그래프 포함 여부를 검사함으로써 연소 수를 정확히 계산한다.