[논문 리뷰] The complexity of counting solutions to Generalised Satisfiability Problems modulo k

John Faben|ArXiv.org|2008. 09. 10.

Advanced Graph Theory Research참고 문헌 10인용 수 13

한 줄 요약

이 논문은 정수 $k$ 모듈로 일반화된 만족 가능성 문제의 해 수를 세는 복잡도에 대한 이분법 정리를 수립한다. 모든 제약 조건이 애매하게(affine)이거나, $k=2$일 경우 제약 조합이 C-폐쇄되어 있으면 문제는 다항 시간 내에 해결 가능하다. 그렇지 않으면 $\#_k\text{P}$-완전하다. 이 결과는 크레그누와 에르만의 $\#\text{P}$ 이분법을 모듈로 수세기로 확장하며, 유일한 예외는 $k=2$일 때 비애매하고 비C-폐쇄인 집합에 해당한다.

ABSTRACT

Generalised Satisfiability Problems (or Boolean Constraint Satisfaction Problems), introduced by Schaefer in 1978, are a general class of problem which allow the systematic study of the complexity of satisfiability problems with different types of constraints. In 1979, Valiant introduced the complexity class parity P, the problem of counting the number of solutions to NP problems modulo two. Others have since considered the question of counting modulo other integers. We give a dichotomy theorem for the complexity of counting the number of solutions to Generalised Satisfiability Problems modulo integers. This follows from an earlier result of Creignou and Hermann which gave a counting dichotomy for these types of problem, and the dichotomy itself is almost identical. Specifically, counting the number of solutions to a Generalised Satisfiability Problem can be done in polynomial time if all the relations are affine. Otherwise, except for one special case with k = 2, it is #_kP-complete.

연구 동기 및 목표

• 일반화된 만족 가능성 문제의 해 수를 정수 $k$ 모듈로 세는 계산 복잡도를 규명하는 것.
• 크레그누와 에르만의 $\#\text{P}$ 이분법 정리를 모듈로 수세기 환경으로 확장하는 것.
• 모듈로 $k$에서의 수세기가 다항 시간 내에 가능하거나 여전히 어려운 정확한 조건을 규명하는 것.
• 모듈로 수세기에서 $\#_k\text{P}$-완전성의 임계점이 고전적 $\#\text{P}$-완전성과 다를 수 있는지 규명하는 것.

제안 방법

• 비결정성 튜링 기계의 수용 경로 수를 $k$ 모듈로 계산하는 함수 문제의 복잡도 클래스 $\#_k\text{P}$ 를 정의하며, $\#\text{P}$ 와 유사하게 정의한다.
• 해의 수를 $k$ 모듈로 유지하는 파르시모니어스 감소를 사용하여 $\#_k\text{P}$-완전 문제 간의 감소를 가능하게 한다.
• 기본 함수(예: OR, XOR, F, T)의 '충실한 실현' 개념을 활용하여 제약 조합을 통해 복잡도를 전파한다.
• 기존의 $\#_k\text{P}$-완전 문제에서의 감소를 통해 복잡도를 증명하며, C-폐쇄 및 애매 폐쇄 등의 폐쇄 성질을 활용한다.
• 제약 조합이 OR 또는 XOR 함수를 실현할 수 있다면, 모든 $k$에 대해 $\#_k\text{SAT}(\mathcal{F})$ 는 $\#_k\text{P}$-완전하다는 것을 증명한다.
• 수학적 귀납법과 업그레이드 보조정리(예: 보조정리 4.8 및 4.10)를 사용하여 $\#_{2^{k-1}}\text{P}$ 에서부터 $\#_{2^k}\text{P}$ 로의 복잡도 확장을 수행하며, 홀수 소수에서 복합 모듈러스로의 확장을 수행한다.

실험 결과

연구 질문

• RQ1 일반화된 만족 가능성 문제의 해 수를 정수 $k$ 모듈로 세는 것이 어떤 조건에서 다항 시간 내에 가능할 수 있는가?
• RQ2 모듈로 수세기에서 $\#_k\text{P}$-완전성의 임계점이 어떤 $k$ 에서도 고전적 $\#\text{P}$-완전성과 다를 수 있는가?
• RQ3 모듈로 $k$에서의 수세기가 다항 시간 내에 가능할 수 있는 비트리비얼한 경우가 존재하는가, 즉 모듈로 2에서는 어려운데도 모듈로 $k$에서는 쉬운 경우가 존재하는가?
• RQ4 $\#_k\text{P}$-완전성은 작은 모듈러스에서 큰 모듈러스로, 예를 들어 $2^{k-1}$ 에서 $2^k$ 로의 업그레이드가 가능한가?
• RQ5 C-폐쇄 및 애매 폐쇄 등의 폐쇄 성질은 모듈로 수세기의 복잡도에 어떤 영향을 미치는가?

주요 결과

• 제약 조합 $\mathcal{F}$ 의 모든 제약 조건이 애매하다면, $k$ 와 무관하게 모듈로 $k$에서 해 수를 세는 것은 다항 시간 내에 가능하다.
• $k=2$ 일 때, $\mathcal{F}$ 가 C-폐쇄되어 있으면 모듈로 2에서의 수세기가 다항 시간 내에 가능하다. 이는 애매하지 않아도 된다.
• $k=2$ 이고 $\mathcal{F}$ 가 애매하지 않다면, $\#_2\text{SAT}(\mathcal{F})$ 는 $\#_2\text{P}$-완전하다.
• $k \geq 3$ 일 때, $\#_k\text{SAT}(\mathcal{F})$ 는 $\mathcal{F}$ 가 애매하거나 $k=2$ 이고 $\mathcal{F}$ 가 C-폐쇄인 경우를 제외하고는 $\#_k\text{P}$-완전하다.
• 이분법의 유일한 예외는 $k=2$ 이고 $\mathcal{F}$ 가 C-폐쇄가 아니지만 여전히 $\#_2\text{P}$-완전하지 않은 경우이지만, 이 경우는 증명의 구조상 배제된다.
• 복잡도는 모듈로 업그레이드를 통해 유지된다: $\#_{2^{k-1}}\text{SAT}(\mathcal{F} \cup \{\text{F}, \text{T}\})$ 가 $\#_{2^{k-1}}\text{P}$-완전하다면, $\#_{2^k}\text{SAT}(\mathcal{F})$ 는 $\#_{2^k}\text{P}$-완전하다.