[논문 리뷰] A simple proof that AND-compression of NP-complete problems is hard

Holger Dell|arXiv (Cornell University)|2014. 05. 18.

Advanced Graph Theory Research참고 문헌 19인용 수 4

한 줄 요약

이 논문은 SAT와 같은 NP-완전 문제의 AND-압축이 표준 복잡도 가정 하에 어렵다는 간소화된 증명을 제시한다: coNP ⊆ NP/poly가 아닐 경우, 효율적인 AND-압축은 존재하지 않는다. 증명은 일반화된 초그래프 토너먼트와 Kullback–Leibler 발산을 통한 노이즈 민감도 한계를 사용하여, 압축 지도가 여러 인스턴스에 걸쳐 만족 가능성의 유지 없이 복잡도 계층을 위반하지 않을 수 없음을 보여준다.

ABSTRACT

Drucker [1] proved the following result: Unless the unlikely complexity-theoretic collapse coNP ⊆ NP/poly occurs, there is no AND-compression for SAT. The result has implications for the compressibility and kernelizability of a whole range of NP-complete parameterized problems. We present a simple proof of this result. An AND-compression is a deterministic polynomial-time algorithm that maps a set of SAT-instances x1,..., xt to a single SAT-instance y of size poly(maxi |xi|) such that y is satisfiable if and only if all xi are satisfiable. The “AND ” in the name stems from the fact that the predicate “y is satisfiable ” can be written as the AND of all predicates “xi is satisfiable”. Drucker’s result complements the result by Bodlaender et al. [2] and Fortnow and Santhanam [3], who proved the analogous statement for OR-compressions, and Drucker’s proof not only subsumes that result but also extends it to randomized compression algorithms that are allowed to have a certain probability of failure. The overall structure of our proof is similar to the arguments of Ko [4] for P-selective sets, which use the fact that tournaments have dominating sets of logarith-mic size. We generalize this fact to hypergraph tournaments. For the information-theoretic part of the proof, we consider a natural generalization of the average noise sensitivity of a Boolean function, which is bounded for compressive maps. We prove this with mechanical calculations that involve the Kullback–Leibler divergence. 1

연구 동기 및 목표

• 표준 복잡도 가정 하에 Drucker의 결과, 즉 SAT에 대한 AND-압축이 불가능함을 더 단순하고 접근하기 쉬운 방식으로 증명하는 것.
• 오류 확률이 유한한 경계를 가지는 랜덤화 압축 알고리즘으로의 경계 확장을 통해 압축 가능성의 경계를 확장하는 것.
• 토너먼트에서의 구조적 결과를 초그래프 토너먼트로 일반화하여 증명 프레임워크를 지원하는 것.
• 일반화된 노이즈 민감도 측정법을 사용하여 압축 지도의 정보 이론적 한계를 설정하는 것.
• 그러한 압축 가능성은 다항계층의 붕괴, 특히 coNP ⊆ NP/poly를 암시할 것이며 이를 입증하는 것.

제안 방법

• Ko의 P-선택 집합에 대한 접근을 일반화하여, 다중 인스턴스 간의 결정 일관성을 모델링하기 위해 토너먼트를 초그래프 토너먼트로 일반화한다.
• 압축 지도의 무작위 변형 하에서의 평균 행동을 캡처하는 부울 함수에 대한 일반화된 노이즈 민감도 측정법을 도입한다.
• Kullback–Leibler 발산을 사용하여 다수의 SAT 인스턴스를 하나로 압축할 때의 정보 이론적 비용을 한계화한다.
• 극한 조합론을 적용하여, 모든 입력에 대해 만족 가능성의 유지가 반드시 필요하며, 이는 알려진 복잡도 한계와 모순됨을 보여준다.
• 확률 분포와 발산 측정법을 사용한 기계적 계산을 통해 압축 불가능성의 논리를 형식화한다.
• 구조적 그래프 이론 도구와 정보 이론적 부등식을 조합하여 AND-압축이 가능하다는 가정 하에 모순을 도출한다.

실험 결과

연구 질문

• RQ1 표준 복잡도 가정 하에 SAT에 대한 AND-압축은 효율적으로 달성될 수 있는가?
• RQ2 랜덤성은 AND-압축에서 어떤 역할을 하는가? 그리고 오류 확률이 유한한 경계를 가지는 랜덤화 알고리즘이 압축 가능성을 달성할 수 있는가?
• RQ3 일반화된 노이즈 민감도 측정법은 NP-완전 문제의 압축 가능성과 어떻게 관련이 있는가?
• RQ4 초그래프 토너먼트는 다수의 인스턴스에 걸쳐 만족 가능성의 일관성을 어느 정도 모델링할 수 있는가?
• RQ5 만약 AND-압축이 가능하다면 어떤 복잡도 이론적 붕괴가 발생할 것인가?

주요 결과

• coNP ⊆ NP/poly가 아닐 경우, SAT에 대한 AND-압축은 결정론적 다항시간 내에 불가능하다.
• 결과는 오류 확률이 유한한 경계를 가지는 랜덤화 압축 알고리즘으로까지 확장되며, 동일한 불가능성 결과를 유지한다.
• 압축 지도에 대해 부울 함수의 일반화된 노이즈 민감도 측정법이 유계이며, 이는 정보 이론적 분석을 가능하게 한다.
• 초그래프 토너먼트의 사용은 표준 토너먼트에서의 구조적 결과를 고차원 일관성 조건으로 일반화하는 데 기여한다.
• Kullback–Leibler 발산은 압축 매핑에서의 정보 손실에 대한 날카운 한계를 도출하여, 압축 가능성이라는 가정 하에 모순을 이끌어낸다.
• 증명은 어떤 AND-압축이라도 다항계층의 붕괴, 특히 coNP ⊆ NP/poly를 암시함을 입증한다. 이는 매우 불가능한 것으로 간주된다.