[논문 리뷰] Global Cardinality Constraints Make Approximating Some Max-2-CSPs Harder

Per Austrin, Aleksa Stanković|arXiv (Cornell University)|2019. 01. 01.

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

한 줄 요약

이 논문은 유일성 게임 추측을 전제로 할 때, 기존의 카디널리티 제약이 있는 Max-2-CSPs—특히 CC-Max-Cut 및 CC-Max-2-Sat—에 대한 근사 알고리즘이 최적임을 입증한다. CC-Max-Cut에 대해 약 0.858, CC-Max-2-Sat에 대해 약 0.929 이내의 근사 가능성에 대한 UG-난이도를 증명함으로써, 국소적 제약이 없는 경우에 비해 전역적 카디널리티 제약이 근사 불가능성을 크게 증가시킨다는 것을 보여준다.

ABSTRACT

Assuming the Unique Games Conjecture, we show that existing approximation algorithms for some Boolean Max-2-CSPs with cardinality constraints are optimal. In particular, we prove that Max-Cut with cardinality constraints is UG-hard to approximate within ~~0.858, and that Max-2-Sat with cardinality constraints is UG-hard to approximate within ~~0.929. In both cases, the previous best hardness results were the same as the hardness of the corresponding unconstrained Max-2-CSP (~~0.878 for Max-Cut, and ~~0.940 for Max-2-Sat). The hardness for Max-2-Sat applies to monotone Max-2-Sat instances, meaning that we also obtain tight inapproximability for the Max-k-Vertex-Cover problem.

연구 동기 및 목표

• 유일성 게임 추측 하에서 기존의 카디널리티 제약이 있는 Max-2-CSPs에 대한 근사 알고리즘이 최적인지 여부를 규명하는 것.
• 전역적 카디널리티 제약이 제약이 없는 경우에 비해 Max-2-CSPs의 근사 불가능성에 어떤 영향을 미치는지 조사하는 것.
• CC-Max-Cut 및 CC-Max-2-Sat의 날카운 가까운 근사 불가능성 한계를 확립하는 것.
• 특히 Max-k-Vertex-Cover와 같은 문제들에 대해, 카디널리티 제약이 있는 CSPs에서의 근사 난이도에 대한 이해를 확장하는 것.
• 유사한 난이도 프레임워크가 Max-k-DS 및 CC-Max-DiCut와 같은 다른 2-아리티 Max-CSPs에도 적용 가능한지 탐색하는 것.

제안 방법

• UG-난이도 결과를 도출하기 위해 유일성 게임 추측(UGC)을 기본 가정으로 사용한다.
• UGC 하에서 준선형 프로그래밍 근사화를 통한 최적 근사 프레임워크인 Raghavendra의 프레임워크를 적용한다.
• µ 및 ρ에 대한 매개변수화된 최적화 문제를 통해 변수 분포의 최악의 경우 구성 요소를 분석한다.
• 가장 낮은 근사 비율을 계산하기 위해 수치 최적화를 활용하며, 최악의 경우 구성 요소가 가용 다각형의 경계 위에 있다고 가정한다.
• q = (1−µ)/2로 매개변수화된 함수 αcc_cut(q) 및 αcc_2sat(q)를 사용하여 경계의 닫힌 형태 표현식을 유도한다.
• 제약 다각형의 대칭성과 구조를 활용하여 전역 최적화 문제를 단변수 최소화 문제로 축소한다.

실험 결과

연구 질문

• RQ1 CC-Max-Cut에 대한 기존 근사 알고리즘이 유일성 게임 추측 하에서 최적인가?
• RQ2 전역적 카디널리티 제약이 Max-2-Sat을 제약이 없는 경우보다 근사하기가 상당히 어려워지는가?
• RQ3 Max-k-Vertex-Cover와 같은 Max-2-Sat의 단조형 변형에 대해 동일한 난이도 프레임워크를 적용할 수 있는가?
• RQ4 UGC 하에서 CC-Max-2-Sat에 대한 가장 날카운 근사 불가능성 경계는 무엇이며, 이것이 최고의 알고리즘 근사 비율과 일치하는가?
• RQ5 Max-k-DS 또는 CC-Max-DiCut와 같은 다른 2-아리티 Max-CSPs는 카디널리티 제약 하에서 유사한 난이도 증폭을 보이는가?

주요 결과

• 유일성 게임 추측 하에서, CC-Max-Cut는 약 0.858 이내로 근사 가능성이 UG-난이도임이 입증된다.
• CC-Max-2-Sat에 대해서는 약 0.929 이내의 근사 가능성에 대한 UG-난이도를 확립하였으며, 이는 최고의 알고리즘 근사 비율과 정확히 일치한다.
• CC-Max-2-Sat의 근사 불가능성 경계는 그 단조형 변형인 Max-k-Vertex-Cover에도 적용되며, 이 문제에 대해 날카운 난이도를 의미한다.
• 근사 불가능성 경계는 가우스 누적 분포 함수를 포함하는 함수의 최소화를 통해 유도되었으며, 최소값은 µ ≈ 0.27 및 ρ ≈ -0.575에서 도달된다.
• 분석 결과, CC-Max-2-Lin의 근사 비율은 CC-Max-Cut와 동일하며, Raghavendra와 Tan의 알고리즘이 최적임을 확인한다.
• 결과적으로, 카디널리티 제약이 근사 불가능성을 상당히 증가시킨다는 것이 드러나며, 이는 UG-난이도 경계가 제약이 없는 Max-2-CSPs의 경우보다 엄격히 열악하다는 점에서 확인된다 (Max-Cut의 경우 0.878, Max-2-Sat의 경우 0.9401).