다중 소방관이 있는 트리에서의 화재 진압 문제

초록

본 논문은 매 시점에 $b\ge2$명의 소방관을 배치할 수 있을 때, 트리 구조에서 화재 진압 문제의 복잡성을 조사한다. 최대 차수가 $b+2$인 트리에서는 문제를 NP‑완전으로 증명하고, 화재 발생점의 차수가 $b+1$ 이하인 경우에는 다항시간 알고리즘을 제시한다. 또한 $k$‑캐터펄라라는 특수 트리 클래스에 대해 효율적인 해결책을 제공한다.

상세 분석

연구는 먼저 기존의 단일 소방관 모델을 $b$명의 소방관이 동시에 배치될 수 있는 일반화된 형태로 확장한다. 이때 핵심 질문은 “트리의 최대 차수가 $b+2$일 때 문제의 난이도가 어떻게 변하는가?”이다. 저자들은 $b\ge2$인 경우, 차수가 $b+2$인 트리에서 화재 진압 문제를 3‑SAT 혹은 Vertex Cover와 같은 알려진 NP‑완전 문제로 다항시간 환원함으로써 NP‑완전성을 입증한다. 환원 과정에서 각 변수와 절을 트리의 서브트리로 매핑하고, 소방관의 $b$명 배치 능력을 이용해 선택적 방어를 구현한다. 이때 차수 제한 $b+2$는 환원 구조가 트리 형태를 유지하도록 하는 핵심 파라미터이며, 차수가 $b+1$ 이하이면 이러한 복잡한 구조를 만들 수 없게 된다.

차수가 $b+1$ 이하인 경우, 저자들은 동적 계획법(DP)을 기반으로 한 다항시간 알고리즘을 설계한다. 알고리즘은 트리를 뿌리에서 리프 방향으로 순회하면서 각 정점에 대해 “현재 시점에 소방관을 배치했을 때 남는 화재 위험”과 “배치하지 않았을 때 위험” 두 가지 상태를 저장한다. $b$명의 소방관이 동시에 배치될 수 있으므로, 각 레벨에서 가능한 방어 조합을 조합론적으로 계산하지만, 차수 제한 덕분에 조합 수가 $O((b+1)^b)$ 수준으로 제한되어 전체 복잡도는 $O(n\cdot (b+1)^b)$ 이하가 된다.

특수 트리 클래스인 $k$‑캐터펄라에 대해서는 더욱 정교한 구조적 특성을 활용한다. $k$‑캐터펄라는 중심 경로(스파인)와 그에 붙어 있는 길이 최대 $k$인 가지들로 구성된다. 저자들은 스파인 위에서의 소방관 배치를 먼저 결정하고, 각 가지는 독립적인 서브문제로 분리할 수 있음을 증명한다. 이를 통해 전체 문제를 $O(n\cdot k)$ 시간 안에 해결할 수 있는 선형‑다항 알고리즘을 도출한다.

이 논문의 주요 공헌은 (1) $b\ge2$인 경우 차수 $b+2$ 트리에서 NP‑완전성을 최초로 확립한 점, (2) 차수 $b+1$ 이하에서는 다항시간 해결책을 제공한 점, (3) $k$‑캐터펄라와 같은 실용적인 트리 구조에 대해 효율적인 알고리즘을 설계한 점이다. 이러한 결과는 기존 단일 소방관 모델의 한계를 넘어, 다중 소방관 상황에서의 전략적 방어 계획 수립에 이론적 기반을 제공한다. 또한 차수와 소방관 수 사이의 임계 관계를 명확히 함으로써, 향후 그래프 이론 및 알고리즘 설계에서 유사한 파라미터화된 문제들을 탐구하는 데 중요한 지표가 될 것이다.