[논문 리뷰] On the Usefulness of Predicates

Per Austrin, Johan Håstad|arXiv (Cornell University)|2012. 04. 25.

Complexity and Algorithms in Graphs참고 문헌 16인용 수 10

한 줄 요약

이 논문은 Max-CSP에서 술어의 '유용성' 개념을 도입하여, 관련 목표 Q에 대해 랜덤 추측을 능가하는 알고리즘을 설계하는 데 사용될 수 있는 술어 P가 언제인지를 정의한다. 유일성 게임 추측(Unequeness Games Conjecture, UGC) 하에, 이는 완전한 특성화를 제공한다: 술어 P가 유용하지 않다(즉, 어떤 Q에 대해서도 유용하지 않다)는 것은 그 만족 가능한 할당들이 짝별로 독립적인 분포를 지닐 때이다.

ABSTRACT

Motivated by the pervasiveness of strong inapproximability results for Max-CSPs, we introduce a relaxed notion of an approximate solution of a Max-CSP. In this relaxed version, loosely speaking, the algorithm is allowed to replace the constraints of an instance by some other (possibly real-valued) constraints, and then only needs to satisfy as many of the new constraints as possible. To be more precise, we introduce the following notion of a predicate $P$ being \emph{useful} for a (real-valued) objective $Q$: given an almost satisfiable Max-$P$ instance, there is an algorithm that beats a random assignment on the corresponding Max-$Q$ instance applied to the same sets of literals. The standard notion of a nontrivial approximation algorithm for a Max-CSP with predicate $P$ is exactly the same as saying that $P$ is useful for $P$ itself. We say that $P$ is useless if it is not useful for any $Q$. This turns out to be equivalent to the following pseudo-randomness property: given an almost satisfiable instance of Max-$P$ it is hard to find an assignment such that the induced distribution on $k$-bit strings defined by the instance is not essentially uniform. Under the Unique Games Conjecture, we give a complete and simple characterization of useful Max-CSPs defined by a predicate: such a Max-CSP is useless if and only if there is a pairwise independent distribution supported on the satisfying assignments of the predicate. It is natural to also consider the case when no negations are allowed in the CSP instance, and we derive a similar complete characterization (under the UGC) there as well. Finally, we also include some results and examples shedding additional light on the approximability of certain Max-CSPs.

연구 동기 및 목표

• Max-CSP에서의 근사저항성의 한계를 극복하기 위해, 유용성이라는 새로운 개념을 도입함으로써, 근사화의 표준 설정 외부에서 술어 P가 실수값 목표 Q에 대해 언제 유용한지를 정의한다.
• 표준 근사 설정 외부에서, 술어 P가 실수값 목표 Q에 대해 언제 유용한지를 정의한다.
• 유일성 게임 추측 하에, 어떤 술어가 유용하지 않다(즉, 어떤 Q에 대해서도 유용하지 않다)는 것을 정확히 특성화한다.
• 부정된 리터럴이 허용되지 않는 경우로의 일반화를 확장한다.
• 약한 제약 조건이나 실수값 목표를 사용할 때 비자명한 근사가 가능해지는지를 이해하는 프레임워크를 제공한다.

제안 방법

• 제약 조건을 실수값으로 대체할 수 있는 완화된 근사해의 개념을 도입하며, 가능한 한 많은 제약 조건을 만족시키는 것을 목표로 한다.
• 만일 거의 만족 가능한 Max-P 인스턴스가 주어지면, 해당 Max-Q 인스턴스에서 랜덤 할당을 능가할 수 있는 알고리즘이 존재하는 경우, 술어 P를 Q에 대해 유용하다고 정의한다.
• 무작위성의 도구와 푸리에 분석, 특히 준무작위 함수와 특성 전개의 사용을 통해, 유일성 게임 추측(UGC)을 기반으로 무용한 술어의 완전한 특성화를 증명한다.
• 균일하게 양의 상관관계를 지닌 분포를 기반으로 하는 테스트를 적용하며, 서로 다른 분포 하에서 기대값을 비교하여 수용 확률의 상한을 도출한다.
• 제품 분포의 볼륨 조합을 사용하여 기대값 상한을 줄이고, 최고의 가능한 성능이 제품 분포 하에서의 기대값으로 제한됨을 보여준다.

실험 결과

연구 질문

• RQ1 표준 근사 설정 외부에서, 실수값 목표 Q에 대해 술어 P가 언제 유용한가?
• RQ2 어떤 조건에서 술어 P가 무용하다(즉, 어떤 목표 Q에 대해서도 유용하지 않다)는가?
• RQ3 유일성 게임 추측 하에, 무용한 술어의 완전한 특성화가 가능할 수 있는가?
• RQ4 부정된 리터럴이 없는 경우, 술어의 유용성과 특성화에 어떤 영향을 미치는가?
• RQ5 만족 가능한 할당들 위에 짝별로 독립적인 분포가 존재하는 것과 술어의 무용성 사이의 관계는 무엇인가?

주요 결과

• 술어 P가 유용하지 않다(즉, 어떤 Q에 대해서도 유용하지 않다)는 것은, P의 만족 가능한 할당들이 짝별로 독립적인 분포를 지닐 때이다.
• 유일성 게임 추측 하에, 이 특성화는 완전하며 일반적인 경우와 부정된 리터럴이 없는 경우 모두 적용된다.
• 논문은 표준 비자명한 근사 가능성의 개념(예: Max-3Sat 또는 XOR에 대해)이 P가 자신에게 유용할 때 해당됨을 규명한다.
• 부정된 리터럴이 없는 경우, 특성화는 유사하지만, 접힌 함수 대신 균일하게 양의 상관관계를 지닌 분포에 의존한다.
• 증명 기법은 F가 준무작위 함수이면, 임의의 유계 함수 Q에 대해 F(X₁), ..., F(Xₖ) 위에서의 기대값이 제품 분포 하에서의 기대값과 가까워진다는 것을 보여준다.
• 분석에서의 타당성 상한은 테스트 분포 하에서의 기대값이 최적값 E⁺_Q로부터 ε 이내에 있음을 보장하며, 이는 비자명한 향상이 불가능함을 증명한다.