[논문 리뷰] A Characterization of Approximation Resistance

Subhash Khot, Madhur Tulsiani외 1명|arXiv (Cornell University)|2013. 05. 23.

Complexity and Algorithms in Graphs참고 문헌 8인용 수 3

한 줄 요약

이 논문은 유일성 게임 추측(UKC) 하에서 제약 만족 문제(CSPs)의 근사 저항성 예측자에 대한 완전한 특성화를 제공한다. 즉, 특정 대칭 성질을 갖는 확률 측도가 관련된 볼록 다면체 위에 존재할 때, 예측자가 근사 저항성이 있음을 보여준다. 이 특성화는 혼합 선형 및 준선형 프로그래밍 계층과 셔랄리-애덤스 선형 프로그래밍 계층에서도 성립하며, CSP의 근사 알고리즘의 한계를 통합적으로 이해할 수 있는 프레임워크를 제공한다.

ABSTRACT

A predicate f:{-1,1}^k -> {0,1} with ρ(f) = \frac{|f^{-1}(1)|}{2^k} is called {\it approximation resistant} if given a near-satisfiable instance of CSP(f), it is computationally hard to find an assignment that satisfies at least ρ(f)+Ω(1) fraction of the constraints. We present a complete characterization of approximation resistant predicates under the Unique Games Conjecture. We also present characterizations in the {\it mixed} linear and semi-definite programming hierarchy and the Sherali-Adams linear programming hierarchy. In the former case, the characterization coincides with the one based on UGC. Each of the two characterizations is in terms of existence of a probability measure with certain symmetry properties on a natural convex polytope associated with the predicate.

연구 동기 및 목표

• 제약 만족 문제(CSPs)에서 근사 저항성 예측자를 완전히 특성화하는 것.
• 예측자가 근사 저항성이 있음이 그 관련 볼록 다면체 위에 대칭 확률 측도가 존재할 때이고, 그 경우에만 성립함을 입증하는 것.
• 혼합 선형 및 준선형 프로그래밍 계층과 셔랄리-애덤스 선형 프로그래밍 계층으로 이 특성화를 확장하는 것.
• 이전의 근사 저항성 결과(예: 쌍방향 독립 분포 및 정수화 갭 기반 결과)를 통합하고 일반화하는 것.
• 유일성 게임 추측 하에서 CSP의 복잡도를 정확한 구조적 조건을 식별함으로써 해결하는 것.

제안 방법

• 각 예측자 f에 대해 만족 가능한 할당에 대한 모든 가능한 분포를 나타내는 볼록 다면체를 정의한다.
• 근사 저항성의 핵심 구조 조건으로 이 다면체 위에 대칭 확률 측도를 도입한다.
• 유일성 게임 추측(UGC)을 사용하여, 이러한 대칭 측도의 존재가 근사 저항성을 특성화함을 증명한다.
• 셔랄리-애덤스 및 혼합 LP/SDP 계층을 적용하여, 동일한 대칭 측도 조건이 이러한 프레임워크에서 저항성을 특성화함을 보인다.
• 반복 조건부 및 오차 한계를 이용해 소규모 변수 집합 위에 국소적으로 일致하는 확률 분포의 가족을 구성한다.
• 라자베드라와 스투어의 결과를 활용하여, 약간의 국소 일致성 분포를 총합 변화 거리가 유한한 전역 일치 분포로 올리는 것.

실험 결과

연구 질문

• RQ1 유일성 게임 추측 하에서, CSP 예측자의 근사 저항성을 완전히 특성화하는 구조적 조건은 무엇인가?
• RQ2 근사 저항성의 특성화는 UKC 프레임워크를 초월하여 선형 및 준선형 프로그래밍 계층으로까지 확장될 수 있는가?
• RQ3 만족 할당의 다면체 위에 대칭 확률 측도가 존재하는 것이 셔랄리-애덤스 계층에서 정확히 근사 저항성과 대응하는가?
• RQ4 LP 및 SDP 타협 계층은 특정 조합 구조를 가진 예측자의 근사 저항성과 어떻게 관련이 있는가?
• RQ5 만족 할당 위의 쌍방향 독립 분포와 더 넓은 의미의 근사 저항성 간의 정확한 관계는 무엇인가?

주요 결과

• 유일성 게임 추측 하에서, 예측자 f는 f와 관련된 볼록 다면체 위에 대칭 확률 측도가 존재할 때이고, 그 경우에만 근사 저항성이 있다.
• 동일한 특성화는 혼합 선형 및 준선형 프로그래밍 계층에서도 성립하며, 대칭 측도 조건은 필수적이고 충분한 조건이다.
• 특성화는 셔랄리-애덤스 선형 프로그래밍 계층으로까지 확장되며, 이러한 측도의 존재는 LP 타협이 1에 가까운 정수화 갭을 가짐을 의미한다.
• 모든 ε > 0에 대해, n개의 변수를 가진 CSP(f)의 인스턴스가 존재하여, 모든 정수 할당이 제약 조건의 분율 [ρ(f)−ε, ρ(f)+ε] 내에 존재하지만, cε·log log n라운드의 셔랄리-애덤스 타협은 최소 1−O(k√ε)의 값을 가진다.
• 이 구성은 셔랄리-애덤스 계층에서 정수화 갭과 라운드 수 사이의 거의 최적의 트레이드오프를 달성하며, 근사 저항성 예측자에 대해 로그 라운드 이후에도 만족 가능성 탐지에 실패함을 보여준다.