복소 가중치 제한도 부울 CSP의 근사 카운팅 이분법 정리

초록

본 논문은 복소수 가중치를 허용하는 부울 제약 만족 문제(#CSP)를 입력 인스턴스의 변수 등장 횟수가 일정 상수 d 로 제한된 경우에 대해 근사 카운팅 복잡도를 완전히 규정한다. d≥3이면 모든 제약 집합 F 에 대해 두 가지 경우만 존재한다: (1) F 가 등식·부등식·단항 제약만으로 이루어진 경우는 다항시간에 정확히 계산 가능하고, (2) 그 외의 경우는 복소수 가중치 #SAT 문제에 AP‑환원된다. d=2인 경우는 Holant 문제와 동등한 난이도를 가진다.

상세 분석

이 논문은 복소수 가중치를 갖는 부울 CSP의 근사 카운팅 복잡도를 ‘제한도(d)’라는 파라미터에 따라 완전히 구분하는 이분법 정리를 제시한다. 먼저, 자유로운 단항 제약을 허용한다는 전제 하에, 인스턴스의 각 변수는 최대 d번만 등장한다는 제한을 둔다. d≥3인 경우, 저자는 두 가지 상호 배타적인 클래스로 문제를 나눈다. 첫 번째 클래스는 제약 집합 F 가 ‘E_D’라 불리는 특별한 집합에 포함될 때이며, 여기에는 등식(EQ), 부등식(NEQ), 그리고 모든 단항 제약이 포함된다. 이러한 경우는 제한도와 무관하게 복소수 가중치 함수들을 효율적으로 ‘제한된 T‑구성가능성(limited T‑constructibility)’을 이용해 기본적인 선형 연산으로 변환할 수 있어, 전체 카운팅을 다항시간에 정확히 수행할 수 있다(즉, FP_C에 속한다). 두 번째 클래스는 F가 E_D에 속하지 않을 때이며, 이때는 복소수 가중치 #SAT(=#SAT_C) 문제로 AP‑환원된다. 즉, 임의의 복소수 가중치 부울 CSP는 #SAT_C만큼 어려워진다. 이 결과는 기존의 무게가 없는 경우에 대한 Dyer‑Goldberg‑Jerrum의 3‑분류와는 달리, 복소수 가중치와 자유로운 단항 제약이 결합될 때는 ‘두 가지’만 남는다는 점에서 의미가 크다.

핵심 기술은 Valiant의 홀로그래픽 알고리즘에서 영감을 받은 ‘시그니처(signature)’ 이론과, 저자들이 새롭게 정의한 ‘제한된 T‑구성가능성’이다. 시그니처는 제약을 행렬 형태로 표현하고, 특정 변환(핀(pin)·프로젝션·정규화)을 통해 복잡한 제약을 기본적인 EQ·NEQ·Δ₀·Δ₁ 형태로 축소한다. 제한된 T‑구성가능성은 이러한 변환이 변수 등장 횟수(d)를 초과하지 않도록 제한하면서도, 필요한 모든 연산을 구현할 수 있음을 보인다. 이를 통해 #CSP*₍d₎(F)와 무제한도 #CSP*(F) 사이에 AP‑동등성을 증명하는 핵심 명제(Prop. 1.2)를 얻는다.

d=2인 경우는 상황이 크게 달라진다. 저자는 이 경우를 Holant 문제와 동등하게 보이며, 자유로운 단항 제약을 포함한 Holant(F) 문제의 근사 복잡도와 동일함을 보인다. 이는 Holant 프레임워크가 변수 등장 제한이 2일 때는 ‘양쪽 끝점’(변수와 제약) 모두가 동일한 역할을 하게 되므로, 기존의 CSP‑Holant 변환이 그대로 적용된 결과이다. d=1인 경우는 모든 인스턴스가 단순히 독립적인 단항 제약들의 곱으로 환원되므로, 명백히 다항시간에 해결 가능하다.

이 논문은 복소수 가중치가 허용된 경우에도 제한도에 따라 근사 카운팅 복잡도가 명확히 구분될 수 있음을 보여준다. 특히, 복소수 가중치가 자유로운 단항 제약과 결합될 때는 제한도가 3 이상이면 ‘정확히 계산 가능’ 혹은 ‘#SAT와 동등한 난이도’라는 두 가지 경우만 남게 되며, 이는 기존 무게 없는 경우보다 더 강력한 구분이다. 또한, 제한된 T‑구성가능성이라는 새로운 도구는 향후 다른 제한도 기반 카운팅 문제에도 적용될 가능성을 시사한다.