선형 화재 진압 온라인 알고리즘의 새로운 경계

초록

본 논문은 사이클이 하나라도 존재하는 그래프에서 온라인 화재 진압 문제의 경쟁 복잡도가 크게 증가함을 보이고, 1‑almost 트리와 선인장 그래프에 대해 Θ(√n) 수준의 알고리즘을 설계한다. 또한, 선인장 그래프에서 매 라운드 두 명의 소방관이 동시에 배치되는 경우 경쟁 비율을 3 이하로 낮출 수 있음을 증명한다.

상세 분석

온라인 화재 진압 게임은 매 라운드마다 가용 소방관 수가 사전에 알려지지 않은 상태에서, 불이 퍼지는 그래프의 특정 정점을 보호하는 전략을 요구한다. 기존 연구에서는 트리 구조에서 2‑competitive 알고리즘이 존재함을 보였으나, 사이클이 추가되면 알고리즘과 최적 해가 서로 다른 잔여 그래프를 다루게 되어 기존의 충전(Charging) 기법이 무효화된다. 논문은 먼저 α+1, β+1 형태의 꼬리 달린 사이클(탐프올 그래프)에서, 어떠한 결정적 온라인 알고리즘도 Ω(√n) 이하의 경쟁 비율을 달성할 수 없음을 증명한다. 이 하한은 사이클 길이 α와 꼬리 길이 β를 적절히 조절해 n=Θ(β²)인 경우에 최악의 비율을 만든다.

하한을 보완하기 위해 저자들은 “커버드 집합”(covered set) 개념을 도입한다. 정점 v가 보호되면 v와 그 하위 서브트리(또는 사이클 내부)의 모든 정점이 v에 의해 커버된다고 정의하고, 알고리즘이 보호한 정점 집합 Ψ_A와 최적 해가 보호한 집합 Ψ의 커버드 집합을 각각 κ(Ψ_A), κ(Ψ)라 표기한다. 이후, κ(Ψ*)를 여러 독립 파트로 분할하고, 각 파트를 알고리즘이 보호한 정점들의 커버드 집합에 “충전”한다. 핵심은 하나의 알고리즘 정점이 상수 횟수만큼만 충전되는 보장을 통해 전체 경쟁 비율을 O(√n)으로 제한하는 것이다.

1‑almost 트리(하나의 사이클만 포함)에서는 사이클을 “깨는” 정점을 선택하는 전략과, 사이클 내부와 외부에서 동시에 큰 커버드 집합을 확보하는 두 가지 경우를 교대로 적용한다. 사이클을 깨는 위치는 현재 가용 소방관 수와 남은 정점 수를 고려해 최적화되며, 이를 통해 (5√n+2)‑competitive 알고리즘을 얻는다.

선인장 그래프에서는 여러 사이클이 존재하지만, 두 사이클이 하나 이상의 정점을 공유하지 않으므로 각 사이클을 독립적으로 처리할 수 있다. 저자들은 각 사이클에 대해 위의 1‑almost 트리 전략을 적용하고, 사이클 간 충돌을 최소화하기 위해 “우선순위 그래프”를 구성한다. 결과적으로 (20√n+1)‑competitive 알고리즘을 설계한다.

특이하게도, 선인장 그래프에서 매 라운드마다 짝수(특히 두 명)의 소방관이 동시에 배치되는 경우, 트리폭이 2인 특성을 활용해 “쌍 보호” 전략을 적용한다. 이때 두 정점을 동시에 보호함으로써 사이클을 빠르게 차단하고, 최적 해와의 차이를 상수 수준으로 억제한다. 최종적으로 3‑competitive 알고리즘을 제시한다.

전체적으로 논문은 사이클 존재가 온라인 화재 진압 문제의 난이도를 급격히 상승시킨다는 중요한 통찰을 제공하고, 커버드 집합 기반 충전 프레임워크를 통해 다양한 그래프 클래스에서 최적에 근접한 경쟁 비율을 달성하는 방법을 체계적으로 제시한다.