불꽃 진압 문제의 파라미터화 복잡도 재조명: 연소 정점 수와 미연소 정점 수를 중심으로

본 논문은 Firefighter 문제, 즉 화재가 시작점 s에서 시작해 매 시간 단계마다 한 정점을 방어하고 남은 불타지 않은 정점에 화재가 전파되는 모델을 다룬다. 목표는 연소된 정점 수를 최소화하거나 구출된 정점 수를 최대화하는 방어 전략을 찾는 것이다. 문제는 일반 그래프와 트리 모두에서 NP‑complete임이 알려져 있으며, 특히 이분 그래프와 차수 3 이하의 트리에서도 난이도가 유지된다. **1. 기존 연구와 문제 정의** Cai, Verbin, Yang(2010)은 세 가지 파라미터화 버전을 제시했다. (i) “Saving k Vertices”(구출 정점 수 k) – 최소 k개의 정점을 구출할 수 있는가? (ii) “Saving All But k Vertices”(연소 정점 수 k) – 최소 n‑k개의 정점을 구출할 수 있는가? (iii) “Maximum k‑Vertex Protection”(방어 정점 수 k) – k개의 정점만 방어했을 때 최대 구출 정점 수는? 이들은 트리에서 각각 FPT 알고리즘과 커널을 제시했지만, 일반 그래프에서의 복잡도와 트리에서의 커널 존재 여부는 미해결이었다. **2. 주요 결과** - **연소된 정점 수 k 파라미터**: 일반 그래프에서 FPT 알고리즘을 제시한다. 구체적으로, 트리폭 tw와 함께 (k,tw)를 파라미터로 하면 MSOL과 Courcelle 정리를 이용해 2^{O(k·tw)}·n 시간에 해결 가능함을 증명한다. 이는 트리폭이 상수인 경우, 예를 들어 평면 그래프, 소수 차수 그래프, 마이너-프리 그래프 등에 적용된다. - **트리에서의 커널 부정**: “Saving All But k Vertices” 문제는 차수 4 이하의 트리에서도 다항식 커널이 존재하지 않음을 보인다. 이는 크기 O(k^c) (c는 상수)인 커널이 존재한다면, 복잡도 이론에 모순이 발생한다는 교차-압축 논증을 사용한다. - **구출된 정점 수 K 파라미터**: K를 파라미터로 잡으면, 이분 그래프에서도 W