삼분의 이 소방관은 부족하다

초록

불이 그래프를 타고 퍼지는 과정을 모델링한 파이어플레이머 문제에서 평균적으로 한 라운드당 삼분의 이 명의 소방관만으로는 무한 격자를 제어할 수 없으며, 저자들은 직교 평면 격자와 강한 평면 격자 각각에 대해 정확한 상한선과 하한선을 증명하여 Ng와 Raff의 두 추측을 해결하였다

상세 분석

이 논문은 파이어플레이머 문제를 그래프 이론과 전염병 모델링의 관점에서 재조명한다
연구자는 먼저 직교 평면 격자와 강한 평면 격자라는 두 종류의 무한 격자를 정의하고 각 격자에서 화재가 시작될 때 보호할 수 있는 정점의 평균 수를 ‘소방관 비율’이라 명명한다
핵심 질문은 평균 소방관 비율이 3/2 보다 작으면 화재를 영원히 억제할 수 없는가 하는 점이다
이를 위해 저자들은 하한을 보이는 구성과 상한을 보이는 전략을 각각 설계한다
하한 증명에서는 초기 화재가 무한 격자 중심에서 시작한다고 가정하고, 매 라운드마다 보호 가능한 정점 수가 3/2 보다 작을 경우 화재가 선형적으로 확산하여 결국 무한히 많은 정점을 불태운다는 귀류법을 사용한다
특히, 격자 구조의 대칭성을 이용해 화재 전선의 형태를 정밀히 분석하고, 전선이 일정한 기울기를 유지하면서 확장되는 경우를 고려한다
상한 증명에서는 구체적인 보호 전략을 제시한다
직교 격자에서는 매 라운드마다 대각선 방향으로 두 개, 축 방향으로 하나씩 정점을 보호함으로써 화재 전선을 ‘Z’ 형태로 제한하고, 결국 전선이 더 이상 확장되지 않게 만든다
강한 격자에서는 인접 정점이 8개인 특성을 활용해 보호 정점을 보다 효율적으로 배치하여 동일한 3/2 비율로 화재를 억제한다
두 격자 모두에 대해 제시된 전략은 다항 시간 알고리즘으로 구현 가능함을 보이며, 따라서 3/2 이상의 평균 소방관 비율이면 충분히 화재를 제어할 수 있음을 증명한다
이 과정에서 저자들은 기존 문헌에서 제시된 약한 상한값들을 개선하고, 특히 Ng와 Raff가 제시한 두 추측을 완전히 해결함으로써 파이어플레이머 문제의 이론적 한계를 크게 확장한다