불린 CSP 근사 계산의 삼분법 정리

초록

이 논문은 불린 제약 만족 문제(#CSP)의 근사 카운팅 복잡도를 세 가지 경우로 완전히 구분한다. 모든 제약이 선형(affine)이면 정확히 다항시간에 셀 수 있고, 모든 제약이 IM₂ 코클론에 속하면 #BIS와 AP-동등한 #RH Π₁ 클래스에 속한다. 그 외의 경우는 #P‑완전이며, NP≠RP라면 전역적인 FPRAS가 존재하지 않는다.

상세 분석

논문은 먼저 기존의 정확 카운팅 이분법(모든 관계가 affine이면 FP, 아니면 #P‑complete)을 언급하고, 이를 근사 카운팅으로 확장한다. 핵심은 세 가지 복잡도 클래스: (i) FP에 속하는 경우는 affine 관계만으로 이루어진 제약 언어 Γ이며, 이때 선형 방정식 체계로 변환해 다항시간에 정확히 셀 수 있다. (ii) 제약 언어가 IM₂ 코클론에 포함될 때, 즉 각 관계가 δ₀, δ₁, Implies(→)의 합성으로 표현될 수 있는 경우, 문제는 #BIS(이분 그래프의 독립 집합 카운팅)와 AP‑동등함을 보인다. 이를 위해 #BIS가 #RH Π₁ 클래스의 완전 문제임을 이용하고, IM₂ 내부의 모든 관계가 #BIS에 AP‑감소 가능함을 증명한다. 특히, Implies만으로 구성된 CSP는 독립 집합과 일대일 대응을 통해 #BIS로 환원된다. (iii) 그 외의 모든 제약 언어는 최소 하나의 비‑affine, 비‑IM₂ 관계를 포함한다. 저자는 Creignou·Khanna·Sudan의 구현 기법을 활용해 OR, NAND 같은 기본 논리 연산을 구성하고, 이를 통해 #SAT(만족 가능한 할당 수)으로 AP‑감소한다. #SAT는 #P‑완전이며, 모든 #P 문제는 #SAT에 AP‑감소 가능하므로, 이 경우는 #P‑완전으로 분류된다. 논문은 또한 AP‑감소의 기술적 세부사항을 제시한다. 변수 고정(pin) 기법을 이용해 특정 변수에 δ₀·δ₁ 제약을 강제하고, 전이 폐쇄(transitive closure)와 같은 구조적 변환을 통해 복잡도 보존을 증명한다. 마지막으로, Post의 격자에서 IM₂가 코클론임을 이용해 언어 포함 관계를 정형화하고, #RH Π₁ 클래스와 #BIS 사이의 AP‑동등성을 확립한다. 전체 증명은 기존의 복잡도 이론, 논리적 클론 이론, 그리고 근사 카운팅의 AP‑감소 프레임워크를 유기적으로 결합한 것이 특징이다.