색칠 휴리스틱을 이용한 최대 클리크 알고리즘의 복잡도 하한: 2ⁿ⁽¹⁄⁵⁾ 시간

초록

본 논문은 정점 색칠 휴리스틱을 활용하는 분기·한계(Maximum Clique) 알고리즘이 최악의 경우 Ω(2^{0.2n}) 의 실행 시간을 피할 수 없음을 증명한다. 이를 위해 5-사이클을 q번 조인한 그래프 C₅, q를 구성하고, 색칠·분기 과정에서 최소 q 단계의 재귀 호출이 발생함을 보인다.

상세 분석

논문은 색칠 기반 상한 추정이 최대 클리크 탐색에 널리 쓰이는 사실을 출발점으로 삼아, 이러한 접근법 자체가 근본적인 시간 하한을 갖는다는 점을 이론적으로 입증한다. 핵심은 n이 5의 배수일 때, n/5개의 5-사이클을 조인한 그래프 C₅, q (여기서 q=n/5) 를 고려하는데, 이 그래프는 최대 클리크 크기가 2q (=0.4n)이고 색칠 수는 3q (=0.6n)이다. 색칠 휴리스틱이 최적에 가깝다고 가정하면, 알고리즘은 색 클래스가 2q+1 이상 남아 있는 동안 매 단계마다 하나의 정점을 선택해 재귀 호출을 수행한다. 이는 정확히 q 번, 즉 n/5 단계의 깊이를 만든다. 각 단계에서 최소 두개의 서브트리가 생성되므로 전체 호출 수는 2^{q}=2^{0.2n} 에 비례한다. 논문은 이 과정을 의사코드와 단계별 설명으로 상세히 전개하고, 색칠·분기·하한 추정이라는 세 가지 핵심 요소가 모두 이 하한을 초래함을 강조한다. 그러나 증명은 색칠 휴리스틱이 최적 색칠에 매우 근접한다는 가정에 크게 의존한다. 실제 구현에서는 색칠 품질이 크게 달라질 수 있으며, 정점 순서 재배열 단계가 하한에 미치는 영향은 논문에서 다루지 않는다. 또한, 조인 그래프 C₅, q 는 특수한 구조이므로 일반적인 임의 그래프에 대한 직접적인 적용 가능성은 제한적이다. 그럼에도 불구하고, 색칠 기반 상한 추정이 알고리즘 설계에서 병목이 될 수 있음을 이론적으로 뒷받침한 점은 의미가 크다. 향후 연구는 색칠 품질을 개선하거나, 다른 상한 추정 기법을 도입했을 때 동일한 하한이 유지되는지를 조사해야 할 필요가 있다.