제한된 차수의 불리언 CSP 근사 복잡도 완전 분류

초록

이 논문은 변수 등장 횟수가 제한된(최대 차수) 불리언 제약 만족 문제(#CSP)의 근사 카운팅 복잡도를 연구한다. 제약 언어에 상수 0, 1이 포함될 때, 차수가 25 이상이면 세 가지 경우만 존재한다: 모든 관계가 affine이면 다항시간에 정확히 해결, 모든 관계가 {0},{1}과 이항 함의(implication)로 표현될 수 있으면 #BIS(이분 그래프 독립집합 카운팅)와 동등, 그 외는 NP≠RP이면 FPRAS가 존재하지 않는다. 차수가 낮은 경우에는 하이퍼그래프 독립집합 카운팅과 연결된 추가 복잡도 구역이 나타난다.

상세 요약

본 연구는 제한된 차수(각 변수의 등장 횟수가 일정 상한 이하)라는 추가 제약을 두고, 불리언 #CSP의 근사 카운팅 문제를 체계적으로 분류한다. 먼저 제약 언어 Γ가 상수 관계 {0}·{1}을 포함한다는 가정 하에, 인스턴스의 최대 차수 Δ를 매개변수로 삼는다. 저자들은 Δ≥25인 경우에 대해 완전한 삼분법을 제시한다. 첫 번째 경우는 모든 관계가 affine, 즉 선형 방정식의 해 집합으로 표현될 수 있는 경우이다. 이러한 언어는 가우시안 소거와 같은 선형 대수적 기법으로 정확히 카운팅이 가능하므로, 다항시간 알고리즘이 존재한다. 두 번째 경우는 Γ가 {0},{1}과 이항 함의(implication) 연산만으로 생성되는 클론에 속할 때이다. 이때 #CSP(Γ) 문제는 이분 그래프에서 독립집합을 근사적으로 카운팅하는 #BIS 문제와 AP‑동형임을 보인다. #BIS는 현재 알려진 다항시간 근사 알고리즘이 없으며, #P‑완전 문제와도 구분되는 중간 난이도 클래스로 인식된다. 마지막 경우는 위 두 경우에 속하지 않는 모든 언어에 해당한다. 저자들은 이러한 언어에 대해, 만약 NP≠RP라면 전역적인 FPRAS가 존재하지 않음을, 즉 근사 카운팅이 #P‑hard 수준임을 증명한다. 이 증명은 복잡도 이론에서 흔히 쓰이는 AP‑reduction 기법과, 변수 복제·제한을 통한 차수 감소 기법을 결합한다.

Δ가 25보다 작을 때는 추가적인 복잡도 구역이 등장한다. 특히 차수가 3~4인 경우, Γ가 특정 형태의 이항 함의와 부정(¬)을 포함하면, 문제는 k‑uniform 하이퍼그래프의 독립집합 카운팅(#HyperIndSet)과 동등해진다. #HyperIndSet은 차수와 하이퍼엣 크기에 따라 근사 가능성의 경계가 미세하게 변하는데, 저자들은 이러한 경계선을 정확히 기술하고, 몇몇 경우에는 FPRAS가 존재함을, 다른 경우에는 #BIS와 동등함을 보인다. 전체적으로 이 논문은 차수 제한이 복잡도 구분에 미치는 영향을 정량적으로 분석하고, 기존의 무제한 차수 결과를 일반화·세분화한다는 점에서 이론적 의의가 크다.