가중치 부울 제약 만족 문제의 복잡도

초록

이 논문은 가중치가 부여된 부울 제약 만족 문제(Weighted Boolean #CSP)의 파티션 함수 계산 복잡도에 대한 이분법 정리를 제시한다. 문제는 비음수 함수들의 유한 집합 F에 의해 파라미터화되며, 이 함수들은 문제 인스턴스의 구성(가능한 해)에 가중치를 할당하는 데 사용된다. 고전적인 제약 만족 문제는 0·1 값만을 갖는 함수들의 특수 경우에 해당한다. 우리는 모든 함수가 (1) “곱 형태(product type)”이거나 (2) “순수 아핀(pure affine)”인 경우 파티션 함수를 다항 시간 내에 계산할 수 있음을 보인다. 이 두 조건을 만족하지 않는 임의의 고정된 집합 F에 대해서는 파티션 함수 계산이 FP^{#P}-완전임을 증명한다.

상세 요약

본 연구는 가중치가 부여된 부울 제약 만족 문제, 즉 #CSP의 복잡도 지형을 명확히 구분하는 이분법(dichotomy) 정리를 제공한다는 점에서 이론 컴퓨터 과학, 특히 계산 복잡도와 통계 물리학 사이의 교차점에 중요한 기여를 한다. 기존의 #CSP 연구는 주로 0‑1 값 함수, 즉 제약 자체가 만족 여부만을 판단하는 경우에 초점을 맞추어 왔으며, 그 복잡도는 Schaefer의 1978년 이분법과 그 후의 Bulatov‑Dyer‑Richter‑Gottfried 등들의 확장 결과에 의해 잘 알려져 있다. 그러나 실제 응용—예를 들어 그래프 모델링, 베이지안 네트워크, 통계 물리학의 스핀 시스템—에서는 각 구성에 실수 혹은 정수 가중치를 부여하는 경우가 빈번하다. 이러한 상황을 포괄적으로 다루기 위해서는 함수들의 값이 비음수 실수인 일반적인 경우를 고려해야 하며, 이는 기존 이분법을 그대로 적용할 수 없게 만든다.

논문은 두 가지 구조적 특성을 정의한다. 첫 번째인 “product type”은 함수가 변수들의 독립적인 곱으로 표현될 수 있음을 의미한다. 구체적으로, f(x₁,…,x_k)=∏_{i=1}^k g_i(x_i) 형태이며, 여기서 각 g_i는 단일 변수에만 의존한다. 이러한 함수는 사실상 변수 간 상호작용이 없으므로 파티션 함수는 각 변수에 대한 독립적인 합을 곱하는 형태로 전개되어, 다항 시간 알고리즘이 즉시 얻어진다. 두 번째인 “pure affine”는 함수가 선형(또는 아핀) 제약식에 의해 정의되고, 그 값이 0 혹은 동일한 양의 상수 c만을 취하는 경우를 말한다. 즉, f(x)=c·