대형 클리크 마이너 찾기의 난이도 증명

이 논문은 그래프 G와 정수 h가 주어졌을 때 G가 완전 그래프 K_h를 마이너로 포함하는지를 판별하는 문제, 즉 Hadwiger 수 결정 문제의 복잡도 특성을 조사한다. Hadwiger 수는 그래프가 포함할 수 있는 가장 큰 클리크 마이너의 정점 수이며, Hadwiger 추측(그래프의 Hadwiger 수는 색채 수 이상)과도 깊은 연관이 있다. 기존 연구에서는 이 문제가 고정 매개변수 트랙터블(FPT)임은 알려졌지만, 다항시간 알고리즘은 존재하지 않는다. 저자는 이 문제의 정확한 복잡도, 즉 NP‑complete임을 증명한다. 먼저, 도미닉 수 문제를 소개한다. 도미닉 수는 그래프의 정점을 서로소인 지배 집합으로 최대 몇 개로 나눌 수 있는지를 묻는 문제이며, d=3인 경우에도 NP‑complete임이 알려져 있다. 논문은 이 도미닉 수 문제를 Hadwiger 수 문제로 감소시킨다. 감소 과정은 다음과 같다. 원 그래프 G의 정점을 v₁,…,vₙ이라 하고, 목표 도미닉 수 d를 입력으로 받는다. 새로운 그래프 G′은 세 층으로 구성된다. 1. 상위 층: d개의 정점 t₁,…,t_d으로 이루어진 완전 그래프. 2. 중간 층: n개의 정점 m₁,…,m_n으로 이루어진 독립 집합. 3. 하위 층: n·(n+1)개의 정점 b_{i,j} (1≤i≤n, 1≤j≤n+1)으로 이루어진 완전 그래프. 연결 규칙은 다음과 같다. 모든 상위‑중간 정점 쌍은 연결하고, 중간 정점 m_i와 하위 정점 b_{j,k}는 i=j 혹은 v_i와 v_j가 인접한 경우에만 연결한다. 즉, m_i는 자신이 지배하는 원 그래프의 정점들에 대응하는 하위 정점들과 연결된다. 목표 마이너 크기 h는 n·(n+1)+d 로 정의한다. 논문은 일련의 보조 정리(Lemma 1~5)를 통해 G′에서 h개의 서로 인접한 연결 성분을 만들기 위한 구조적 제약을 분석한다. Lemma 1은 비중간 정점이 포함되지 않은 연결 성분은 단일 중간 정점만 가질 수 있음을 보여준다. Lemma 2는 중간 정점의 차수를 정확히 계산한다. Lemma 3과 Lemma 4는 h개의 클리크 마이너를 구성하는 각 성분이 정확히 하나의 비중간 정점(상위 혹은 하위)과 필요시 중간 정점들을 포함해야 함을 증명한다. 특히, 하위 층의 n+1개의 정점 중 하나는 단일 정점 성분이 되어야 함을 이용한다. Lemma 5는 상위 정점 t_i가 포함된 성분에 대응하는 중간 정점들의 원 그래프 정점 집합 D_i가 G의 지배 집합임을 보인다. 이러한 정리를 종합하면, G가 d개의 서로소 지배 집합을 가질 경우, G′는 h개의 클리크 마이너를 형성할 수 있다(각 지배 집합에 대응하는 상위 정점과 그에 연결된 중간 정점들을 하나의 성분으로 묶고, 하위 정점들을 각각 단일 성분으로 사용). 반대로, G′가 h개의 클리크 마이너를 가질 경우, 각 상위 정점이 포함된 성분이 대응하는 D_i가 G의 서로소 지배 집합이 된다. 따라서 G의 도미닉 수가 d 이상인지와 G′의 Hadwiger 수가 h 이상인지가 동치임을 보인다(Lemma 6). Theorem 1은 위 감소가 다항시간에 수행될 수 있고, 도미닉 수 문제가 NP‑complete이며, Hadwiger 수 문제는 명백히 NP에 속함을 이용해 Hadwiger 수 문제가 NP‑complete임을 결론짓는다. 또한, 저자는 분리 경로 문제를 이용한 대체 감소 방안을 간략히 제시한다. 여기서는 (n+1)-클리크에서 k개의 비인접 간선을 제거하고, 각각을 원 그래프 G의 터미널 쌍 (s_i, t_i)와 동일시한다. 분리 경로가 존재하면 해당 경로들을 이용해 누락된 간선을 대체함으로써 (n+1)-클리크 마이너를 얻을 수 있고, 반대로 마이너가 존재하면 각 터미널 쌍 사이에 경로가 존재함을 역으로 추출한다. 마지막으로 근사 난이도에 대한 논의를 포함한다. 최대 클리크 문제는 n^{1‑ε} 수준까지 근사하기 어려운 반면, Hadwiger 수는 O(√n) 비율의 다항식 근사 알고리즘이 존재한다. 최근 연구에 따르면, P≠NP이면 Hadwiger 수에 대한 PTAS는 존재하지 않으며, 현재 알려진 상한(O(√n))과 하한 사이에 큰 격차가 남아 있음을 강조한다. 결론적으로, 이 논문은 Hadwiger 수 결정 문제가 NP‑complete임을 최초로 명확히 증명하고, 그 근사 복잡도에 대한 향후 연구 방향을 제시한다.