부호가 섞인 가중 부울 CSP 복잡도 완전분류

초록

이 논문은 부울 변수에 대한 가중 제약 만족 문제(#CSP)의 파티션 함수 계산 복잡도를 완전하게 구분한다. 가중 함수는 부호를 결정하는 다항식 s와 비음수 크기 함수 g의 곱 (-1)^s·g 로 표현한다. 모든 함수가 ‘순수 선형형식’(pure affine) 크기와 2차 부호 다항식으로 정의되거나, ‘곱 형태’(product type) 크기와 1차 부호 다항식으로 정의될 때는 다항시간에 해결 가능하고, 그 외 경우는 FP^#P‑완전임을 보인다.

상세 분석

논문은 먼저 가중 부울 CSP를 일반화된 제약 함수 집합 𝔽 로 정의한다. 각 함수 f : {0,1}^k → ℚ는 부호 다항식 s(x₁,…,x_k) 와 비음수 함수 g(x₁,…,x_k) 의 곱 (-1)^{s}·g 로 분해될 수 있음을 보이며, 이를 통해 ‘양수 가중’ 문제와는 달리 부호가 섞인 경우를 체계적으로 다룰 수 있다. 핵심 기술은 부호 다항식의 차수와 크기 함수의 구조에 따라 복잡도가 급격히 변한다는 점이다.

첫 번째 다항시간 클래스는 ‘pure affine’ 형태이다. 여기서 g는 선형 방정식들의 해 집합을 나타내는 지표 함수의 곱으로, 즉 g(x)=∏_{i}δ(A_i·x=b_i) 와 같이 표현된다. 부호 다항식 s는 최대 2차(즉, 이차식 혹은 상수)이며, 이는 부호가 변수 간의 쌍곱까지 허용하지만 그 이상은 허용하지 않는다. 이러한 제한 하에서는 파티션 함수를 선형대수적 변환(가우스 소거)과 이차식의 부호 합산을 통해 다항시간에 정확히 계산할 수 있다.

두 번째 다항시간 클래스는 ‘product type’이다. 여기서 g는 변수별 독립적인 비음수 함수들의 곱, 즉 g(x)=∏_{i}h_i(x_i) 형태이며, 각 h_i 는 0·1 값을 갖는 단순 함수이다. 부호 다항식 s는 1차식만 허용한다(선형 부호). 이 경우 파티션 함수는 변수별 독립적인 합으로 분해되어, 각 변수에 대해 두 개의 가중치를 합산하는 간단한 동적 계획법으로 해결된다.

위 두 경우를 제외하면, 저자들은 복잡도 이론의 표준 기법(보통 #P‑hardness 증명, AP‑reduction, 그리고 FP^#P‑완전성) 을 이용해 문제를 FP^#P‑완전으로 귀결시킨다. 특히, 부호 다항식이 3차 이상이거나, g가 순수 선형형식·곱 형태가 아닌 경우, 혹은 두 구조가 혼합된 경우에 대해 복잡도 감소를 위한 다항시간 알고리즘이 존재하지 않음을 보인다.

이 논문의 주요 기여는 부호가 섞인 가중 함수에 대한 체계적인 분류 체계를 제공함으로써, 기존의 비음수 가중 CSP 연구를 일반화하고, 복잡도 경계가 부호 다항식의 차수와 크기 함수의 구조에 정확히 일치한다는 강력한 결과를 제시한다는 점이다. 또한, ‘pure affine + quadratic sign’와 ‘product type + linear sign’라는 두 가지 자연스러운 클래스가 실제 알고리즘 설계에서 중요한 역할을 할 수 있음을 보여준다.