[논문 리뷰] A New Conjecture on Hardness of 2-CSP’s with Implications to Hardness of Densest k-Subgraph and Other Problems

Julia Chuzhoy, Mina Dalirrooyfard외 2명|arXiv (Cornell University)|2022. 11. 10.

Complexity and Algorithms in Graphs인용 수 1

한 줄 요약

이 논문은 밀도가 높은 k-서브그래프 및 관련 문제에 대해 강력한 근사 불가능성 결과를 암시하는 새로운 저차수 CSP 추측을 제안한다. 이러한 문제들을 저차수 2-CSP로 감소시키고, 이 추측을 활용함으로써, 기존의 근사 알고리즘이 이 새로운 추측 하에 거의 최적임을 보여주는 엄밀한 근사 불가능성 경계를 확립한다. 이 추측은 d-to-1 추측과 표준 2-검증자 프rotocol 사이에 위치한다.

ABSTRACT

We propose a new conjecture on hardness of 2-CSP’s, and show that new hardness of approximation results for Densest k-Subgraph and several other problems, including a graph partitioning problem, and a variation of the Graph Crossing Number problem, follow from this conjecture. The conjecture can be viewed as occupying a middle ground between the d-to-1 conjecture, and hardness results for 2-CSP’s that can be obtained via standard techniques, such as Parallel Repetition combined with standard 2-prover protocols for the 3SAT problem. We hope that this work will motivate further exploration of hardness of 2-CSP’s in the regimes arising from the conjecture. We believe that a positive resolution of the conjecture will provide a good starting point for other hardness of approximation proofs. Another contribution of our work is proving that the problems that we consider are roughly equivalent from the approximation perspective. Some of these problems arose in previous work, from which it appeared that they may be related to each other. We formalize this relationship in this work.

연구 동기 및 목표

• d-to-1 추측과 표준 2-검증자 프rotocol 사이에 위치하는 저차수 2-CSP의 난이도에 대한 새로운 추측을 제안한다.
• 밀도가 높은 k-서브그래프, 밀도가 높은 k-색칠, (r,h)-그래프 분할, 최대 유한 교차 수 서브그래프 문제에 대한 조건부 근사 불가능성 결과를 확립한다.
• 이 네 가지 문제들이 새로운 추측 하에 근사 복잡도 측면에서 약간 유사하다는 것을 보여준다.
• 밀도가 높은 k-서브그래프 및 (r,h)-그래프 분할 문제들이 근사 가능성 측면에서 밀접하게 관련되어 있다는 직관을 체계화하고 강화한다.

제안 방법

• 저차수 2-CSP에 대한 새로운 난이도 가정으로서 저차수 2-CSP 추측을 제안한다.
• 일련의 감소를 통해 한 문제(예: 밀도가 높은 k-서브그래프)의 난이도가 다른 문제들의 난이도를 암시함을 보인다.
• 일般적인 그래프를 감소에 적합한 정규화된 형태로 변환하기 위해 정규화 기법을 적용한다.
• 보조 그래프를 구성하고 확률적 추론을 사용하여 좋은 부분그래프를 인증하거나 문제를 일으키는 부분그래프를 탐지한다.
• LP 완화와 반올림을 사용하여 중간 문제를 근사적으로 해결하며, 농도 불등식을 통해 오차 범위를 통제한다.
• 추측을 활용하여 엄밀한 근사 불가능성 비율을 도출하며, 기존 알고리즘이 로그 인자 수준까지 최적임을 보여준다.

실험 결과

연구 질문

• RQ1 저차수 2-CSP에 대한 새로운 추측이 밀도가 높은 k-서브그래프 및 관련 문제에 대해 강력한 근사 불가능성을 암시할 수 있는가?
• RQ2 밀도가 높은 k-서브그래프, 밀도가 높은 k-색칠, (r,h)-그래프 분할, 최대 유한 교차 수 서브그래프 문제들이 근사 복잡도 측면에서 약간 유사한가?
• RQ3 저차수 2-CSP 추측이 3-SAT에 대해 d-to-1 추측과 표준 2-검증자 프로토콜 사이의 자연스러운 다리를 제공하는가?
• RQ4 이 추측을 사용하여 밀도가 높은 k-서브그래프에 대해 엄밀한 근사 불가능성 비율을 증명할 수 있는가, 기존 알고리즘의 성능를 정확히 반영하는가?
• RQ5 정규화와 확률적 인증은 일반적인 인스턴스를 난이도 증명에 적합한 구조적 형태로 감소시키는 데 어떤 역할을 하는가?

주요 결과

• 저차수 2-CSP 추측이 참이라면, 밀도가 높은 k-서브그래프는 어떤 α(n) = o(log n)에 대해서도 다항시간 O(α(n))-근사 알고리즘을 가질 수 없다.
• 논문은 밀도가 높은 k-서브그래프, 밀도가 높은 k-색칠, (r,h)-그래프 분할, 최대 유한 교차 수 서브그래프 문제가 모두 추측 하에 O(poly log n)-근사 등가임을 확립한다.
• 밀도가 높은 k-서브그래프에서 이중 밀도가 높은 (k1,k2)-서브그래프로의 감소를 보여주며, 후자의 O(α(N²))-근사 알고리즘이 존재할 경우 전자의 O(α(N²) · poly log N)-근사 해가 존재함을 암시한다.
• 문제를 일으키는 부분그래프 H가 존재할 경우, 알고리즘이 '수락'을 반환할 확률이 최대 2/3임을 증명함으로써, LP 완화에 대한 분리 오라클을 제공한다.
• LP-반올림 절차를 통해 (r,h)-그래프 분할 문제에 대해 고확률로 O(α(N²) · poly log N)-근사 해를 도출한다.
• 이 작업은 새로운 추측 하에 기존의 밀도가 높은 k-서브그래프 알고리즘이 본질적으로 최적임을 보여주며, 추측이 실패하지 않는 한 더 나은 근사 비율은 불가능하다.