[논문 리뷰] On the Approximability of Presidential Type Predicates

Neng Huang, Aaron Potechin|arXiv (Cornell University)|2019. 07. 09.

Complexity and Algorithms in Graphs참고 문헌 13인용 수 2

한 줄 요약

이 논문은 '의장' 변수가 다른 변수보다 상당히 높은 가중치를 가지는 균형 잡힌 선형 임계값 함수인 거의 모든 의장형 술어—즉, '의장' 변수가 뚜렷하게 더 큰 기여도를 가지는 경우—가 반정형계획(SDP)에서 개별 및 쌍별 편향을 활용하는 새로운 라운딩 기법을 통해 근사 가능하다는 것을 입증한다. 주요 결과는 충분히 큰 차수 k와 가중치 δk(δ ∈ (δ₀, 1 − 2/k])를 가진 경우, 이러한 술어는 상수 요인 근사가 가능하다는 것으로, 이는 쌍별 편향이 저차수 기법을 초월해 근사 성능을 향상시키는 데 필수적임을 보여준다.

ABSTRACT

Given a predicate $P: \{-1, 1\}^k o \{-1, 1\}$, let $CSP(P)$ be the set of constraint satisfaction problems whose constraints are of the form $P$. We say that $P$ is approximable if given a nearly satisfiable instance of $CSP(P)$, there exists a probabilistic polynomial time algorithm that does better than a random assignment. Otherwise, we say that $P$ is approximation resistant. In this paper, we analyze presidential type predicates, which are balanced linear threshold functions where all of the variables except the first variable (the president) have the same weight. We show that almost all presidential-type predicates $P$ are approximable. More precisely, we prove the following result: for any $δ_0 > 0$, there exists a $k_0$ such that if $k \geq k_0$, $δ\in (δ_0,1 - 2/k]$, and $δk + k - 1$ is an odd integer then the presidential type predicate $P(x) = sign(δk{x_1} + \sum_{i=2}^{k}{x_i})$ is approximable. To prove this, we construct a rounding scheme that makes use of biases and pairwise biases. We also give evidence that using pairwise biases is necessary for such rounding schemes.

연구 동기 및 목표

• 의장 변수가 더 높은 가중치를 가지는 균형 잡힌 선형 임계값 함수인 의장형 술어의 근사 가능성을 규명하는 것.
• 다항시간 알고리즘을 사용해 무작위 할당보다 더 나은 근사가 가능한지 여부를 조사하는 것.
• 비현실적인 근사 비율을 달성하기 위해 라운딩 기법에서 쌍별 편향이 필수적인지 분석하는 것.
• 이전의 근사 불가능성 결과를 확장하여, 의장형 술어가 언제 근사 가능해지는지 조건을 규명하는 것.
• 개별 편향에만 의존하는 저차수 라운딩 기법의 구조적 한계를 탐색하는 것.

제안 방법

• 표준 반정형계획(SDP) 리 릴랙세이션에서 유도된 편향 {bi}와 쌍별 편향 {bij}를 기반으로 한 라운딩 기법을 구성한다.
• 술어의 푸리에 분석을 통해 의장의 푸리에 계수 ˆPP와 시민들의 푸리에 계수 ˆPC의 크기를 비교하여, ˆPP가 지수적으로 더 크다는 것을 보여준다.
• 모든 차수 a 이하의 모멘트(1 ≤ a ≤ m)가 0이 되도록 KTW 다면체 내 점들에 대한 혼합 전략 분포 µ를 설계하여, 과잉 또는 과소 만족에 대한 편향이 없도록 보장한다.
• 특정 부호 패턴을 가진 점들의 확률적 구성 기법을 사용하여 1, 3, 4, 5차 모멘트의 기여를 균형 잡고, 고차수 항에 영향을 미치는 데 지수적으로 작은 확률을 할당한다.
• 고정된 m에 대해, 쌍별 편향을 사용하지 않는 한, 차수 ≤ m인 모든 라운딩 기법이 높은 차수 모멘트를 균형 잡는 데 실패함을 보여, 이러한 기법이 성공할 수 없음을 입증한다.
• KTW 다면체 프레임워크를 활용해 타당한 편향 및 쌍별 편향 벡터를 모델링하여, SDP 리 릴랙세이션과의 일致성을 확보한다.

실험 결과

연구 질문

• RQ1 다항시간 알고리즘을 사용해 어떤 의장형 술어에 대해 상수 요인 근사가 가능할 수 있는가?
• RQ2 이러한 술어의 라운딩 기법에서 쌍별 편향의 사용이 비현실적인 근사 비율 달성에 필수적인가?
• RQ3 제한된 차수 m을 가진 저차수 라운딩 기법이 쌍별 편향 없이 성공할 수 있는가, 아니면 그 포함이 필수적인가?
• RQ4 '의장' 변수의 상대적 가중치(δk)는 술어의 근사 가능성에 어떤 영향을 미치는가?
• RQ5 강한 대칭성 또는 지배성 특성을 가진 술어의 경우, KTW 다면체 내에서 특정 라운딩 기법이 제한되는 구조적 한계가 존재하는가?

주요 결과

• 모든 δ₀ > 0에 대해, k₀가 존재하여 모든 k ≥ k₀ 및 δ ∈ (δ₀, 1 − 2/k]이면서 δk + k − 1가 홀수인 경우, 술어 P(x) = sign(δk x₁ + ∑_{i=2}^k x_i)는 근사 가능하다.
• 라운딩 기법은 SDP 해상의 개별 및 쌍별 편향을 활용하여 무작위 할당 대비 상수의 이점을 확보한다.
• 이러한 구성은 쌍별 편향이 필수적임을 보여주며, 고정된 차수의 라운딩 기법이 쌍별 편향 없이 큰 k에 대해 근사가 불가능하다는 것을 입증한다.
• 의장 변수의 푸리에 계수 ˆPP는 시민들의 푸리에 계수 ˆPC보다 지수적으로 더 크며, 이는 전략적 확률 할당을 통해 고차수 모멘트를 균형 잡는 데 기여한다.
• m = 5인 경우, 다섯 종류의 점을 사용하는 혼합 전략 분포 µ를 명시적으로 구성하였으며, 다섯 번째 유형에 대해 지수적으로 작은 확률을 할당하여 고차수 항의 기여를 균형 잡는다.
• 기하학적 제약 조건(예: i ≥ 2에 대해 bi ≥ −b₁)으로 인해, 왕정 술어 P(x) = sign((k−2)x₁ + ∑_{i=2}^k x_i)에 대해서는 이 방법이 실패한다.