[논문 리뷰] The complexity of conservative finite-valued CSPs

Kolmogorov, Stanislav Živný|arXiv (Cornell University)|2010. 08. 09.

Constraint Satisfaction and Optimization참고 문헌 31인용 수 8

한 줄 요약

이 논문은 보존적인 유한 값 제약 만족 문제(VCSP)에 대한 완전한 복잡도 이분법을 수립하며, 모든 이러한 언어가 다항식 시간 가능하거나 NP-난이도임을 증명한다. 다중형태성과 비용 함수의 구조에 기반한 간단한 증명을 통해, 다항식 시간 가능성은 언어의 기능적 그래프에서 '부드러운 자기 순환'의 부재에 의해 결정됨을 보이며, 이는 이전의 불리안 및 {0,1}-값 문제에 대한 결과를 비불리안 도메인으로 일반화한다.

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. This problem has been studied by Bulatov [LICS'03] for $\{0,\infty\}$-valued languages (i.e. CSP), by Cohen~\etal\ (AIJ'06) for Boolean domains, by Deineko et al. (JACM'08) for $\{0,1\}$-valued cost functions (i.e. Max-CSP), and by Takhanov (STACS'10) for $\{0,\infty\}$-valued languages containing all finite-valued unary cost functions (i.e. Min-Cost-Hom). We give an elementary proof of a complete complexity classification of conservative finite-valued languages: we show that every conservative finite-valued language is either tractable or NP-hard. This is the \emph{first} dichotomy result for finite-valued VCSPs over non-Boolean domains.

연구 동기 및 목표

• 보존적인 유한 값 제약 만족 문제(VCSP)에 대한 완전한 복잡도 분류를 제공하여, 이전의 불리안 및 {0,1}-값 도메인을 초월한 결과를 확장한다.
• 보존적인 유한 값 VCSP가 다항식 시간 가능성과 NP-난이도 사이에 이분법을 갖는지 여부라는 열린 문제를 해결한다.
• 언어의 기능적 그래프에서 '부드러운 자기 순환'의 부재에 기반한 다항식 시간 가능성 기준을 설정한다.
• 이전의 {0,∞}-값(제약 만족 문제), {0,1}-값(최대 제약 만족 문제), 및 최소 비용 동형 문제의 결과를 전체 유한 값 설정으로 일반화한다.

제안 방법

• 저자는 보존적인 언어를 모든 일원 비용 함수를 포함하는 언어로 정의하며, 임의의 도메인 제약 조건을 허용한다.
• 언어의 기능적 그래프 GΓ에서 '부드러운 자기 순환'의 개념을 도입한다. 여기서 함수 f가 어떤 x,y에 대해 f(x,x) < f(x,y) + f(y,x)를 만족하면 f는 부드러운 자기 순환을 가진다.
• 핵심 방법은 소프트 자기 순환이 존재하지 않을 경우 도메인의 부분집합 M에 대해 다중형태성(특히 STP 유사 연산)을 구성하는 것이다.
• 변수 할당에 대한 귀납법과 케이스 분석을 통해, 하위모듈라리티 유사 부등식이 성립함을 보이며, 이는 다항식 시간 가능성을 암시한다.
• 증명은 일원 비용 함수를 사용해 인스턴스를 변환하고 합 최소화를 분석함으로써 제약 조건을 시뮬레이션하는 데 의존한다.
• 소프트 자기 순환이 존재하지 않으면 언어가 부분집합 M에서 STP처럼 행동하는 다중형태성을 갖는다. 이는 다항식 시간 가능성을 암시한다.

실험 결과

연구 질문

• RQ1 비불리안 도메인에서 보존적인 유한 값 VCSP에 대해 다항식 시간 가능성과 NP-난이도 사이의 완전한 이분법이 존재하는가?
• RQ2 보존적인 유한 값 언어의 어떤 구조적 성질이 그의 다항식 시간 가능성을 결정하는가?
• RQ3 보편 대수학에 의존하지 않고 더 간단한 방법으로 이분법을 증명할 수 있는가?
• RQ4 언어의 기능적 그래프 GΓ에서 소프트 자기 순환이 존재하지 않으면 다항식 시간 가능성이 보장되는가?
• RQ5 이러한 결과는 {0,1}-값, {0,∞}-값, 및 최소 비용 동형 문제에 대한 이전의 이분법 결과를 어떻게 일반화하는가?

주요 결과

• 모든 보존적인 유한 값 언어는 다항식 시간 가능 또는 NP-난이도이며, 이는 비불리안 유한 값 VCSP에 대한 첫 번째 이분법 결과를 수립한다.
• 다항식 시간 가능성은 언어의 기능적 그래프 GΓ에서 소프트 자기 순환의 부재와 동치이다.
• 언어가 부분집합 M에서 STP 다중형태성을 갖는다면, 그리고 소프트 자기 순환이 존재하지 않으면 다항식 시간 가능하다.
• 증명은 부분집합 M에서 STP처럼 행동하는 다중형태성을 구성하며, 이는 문제가 다항식 시간 내에 해결 가능함을 보장한다.
• 소프트 자기 순환의 부재는 타카노프의 '필요한 국소 조건'을 암시하며, 이는 M에서 산술적 다중형태성의 존재를 암시한다.
• 결과는 불리안, {0,1}-값, 및 최소 비용 동형 문제에 대한 이전의 이분법 결과를 하나의 일관된 기준 아래에서 일반화하고 통합한다.