일반화 만족도 문제의 해 개수 모듈로 k 계산 복잡도

초록

본 논문은 일반화 만족도 문제(Generalised Satisfiability Problem)의 해 개수를 정수 k에 대해 모듈러 연산으로 세는 복잡도를 분석한다. 모든 제약 관계가 선형(affine)인 경우에는 다항시간 알고리즘이 존재하지만, 그렇지 않은 경우 대부분 #_kP‑완전이다. 단 k=2인 특수 경우 하나만 예외적으로 다항시간에 해결될 수 있다.

상세 분석

이 연구는 1978년 Schaefer가 제시한 일반화 만족도 문제(일명 Boolean CSP)의 해 개수를 모듈러 연산으로 세는 문제에 대한 복잡도 분류를 제공한다. Valiant이 1979년에 정의한 parity‑P(모듈로 2 카운팅) 개념을 확장하여, 임의의 양의 정수 k에 대해 #_kP라는 복잡도 클래스를 도입한다. 핵심 결과는 “모든 제약 관계가 affine(선형)일 때는 다항시간에 정확히 해 개수를 계산할 수 있다”는 점이다. affine 관계는 XOR, 상수값, 그리고 변수 자체의 부정 등으로 표현되는 선형 방정식 집합으로, 이러한 제약은 가우스 소거법을 이용해 효율적으로 해를 구할 수 있다. 반면, 하나라도 비선형 관계가 포함되면 문제는 일반적으로 #_kP‑완전으로 전이된다. 이는 Creignou와 Hermann이 1996년에 제시한 #P‑카운팅 이분법을 모듈러 k 버전으로 일반화한 결과와 일치한다. 특히 k=2인 경우에는 “모든 관계가 0‑1 선형식이거나, 부정된 변수만을 포함하는 경우”에 한해 다항시간 알고리즘이 존재한다는 특수한 예외가 존재한다. 이 예외는 모듈로 2 연산이 갖는 대칭성(짝수·홀수 구분)과 관련이 있다. 논문은 복잡도 증명을 위해 두 가지 주요 기법을 사용한다. 첫째, affine 관계에 대해서는 선형대수학적 구조를 이용해 해 공간을 직접 계산한다. 둘째, 비선형 경우에는 SAT‑완전인 3‑CNF나 NAE‑SAT 같은 표준 NP‑완전 문제로 환원함으로써 #_kP‑완전성을 보인다. 이러한 환원 과정에서 모듈러 연산이 보존되도록 특수한 가중치와 변수 복제 기법을 설계한다. 결과적으로, 일반화 만족도 문제의 카운팅 복잡도는 제약 집합의 대수적 성질에 완전히 의존한다는 강력한 이분법이 도출된다. 이 이분법은 기존 #P‑카운팅 이론과 모듈러 카운팅 이론을 통합하는 교량 역할을 하며, 향후 복합 제약 시스템이나 암호학적 프로토콜에서 해 개수의 모듈러 정보를 활용하는 연구에 중요한 이론적 기반을 제공한다.