구간 그래프와 스플릿 그래프에서의 플러딩 게임 복잡도 분석

초록

플러딩 게임(Flood‑It)의 난이도가 색상 수에 크게 좌우된다는 점을 밝히고, 색상 수가 고정된 경우에는 구간 그래프에서 다항시간 알고리즘이 존재하지만, 색상 수가 제한되지 않을 때는 적절히 제한된 구간 그래프(정구간 그래프)와 스플릿 그래프에서도 NP‑완전임을 증명한다.

상세 분석

본 논문은 플러딩 게임, 즉 플레이어가 한 번에 하나의 정점을 선택해 색을 바꾸면 같은 색으로 연결된 컴포넌트 전체가 동시에 색이 변하는 게임을 그래프 이론적 관점에서 확장한다. 기존 연구는 격자 형태 보드나 트리, 사이클 등 제한된 구조에 대해 복잡도 결과를 제시했지만, 구간 그래프와 스플릿 그래프와 같이 “구간 표현”이라는 공통된 구조적 특성을 갖는 그래프군에 대한 체계적인 분석은 부족했다. 저자들은 먼저 색상의 개수 k를 파라미터로 두고, k가 상수일 때와 일반적인 경우를 구분한다.

구간 그래프는 각 정점이 실선 구간으로 표현되고, 두 정점 사이에 간선이 존재하면 해당 구간이 겹치는 형태이다. 이 특성 덕분에 정점들을 왼쪽 끝점 기준으로 정렬하면 “구간 순서”라는 선형 구조가 드러난다. 논문은 이 순서를 활용해 동적 계획법(DP)을 설계한다. 구체적으로, DP 상태를 (i, S) 형태로 정의하는데, 여기서 i는 현재 고려 중인 구간의 인덱스, S는 현재까지 사용된 색상의 집합을 의미한다. 상태 전이에서는 i번째 구간을 선택하거나 건너뛰는 두 경우를 고려하고, 색상 선택에 따라 연결된 컴포넌트가 어떻게 확장되는지를 O(k) 시간 안에 계산한다. 결과적으로, 전체 알고리즘의 시간 복잡도는 O(n·k·2^k) 정도가 되며, k가 상수이면 다항시간에 해결 가능함을 보인다.

반면, 색상 수가 제한되지 않은 경우에는 문제의 난이도가 급격히 상승한다. 저자들은 정구간 그래프(모든 구간이 동일한 길이를 갖는 구간 그래프)와 스플릿 그래프(클릭과 독립 집합으로 분할 가능한 그래프)에 대해 NP‑완전성을 증명한다. 정구간 그래프에 대한 NP‑hardness는 3‑SAT 인스턴스를 구간 배치로 변환하는 reduction을 통해 이루어진다. 각 변수와 절을 나타내는 구간 집합을 설계하고, 색상 선택이 변수 할당에 대응하도록 함으로써, 전체 그래프를 하나의 색으로 “플러딩”하는 것이 원래 논리식의 만족 여부와 동치임을 보인다. 스플릿 그래프에 대해서는 동일한 논리를 이용해, 클릭 부분을 색상 선택의 “핵심”으로, 독립 집합을 “제한” 역할로 매핑함으로써 NP‑hardness를 확보한다.

또한, 저자들은 이러한 난이도 차이가 색상 수 k가 파라미터화된 “고정‑파라미터 트랙터블(FPT)” 관점에서도 의미가 있음을 언급한다. 구간 그래프에서는 k에 대한 지수적 의존성을 갖는 알고리즘이 존재하지만, 정구간·스플릿 그래프에서는 k가 입력에 포함될 경우에도 문제 자체가 NP‑hard이므로, 일반적인 FPT 접근은 불가능하다.

결과적으로, 논문은 플러딩 게임의 복잡도가 그래프의 구조적 제약과 색상 수라는 두 축에 의해 결정된다는 중요한 통찰을 제공한다. 구간 그래프와 같은 선형적인 구간 순서를 갖는 클래스에서는 색상 수가 작을 때 효율적인 해결책이 가능하지만, 구간 길이가 동일하거나 그래프가 스플릿 형태를 띨 때는 색상 수와 무관하게 근본적인 계산적 어려움이 존재한다는 점을 명확히 한다. 이러한 발견은 향후 플러딩 게임을 일반 그래프 이론, 파라미터화 복잡도, 그리고 근사 알고리즘 설계와 연결짓는 연구에 중요한 출발점을 제공한다.