[논문 리뷰] FPTAS for Counting Monotone CNF

Jing‐Cheng Liu, Pinyan Lu|arXiv (Cornell University)|2013. 11. 15.

Markov Chains and Monte Carlo Methods참고 문헌 33인용 수 19

한 줄 요약

이 논문은 각 변수가 최대 다섯 개의 절에 나타나는 단조적 CNF 공식에서 만족할 수 있는 할당 수를 세는 데 있어, 관련성 감쇠의 새로운 응용을 통해 최초의 결정적 전역 다항식 시간 근사 스킴(FPTAS)을 제시한다. 주요 결과는 날카로운 임계값을 보여주는데, 변수의 최대 차수 5에서는 FPTAS가 존재하지만, 차수 6이 되면 NP-난이도가 되며, 이는 이 문제군의 근사 가능성 경계를 해결한다.

ABSTRACT

A monotone CNF formula is a Boolean formula in conjunctive normal form where each variable appears positively. We design a deterministic fully polynomial-time approximation scheme (FPTAS) for counting the number of satisfying assignments for a given monotone CNF formula when each variable appears in at most $5$ clauses. Equivalently, this is also an FPTAS for counting set covers where each set contains at most $5$ elements. If we allow variables to appear in a maximum of $6$ clauses (or sets to contain $6$ elements), it is NP-hard to approximate it. Thus, this gives a complete understanding of the approximability of counting for monotone CNF formulas. It is also an important step towards a complete characterization of the approximability for all bounded degree Boolean #CSP problems. In addition, we study the hypergraph matching problem, which arises naturally towards a complete classification of bounded degree Boolean #CSP problems, and show an FPTAS for counting 3D matchings of hypergraphs with maximum degree $4$. Our main technique is correlation decay, a powerful tool to design deterministic FPTAS for counting problems defined by local constraints among a number of variables. All previous uses of this design technique fall into two categories: each constraint involves at most two variables, such as independent set, coloring, and spin systems in general; or each variable appears in at most two constraints, such as matching, edge cover, and holant problem in general. The CNF problems studied here have more complicated structures than these problems and require new design and proof techniques. As it turns out, the technique we developed for the CNF problem also works for the hypergraph matching problem. We believe that it may also find applications in other CSP or more general counting problems.

연구 동기 및 목표

• 변수 발생 횟수가 제한된 단조적 CNF 공식에서 만족할 수 있는 할당 수를 세는 결정적 FPTAS를 설계하는 것.
• 단조적 CNF에서의 계산이 NP-난이도가 되는 정확한 임계값을 규명하여, 이 문제군의 근사 가능성 경계를 해결하는 것.
• 두 변수 제약 조건 또는 제한된 변수 차수 모델을 초월해 관련성 감쇠 기법을 확장하는 것.
• 변수 차수가 제한된 부울 #CSP 문제의 근사 가능성에 대한 완전한 특성화를 수립하는 것.
• 전체 분류를 향한 계단식 단계로, 최대 차수 4인 3차원 초그래프 매칭에 대한 새로운 FPTAS를 제공하는 것.

제안 방법

• 저자는 만족할 수 있는 할당에 대한 확률 분포를 사용하고, 계산 트리를 통해 변량 할당과 이웃 변수들 간의 관계를 모델링하여 마진 확률을 기반으로 분석한다.
• 변수가 두 개 이상의 제약 조건에 등장하고, 제약 조건이 두 개 이상의 변수를 포함하는 복잡한 제약 조건 구조를 다룰 수 있는 새로운 관련성 감쇠 프레임워크를 적용한다.
• 마진 확률에 대한 재귀 함수를 정의하고, 단일 변수 함수 분석을 통해 수렴성을 증명하며, 예를 들어 $ f(r_1) = \kappa_2^{(2,3)}(\{r_1, r_2'\}) $ 와 같은 함수를 통해 감쇠 속도를 제한한다.
• 핵심 혁신은 변수 차수를 6에서 5로 줄이기 위해 $ OR_2 $ 제약 조건을 시뮬레이션할 수 있는 제약 조건 $ S_2(x,y,z) = (x \vee y) \wedge (x \vee z) $ 를 사용하는 것이다.
• 초그래프 매칭에 대해선 제약 조건을 5항 트리로 묶고, 고정 및 제약 조건 병합 기법을 사용해 변수 발생 빈도를 줄인다.
• NP-난이도는 $ \#{\rm CSP}_6(OR_2) $ 의 알려진 NP-난이도 인스턴스를 $ \#{\rm CSP}_5^c(S_2) $ 를 통해 시뮬레이션하여 증명한다. 이는 차수 6이 해법이 불가능하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 변수 차수가 제한된 단조적 CNF 공식에서 만족할 수 있는 할당 수를 세는 데 있어 FPTAS 존재의 정확한 임계값은 무엇인가?
• RQ2 두 변수 제약 조건 또는 두 제약 조건 모델을 초월해 관련성 감쇠 기법을 고차원 제약 조건과 복잡한 변수-절 상호작용을 포함하는 문제에 확장할 수 있는가?
• RQ3 최대 차수 제한이 있는 3차원 초그래프 매칭을 세는 데 대해 결정적 FPTAS가 존재하는가? 이는 부울 #CSP 문제와 어떻게 관련이 있는가?
• RQ4 단조적 CNF 계산의 NP-난이도 임계값을 정확히 특성화할 수 있으며, 차수 5가 FPTAS가 존재하는 최대 값인가?
• RQ5 기존의 $ \#{\rm CSP}_6(OR_2) $ 의 난이도 높은 인스턴스를 $ \#{\rm CSP}_5^c(S_2) $ 내에서 시뮬레이션할 수 있는가? 이를 통해 근사 불가능성을 증명할 수 있는가?

주요 결과

• 각 변수가 최대 다섯 개의 절에 등장하는 단조적 CNF 공식에서 만족할 수 있는 할당 수를 세는 데 대해 FPTAS가 존재하며, 이는 차수 5에서 날카로운 임계값임을 입증한다.
• 동일한 기법을 통해 각 집합에 최대 다섯 개의 원소가 포함되는 집합 커버를 세는 데도 FPTAS를 적용할 수 있으며, 이는 이전의 간선 커버 및 독립 집합 결과를 일반화한다.
• 변수가 여섯 개 이상의 절에 등장하는 단조적 CNF에서 계산이 NP-난이도가 됨을 증명하여, 차수 5가 해법이 가능한 최대 경계임을 입증한다.
• 관련성 감쇠 프레임워크는 이전의 두 변수 또는 두 제약 조건 모델을 초월해 다변수 제약 조건과 복잡한 의존성 구조를 다룰 수 있도록 성공적으로 확장되었다.
• 유사한 제약 조건 묶기 및 병합 기법을 사용해 최대 차수 4인 초그래프에서의 3차원 매칭 수를 세는 데 FPTAS를 확립하였다.
• 논문은 $ \#{\rm CSP}_6(OR_2) $ 가 NP=RP 가 아닌 한 근사가 불가능하다는 것을 증명하였으며, 이를 $ \#{\rm CSP}_5^c(S_2) $ 내에서 하드 인스턴스를 시뮬레이션하여 확인하였다. 이는 차수 5에서의 날카로운 임계값을 확인한다.