[논문 리뷰] A dichotomy theorem for conservative general-valued CSPs

Vladimir Kolmogorov|arXiv (Cornell University)|2010. 08. 24.

Advanced Graph Theory Research참고 문헌 35인용 수 5

한 줄 요약

이 논문은 보존적 일반화된 제약 만족 문제(VCSP)에 대한 이분법 정리(dichotomy theorem)를 수립하며, 언어가 STP와 MJN 다중형성(multimorphisms)의 상보적 조합을 허용하는 것과 동시에만 다항식 시간 내에 해결 가능하다는 것을 증명한다. 이 결과는 이전의 보존적 언어에 대한 이분법 결과를 일반화하며, 모든 일원 함수 비용을 포함하는 VCSP에 대해 완전한 복잡도 분류를 제공한다. 이는 대수적 다중값 다형성(polymorphisms)과 기존의 다항식 시간 가능 조건으로의 환원을 통해 이루어진다.

ABSTRACT

We study the complexity of valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a \emph{constraint language}, a fixed set of cost functions over a finite domain. An instance of the problem is specified by a sum of cost functions from the language and the goal is to minimise the sum. We consider the case of so-called \emph{conservative} languages; that is, languages containing all unary cost functions, thus allowing arbitrary restrictions on the domains of the variables. We prove a Schaefer-like dichotomy theorem for this case: if all cost functions in the language satisfy a certain condition (specified by a complementary combination of \emph{STP and MJN multimorphisms}) then any instance can be solved in polynomial time by the algorithm of Kolmogorov and Zivny (arXiv:1008.3104v1), otherwise the language is NP-hard. This generalises recent results of Takhanov (STACS'10) who considered $\{0,\infty\}$-valued languages containing additionally all finite-valued unary cost functions, and Kolmogorov and Zivny (arXiv:1008.1555v1) who considered \emph{finite-valued} conservative languages.

연구 동기 및 목표

• 보존적 일반화된 제약 만족 문제(VCSP)에 대한 완전한 복잡도 분류를 수립하기 위해.
• 이전의 {0, ∞}-가치 및 유한 가치 보존적 언어에 대한 이분법 결과를 더 넓은 범위의 일반화된 보존적 언어로 일반화하기 위해.
• 특히 STP와 MJN 다중형성의 상보적 조합을 포함한 대수적 다형성 조건을 통해 다항식 시간 가능성을 특성화하기 위해.
• VCSP에서 다형성 기반 이분법 정리에 기반한 이전 결과들을 통합하고 확장하기 위해.

제안 방법

• 다중형성(STP 및 MJN)의 프레임워크를 대수적 불변량으로 활용하여 다항식 시간 가능 언어를 특성화한다.
• 언어가 특정 닫힘 조건과 최소성 조건을 만족한다고 가정할 때, 부분적인 MJN 다중형성을 구성한다.
• 다중형성 조건가 실패할 경우, 기존의 NP-난이도 언어로의 환원을 통해 다항식 시간 불가능성을 증명한다.
• Kolmogorov와 Živný(arXiv:1008.1555v1 및 arXiv:1008.3104v1)의 이전 결과에 기반하여, STP 다중형성과 병합된 다중형성 구조가 다항식 시간 가능성과 연결됨을 이용한다.
• 관련 그래프 표현에서 변과 부드러운 변 관계를 유지하기 위해 언어와 그 여집합 사이의 이중성 원리를 적용한다.
• 일원 함수 비용을 큰 상수 C를 사용한 유계 등가물로 대체하는 환원 기법을 적용하여 NP-난이도를 시뮬레이션하면서도 해 구조를 유지한다.

실험 결과

연구 질문

• RQ1 보존적 일반화된 제약 만족 문제(CSP)가 어떤 대수적 조건을 만족할 경우 다항식 시간 내에 해결 가능할 수 있는가?
• RQ2 모든 {0, ∞}-가치 또는 유한 가치 사례를 초월하여 일반화된 보존적 언어에 대해 Schaefer 유사 이분법을 수립할 수 있는가?
• RQ3 STP와 MJN 다중형성의 상보적 조합이 보존적 VCSP에서 다항식 시간 가능성에 대해 필수적이고 충분한 조건인가?
• RQ4 모든 일원 함수 비용이 언어에 포함될 경우, 다중형성 조건은 VCSP의 복잡도와 어떻게 관련되는가?

주요 결과

• 보존적 일반화된 제약 만족 문제(VCSP)는 그 언어가 STP와 MJN 다중형성의 상보적 조합을 허용하는 것과 동시에만 다항식 시간 내에 해결 가능하다.
• 언어가 이러한 다중형성 조합을 포함하지 않으면 문제는 NP-난이도가 되며, 이는 완전한 이분법을 확립한다.
• 이 결과는 Takhanov(2010)의 {0, ∞}-가치 보존적 언어에 대한 이분법과 Kolmogorov 및 Živný의 유한 가치 보존적 언어 결과를 일반화한다.
• 증명 과정에서 필요한 조건 하에 부분적인 MJN 다중형성을 구성하였으며, 이는 이전 연구에서 STP 다중형성이 다항식 시간 가능성과 연결됨을 보여준 바를 바탕으로 한다.
• 언어 Γ̄의 NP-난이도 인스턴스에서 원래 언어 Γ의 대응 인스턴스로의 환원 과정에서 해의 등가성이 스케일링 인자에 의해 유지된다.
• 이 구성은 원래 문제에서 유한 비용 할당이 감소된 인스턴스에서 유한 비용 할당으로 대응되며, 비용이 다항식 인자(N = |T₁| + |T*|)로 스케일링되어 NP-난이도가 유지된다.