2프리플러드잇은 다항시간으로 해결

초록

본 논문은 2‑FREE‑FLOOD‑IT 문제를 다항 시간 알고리즘으로 해결함을 증명하고, 이를 통해 이전 연구에서 제기된 복잡도 의문에 답한다.

상세 요약

2‑FREE‑FLOOD‑IT은 색칠된 그래프에서 두 개의 색만을 사용해 연속적인 “홍수” 연산을 수행하며, 목표는 전체 정점을 하나의 색으로 통일하는 최소 단계 수를 찾는 문제이다. 기존 연구에서는 일반적인 FLOOD‑IT이 NP‑hard임을 보였지만, 색의 제한이 두 개일 때는 복잡도가 크게 낮아질 가능성이 제시되었다. 논문은 먼저 문제를 “연결 성분 그래프”로 변환한다. 각 색별 연결 성분을 정점으로, 인접한 성분 사이에 간선을 두어 새로운 이분 그래프를 만든다. 이때 홍수 연산은 한 색의 모든 성분을 선택해 인접한 다른 색 성분에 병합하는 동작에 해당한다. 핵심 아이디어는 이 그래프가 트리 구조를 가질 경우, 최적의 병합 순서를 동적 계획법(DP)으로 구할 수 있다는 점이다. 저자들은 모든 일반 그래프에 대해 트리 분해를 수행하고, 트리 폭이 제한되지 않더라도 2색 제한으로 인해 “색 전이 그래프”가 실제로는 사이클이 없는 구조임을 증명한다. 구체적으로, 두 색만 존재하면 동일 색 성분 사이에 직접적인 충돌이 없으므로, 색 전이 그래프는 항상 이분 트리이며, 각 단계에서 선택 가능한 색은 유일하게 결정된다. 이를 기반으로 알고리즘은 다음과 같이 진행한다. ① 초기 그래프를 색 성분 트리로 변환 ② 루트에서 리프까지의 깊이와 서브트리 크기를 계산 ③ 각 서브트리마다 최소 홍수 횟수를 DP 테이블에 저장 ④ 최종적으로 루트에서 얻은 값이 전체 최소 단계가 된다. 시간 복잡도는 트리 변환 O(|V|+|E|)와 DP 단계 O(|V|)를 합쳐 선형에 가까운 O(n·log n) 수준이며, 메모리 사용량도 O(n)이다. 증명 부분에서는 귀류법을 사용해, 만약 비최적 순서가 존재한다면 해당 순서는 반드시 불필요한 색 전환을 포함한다는 점을 보이며, 이는 DP가 선택한 순서와 동등하거나 더 큰 비용을 갖는다는 것을 보여준다. 따라서 알고리즘이 전역 최적임을 보장한다. 이 결과는 2‑FREE‑FLOOD‑IT이 다항 시간에 해결 가능함을 명확히 하며, 색 수가 3 이상이면 복잡도가 급격히 상승한다는 기존 가설을 뒷받침한다.