[논문 리뷰] Conditional Dichotomy of Boolean Ordered Promise CSPs

Joshua Brakensiek, Venkatesan Guruswami외 1명|arXiv (Cornell University)|2021. 02. 23.

Constraint Satisfaction and Optimization인용 수 11

한 줄 요약

이 논문은 Rich 2-to-1 추측을 전제로 하여 부울 순서형 프라미스 CSP에 대한 조건부 이분법을 수립한다: 문제는 모든 좌표에서 임의로 작은 샤플리 값(Shapley values)을 갖는 다형성(polymorphisms)을 갖는 경우에만 다항식 시간 내에 해결 가능하며, 그렇지 않으면 NP-난이도이다. 이 결과는 작은 샤플리 값이 큰 임계 함수 미니처(minor)의 존재를 암시함을 보여, 샤플리 값이 무작위 2-to-1 미니처에서 일관되게 행동함을 기반으로 한다.

ABSTRACT

Promise Constraint Satisfaction Problems (PCSPs) are a generalization of Constraint Satisfaction Problems (CSPs) where each predicate has a strong and a weak form and given a CSP instance, the objective is to distinguish if the strong form can be satisfied vs. even the weak form cannot be satisfied. Since their formal introduction by Austrin, Guruswami, and Håstad, there has been a flurry of works on PCSPs [BBKO19,KO19,WZ20]. The key tool in studying PCSPs is the algebraic framework developed in the context of CSPs where the closure properties of the satisfying solutions known as the polymorphisms are analyzed. The polymorphisms of PCSPs are much richer than CSPs. In the Boolean case, we still do not know if dichotomy for PCSPs exists analogous to Schaefer's dichotomy result for CSPs. In this paper, we study a special case of Boolean PCSPs, namely Boolean Ordered PCSPs where the Boolean PCSPs have the predicate $x \leq y$. In the algebraic framework, this is the special case of Boolean PCSPs when the polymorphisms are monotone functions. We prove that Boolean Ordered PCSPs exhibit a computational dichotomy assuming the Rich 2-to-1 Conjecture [BKM21] which is a perfect completeness surrogate of the Unique Games Conjecture. Assuming the Rich 2-to-1 Conjecture, we prove that a Boolean Ordered PCSP can be solved in polynomial time if for every $ε>0$, it has polymorphisms where each coordinate has Shapley value at most $ε$, else it is NP-hard. The algorithmic part of our dichotomy is based on a structural lemma that Boolean monotone functions with each coordinate having low Shapley value have arbitrarily large threshold functions as minors. The hardness part proceeds by showing that the Shapley value is consistent under a uniformly random 2-to-1 minor. Of independent interest, we show that the Shapley value can be inconsistent under an adversarial 2-to-1 minor.

연구 동기 및 목표

• 제약 조건에 순서 조건자 $x \leq y$ 가 포함된 프라미스 CSP의 특수한 경우인 부울 순서형 PCSP에 대한 계산 이분법을 수립하기 위해.
• 이러한 문제의 정확한 다항식 시간 가능성 조건을 규명하여, Schaefer의 이분법을 프라미스 설정으로 확장하기 위해.
• 모든 좌표에서 임의로 작은 샤플리 값을 갖는 경우에 다항식 시간 해결 가능성을 샤플리 값의 다형성으로 특성화하기 위해.
• 만일 그러한 다형성이 존재하지 않는다면, Rich 2-to-1 추측 하에 문제는 조건부로 NP-난이도임을 증명하기 위해.
• 샤플리 값이 미니처 하에서 어떻게 행동하는지에 대한 구조적 통찰을 제공하기 위해, 특히 임의의 2-to-1 미니처에 대해 샤플리 값의 일관성에 대한 반례를 제시하기 위해.

제안 방법

• CSP의 대수적 프레임워크를 활용하여 부울 순서형 PCSP의 다형성을 단조 부울 함수로 분석하기 위해.
• 만일 단조 함수의 모든 샤플리 값이 $o(1)$ 이라면, 이는 큰 임계 함수를 미니처로 갖는다는 것을 증명하여 효율적 알고리즘을 가능하게 한다.
• Rich 2-to-1 추측을 하드니스 가정으로 사용하여, 균일하게 작은 샤플리 값을 갖는 다형성이 존재하지 않을 경우 조건부 NP-난이도를 도출한다.
• 균일하게 무작위 2-to-1 미니처에서 샤플리 값의 행동이 일관됨을 보여, 하드니스 방향을 뒷받침한다.
• 임의의 2-to-1 미니처에서 샤플리 값의 행동이 일관되지 않을 수 있음을 보여주는 반례를 구성함으로써, 분석에서 균일한 무작위성의 필요성을 부각시킨다.
• 확률론적 및 조합론적 추론을 무작위 제약 조건과 경계 집합에 적용하여 샤플리 값을 농도 부등식을 사용해 유계화한다.

실험 결과

연구 질문

• RQ1 부울 순서형 PCSP는 어떤 조건에서 다항식 시간 내에 해결 가능한가?
• RQ2 다형성의 샤플리 값이 부울 순서형 PCSP에 대한 완전한 다항식 시간 가능성 기준이 될 수 있는가?
• RQ3 샤플리 값은 2-to-1 미니처 하에서 어떻게 행동하는가? 이는 하드니스 감소에 어떤 함의를 갖는가?
• RQ4 작은 샤플리 값과 단조 부울 함수 내의 임계 함수 미니처 존재 사이에 구조적 연결이 있는가?
• RQ5 Rich 2-to-1 추측을 사용하여 이 클래스의 PCSP에 대한 조건부 이분법을 수립할 수 있는가?

주요 결과

• 모든 $\epsilon > 0$ 에 대해 각 좌표의 샤플리 값이 $\epsilon$ 이하인 다형성이 존재하는 한, 부울 순서형 PCSP는 다항식 시간 내에 해결 가능하다.
• 그러한 다형성이 존재하지 않는 한, 문제는 Rich 2-to-1 추측 하에 NP-난이도이다.
• 모든 샤플리 값이 $o(1)$ 인 임의의 단조 부울 함수는 큰 임계 함수를 미니처로 가져야 하며, 이는 효율적 해결을 가능하게 한다.
• 구성된 함수 $f'$ 에서 좌표 1의 샤플리 값은 $o(1)$ 이고, 좌표 2의 샤플리 값은 $\Omega(1)$ 이므로, 비대칭적 민감도가 입증된다.
• 샤플리 값은 균일하게 무작위 2-to-1 미니처 하에서 일관되게 행동하지만, 임의의 미니처에서는 일관되지 않을 수 있으며, 구성된 반례로 이를 입증한다.
• 모든 좌표의 샤플리 값의 합은 1이며, 대칭성에 의해 $f'$ 에서 $i \geq 3$ 인 좌표들은 $o(1)$ 의 샤플리 값을 갖는다. 이는 좌표 1과 2가 지배적임을 확인한다.