[논문 리뷰] Approximation for Maximum Surjective Constraint Satisfaction Problems

Walter D. Bach, Hang Zhou|arXiv (Cornell University)|2011. 10. 13.

Advanced Graph Theory Research참고 문헌 10인용 수 4

한 줄 요약

이 논문은 부울 도메인과 3원소 도메인에서 최대 사영 제약 만족 문제(Max-Sur-CSP)에 대한 복잡도 이분법을 수립하며, 각 문제가 다항시간 근사법(PTAS) 또는 APX-완전임을 보여준다. 저자들은 Max-Sur-CSP가 복잡도 이분법 가정 하에 Max-CSP의 근사 행동을 계승함을 증명하여, 일부 NP-난이도 Max-Sur-CSP 문제들이 표준 CSP와는 달리 효율적인 근사 체계를 갖을 수 있음을 드러낸다.

ABSTRACT

Maximum surjective constraint satisfaction problems (Max-Sur-CSPs) are computational problems where we are given a set of variables denoting values from a finite domain B and a set of constraints on the variables. A solution to such a problem is a surjective mapping from the set of variables to B such that the number of satisfied constraints is maximized. We study the approximation performance that can be acccchieved by algorithms for these problems, mainly by investigating their relation with Max-CSPs (which are the corresponding problems without the surjectivity requirement). Our work gives a complexity dichotomy for Max-Sur-CSP(B) between PTAS and APX-complete, under the assumption that there is a complexity dichotomy for Max-CSP(B) between PO and APX-complete, which has already been proved on the Boolean domain and 3-element domains.

연구 동기 및 목표

• 유한 도메인에서 최대 사영 제약 만족 문제(Max-Sur-CSP)의 근사 가능성 분류.
• 사영성 제약 조건이 표준 Max-CSP와 비교해 근사 복잡도에 어떤 영향을 미치는지 조사.
• 부울 도메인과 3원소 도메인에서의 Max-Sur-CSP 문제가 PTAS 또는 APX-완전 클래스에 속하는지 확인.
• 표준 Max-CSP와는 달리, NP-난이도 Max-Sur-CSP 문제들이 여전히 PTAS를 갖는지 탐색하여, 일반적인 직관에 도전함.

제안 방법

• 부울 및 3원소 도메인에서 Max-CSP의 알려진 복잡도 이분법(PO 대비 APX-완전)을 기초 가정으로 활용.
• Max-Sur-CSP의 근사 비율을 Max-CSP의 근사 비율과 비교하여, 비근사 가능성 또는 근사 가능성 결과 유도.
• 모든 Max-Sur-CSP 문제들이 APX에 속함을 보이기 위해 일정 비율 근사 알고리즘 사용.
• 일부 경우에 대해 Max-Sur-CSP를 그래프의 최소 컷 문제로 감소시켜 다항시간 근사 체계 구축.
• 관계적 템플릿의 구조적 성질(예: 약한 양성, 친화성)을 활용해 다항식 해법 가능 케이스와 난이도 높은 케이스 분류.
• 특정 관계적 구조에 대해 Sur-CSP에서 Max-Sur-CSP로의 감소를 통해 NP-난이도를 확립.

실험 결과

연구 질문

• RQ1 언제 Max-Sur-CSP(𝐵)가 APX-완전이 아니라 PTAS에 속하는가?
• RQ2 Max-CSP(𝐵)가 다항시간 내에서 해를 구할 수 있을 때조차도, NP-난이도 Max-Sur-CSP 문제가 여전히 PTAS를 갖는 경우가 존재할 수 있는가?
• RQ3 사영성 제약 조건은 표준 Max-CSP와 비교해 근사 복잡도에 어떤 영향을 미치는가?
• RQ4 소도메인에서 Max-Sur-CSP(𝐵)에 대해 PO, PTAS이지만 NP-난이도, APX-난이도 사이의 복잡도 삼분법이 존재하는가?
• RQ5 Max-CSP(𝐵)의 근사 임계값 r₀일 때, Max-Sur-CSP(𝐵)가 다항시간 r₀-근사 가능할 수 있는가?

주요 결과

• 부울 도메인과 3원소 도메인에서 Max-Sur-CSP(𝐵)는 복잡도 이분법을 보이며, 모든 문제들이 PTAS 또는 APX-완전에 속함.
• NP-난이도 Max-Sur-CSP(𝐵) 문제들 중에서 PTAS에 속하는 것이 존재함을 보여, 사영성이 어려운 문제들을 효율적으로 근사 가능하게 만들 수 있음.
• Max-CSP(𝐵)의 근사 임계값이 Max-Sur-CSP(𝐵)의 근사 가능성 결정 요소이며, r < r₀일 땐 r-근사 가능하고 r > r₀일 땐 r-근사 불가능함.
• Max-CSP(𝐵)가 PO에 속하는 관계적 구조 𝐵에 대해, Max-Sur-CSP(𝐵)는 여전히 NP-난이도일 수 있으나 PTAS에 속함을 보여, 부울 도메인의 3항 관계로 증명됨.
• 최소 비대칭 컷 및 최소 레이저 컬러링 문제들은 NP-난이도이지만 PTAS에 속하는 Max-Sur-CSP(𝐵) 문제의 예시임.
• Max-CSP(𝐵)의 근사 임계값 r₀일 때 Max-Sur-CSP(𝐵)가 다항시간 r₀-근사 가능할 수 있는지 여부와, 소도메인에서 Max-Sur-CSP(𝐵)에 대한 삼분법 존재 여부는 여전히 열려 있음.