[논문 리뷰] The power of linear programming for valued CSPs: a constructive characterization

Vladimir Kolmogorov|arXiv (Cornell University)|2012. 07. 31.

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

한 줄 요약

이 논문은 기본 선형 프로그래밍(BLP) 해법이 가능한 유한값 제약 만족 언어에 대해 구조적 특성화를 제시한다. 이는 유한값 언어 Γ가 BLP로 해결 가능할 조건이 유한값 언어 Γ가 이진 교환 분수 다형성(fractional polymorphism)을 갖는 것과 동치임을 증명하며, 결정 가능성이 있는 다항시간 검증 조건을 제공함으로써 이러한 언어에 대한 BLP 해법 가능성의 결정 가능성에 관한 열린 문제를 해결한다.

ABSTRACT

A class of valued constraint satisfaction problems (VCSPs) is characterised by a valued constraint language, a fixed set of cost functions on a finite domain. An instance of the problem is specified by a sum of cost functions from the language with the goal to minimise the sum. We study which classes of finite-valued languages can be solved exactly by the basic linear programming relaxation (BLP). Thapper and Zivny showed [20] that if BLP solves the language then the language admits a binary commutative fractional polymorphism. We prove that the converse is also true. This leads to a necessary and a sufficient condition which can be checked in polynomial time for a given language. In contrast, the previous necessary and sufficient condition due to [20] involved infinitely many inequalities. More recently, Thapper and Zivny [21] showed (using, in particular, a technique introduced in this paper) that core languages that do not satisfy our condition are NP-hard. Taken together, these results imply that a finite-valued language can either be solved using Linear Programming or is NP-hard.

연구 동기 및 목표

• 유한값 제약 언어에 대한 BLP 해법 가능성 조건의 결정 가능성에 관한 열린 문제를 해결하기 위해.
• 기본 선형 프로그래밍(BLP)으로 해결 가능한 유한값 언어에 대해 구조적이고 다항시간 검증 가능한 특성화를 제공하기 위해.
• Thapper와 Živný의 결과의 역을 증명하여, BLP 해법 가능성은 이진 교환 분수 다형성의 존재를 함의함을 보이기 위해.
• 알제브라적 기법과 선형 프로그래밍 기법을 통합하여 유한값 VCSP의 트랙터리티 관련 이전 결과들을 통합하고 확장하기 위해.
• 표준 복잡도 가정 하에, 모든 유한값 언어가 BLP를 통해 정확한 해를 구하거나, 아니면 NP-난이도임을 보여주기 위해.

제안 방법

• 비용 함수의 구조적 성질로써 분수 다형성, 특히 이진 교환 다형성의 개념을 도입하고 형식화하기 위해.
• 만약 언어가 이진 교환 분수 다형성을 갖는다면, 해당 VCSP의 모든 인스턴스가 BLP로 해결될 수 있음을 보여주는 구조적 증명 기법을 사용하기 위해.
• 다중다형성(dual-morphism)의 구조를 나타내는 방향 그래프에 대해 순차적인 '유효한 뒤집기'를 적용하여 순환 그래프를 비순환 그래프로 변환함으로써, 이러한 변환에 대해 다형성 성질이 닫혀 있음을 증명하기 위해.
• BLP의 정수성 간극(integrality gap)을 분석하기 위해 선형 프로그래밍의 이중성과 볼록 완화 이론을 적용하기 위해.
• 이전 연구에서의 다형성과 SDP 완화 결과를 활용하여 BLP의 능력을 대비하고 맥락화하기 위해.
• 비용 함수의 레이블 기반 표현을 사용하고, 다중다형성 부등식을 적용하여 BLP의 타이트함을 위한 필요 조건을 유도하기 위해.

실험 결과

연구 질문

• RQ1 유한값 VCSP에서 BLP 해법 가능성의 무한 부등식 조건은 유한하고 검증 가능한 특성화로 대체될 수 있는가?
• RQ2 이진 교환 분수 다형성의 존재는 BLP가 유한값 언어를 해결할 수 있는 데 필수적이고 충분한 조건인가?
• RQ3 BLP 완화는 모든 트랙터리 유한값 VCSP를 정확히 해결할 수 있는가, 아니면 그 범위를 넘어서는 언어가 존재하는가?
• RQ4 유한값 언어에서 STP 다중다형성과 하위모듈라리티 다중다형성 간의 관계는 무엇인가?
• RQ5 표준 복잡도 가정 하에, BLP 완화는 더 복잡한 완화 기법인 SDP와 동일한 표현력을 갖는가?

주요 결과

• 유한값 언어 Γ는 BLP로 해결 가능할 조건이 유한값 언어 Γ가 이진 교환 분수 다형성을 갖는 것과 동치이다.
• 이 특성화는 BLP 해법 가능성에 대한 다항시간 결정 가능 조건을 제공하며, Thapper와 Živný의 무한 부등식 조건의 결정 가능성에 관한 오랫동안 열려 있던 문제를 해결한다.
• 논문은 STP 다중다형성이 존재하면 하위모듈라리티 다중다형성도 존재함을 증명하여, 다형성 성질 간의 구조적 계층을 확립한다.
• 모든 완전 방향 그래프를 비순환 그래프로 변환할 수 있는 유효한 뒤집기 순서가 존재함을 증명하며, 이는 3-사이클 내의 간선을 뒤집는 방식으로 이루어지며, 다형성 성질이 이러한 변환에 대해 닫혀 있음을 보여준다.
• Thapper와 Živný의 최근 결과와 함께 이 작업은 P ≠ NP를 가정할 경우, 모든 유한값 언어가 BLP로 해결 가능하거나 NP-난이도임을 암시한다.
• 이 결과는 유일 게임 추측 하에, BLP는 유한값 VCSP에서 SDP 완화와 동일한 정확한 해법 능력을 갖는다는 것을 보이며, SDP로만 정확하게 해결 가능한 언어는 존재하지 않음을 보여준다.