자기참조 클리크 인스턴스로 보는 알고리즘 난이도와 위상 전이

초록

이 논문은 Erdős–Rényi 무작위 그래프에서 클리크 존재 여부가 급격히 변하는 위상 전이점을 정확히 규명하고, 그 점에서 동일한 정점 수·간선 수·차수열을 갖지만 k‑클리크의 존재·부재가 서로 변환 가능한 그래프 군을 구성한다. 이러한 자기참조 인스턴스는 알고리즘이 전체 해 공간을 탐색하지 않으면 반례를 만들 수 있음을 보이며, 최악 경우에 완전 탐색이 불가피함을 이론적으로 설명한다.

상세 분석

논문은 먼저 클리크 문제에 대한 위상 전이 현상을 수학적으로 증명한다. Erdős–Rényi 모델 G(n,m)에서 간선 밀도 ρ가 임계 함수 W(n) 을 기준으로 ρ < W(n)이면 k‑클리크가 거의 존재하지 않고, ρ ≥ W(n)이면 거의 확실히 존재한다는 것을, 첫 번째와 두 번째 모멘트 방법을 이용해 엄밀히 보인다. 특히, k = O(log n)인 경우에 대해 m < n^{2‑2k‑1}이면 기대 클리크 수 E