가중 독립 집합 카운팅의 지수 시간 복잡도

초록

본 논문은 #3SAT이 2^{Ω(n)} 시간 이하로 풀리지 않는다는 가정(#ETH) 하에, 그래프의 독립 집합을 가중치 x(유리수, x≠0)로 가산하는 문제의 시간 복잡도가 2^{Ω(n/ log³ n)} 이상임을 보인다. 핵심은 해의 개수를 보존하면서 상수 배만큼만 크기를 늘리는 3SAT→독립 집합 변환과, 정점 복제·경로 추가를 이용한 다항 로그 크기 증가 변환을 결합한 뒤, Dell‑Husfeldt‑Wahlen의 보간 기법을 적용한 것이다. 결과적으로 크기 n 그래프에서 크기 n/3 독립 집합을 정확히 세는 문제는 2^{Ω(n)} 시간이 필요하고, 가중 카운팅은 2^{Ω(n/ log³ n)} 이하로는 불가능함을 증명한다.

상세 분석

이 논문은 #3SAT 문제에 대한 지수적 하한 가정, 즉 #ETH(Exponential Time Hypothesis for counting) 를 전제로 독립 집합 카운팅 문제의 복잡도 경계를 새롭게 설정한다. 첫 번째 기술적 기여는 기존의 NP‑완전성 감소와 달리 해의 수를 정확히 보존하는 #‑보존 감소를 설계한 점이다. 구체적으로, 각 3‑CNF 절을 작은 그래프 위젯으로 변환하고, 변수와 절 사이의 연결을 통해 독립 집합과 만족 할당 사이에 일대일 대응을 만든다. 이 변환은 입력 변수 n에 대해 그래프 정점 수를 O(n) 로 유지하므로, 인스턴스 크기의 팽창이 상수 배에 불과하다.

두 번째 핵심은 가중 카운팅을 다루기 위한 그래프 변형 기법이다. 저자들은 “정점 복제(vertex cloning)”와 “경로 추가(path addition)”를 조합해, 특정 정점에 복제본을 여러 개 만들고 그 사이에 길이가 조절된 경로를 삽입한다. 이 과정을 통해 독립 집합의 크기에 따라 가중치 x^k 가 정확히 반영되도록 그래프 구조를 설계한다. 중요한 점은 이러한 변형이 전체 정점 수를 O(n·polylog n) 로만 증가시킨다는 것이다.

이후 Dell, Husfeldt, Wahlen이 제시한 보간(interpolation) 기법을 차용한다. 보간 기법은 여러 개의 변형된 인스턴스를 만든 뒤, 각 인스턴스에서 얻은 카운팅 값을 이용해 원래 문제의 가중 카운팅 값을 다항식 형태로 복원한다. 변형 인스턴스마다 크기가 polylog n 만큼만 늘어나므로, 전체 알고리즘이 2^{o(n)} 시간에 해결될 경우 #3SAT도 2^{o(n)} 시간에 해결될 수 있다는 모순을 만든다. 따라서 가중 독립 집합 카운팅은 2^{Ω(n/ log³ n)} 이하의 시간으로는 풀 수 없으며, 특히 크기 n/3 독립 집합을 정확히 세는 경우는 2^{Ω(n)} 하한을 갖는다.

이 결과는 기존에 알려진 독립 집합 근사 카운팅의 하한을 강화할 뿐 아니라, 가중 카운팅이라는 보다 일반적인 설정에서도 #ETH가 강력한 제한을 제공한다는 점을 보여준다. 또한, 정점 복제·경로 추가라는 단순한 그래프 변형이 복잡도 이론에서 중요한 도구가 될 수 있음을 시사한다.