[논문 리뷰] The Parameterized Complexity of Global Constraints

Christian Bessière, Emmanuel Hébrard외 3명|PolyPublie (École Polytechnique de Montréal)|2009. 03. 03.

Constraint Satisfaction and Optimization참고 문헌 30인용 수 26

한 줄 요약

이 논문은 제약 프로그래밍에서 글로벌 제약의 가용성 분석을 위해 매개변수화된 복잡도 이론을 적용한다. NValue, Disjoint, Roots와 같은 제약은 서로 다른 값의 수나 사이클 컷셋 수에 대해 매개변수화되었을 때 고정 매개변수 복잡도 가능(FPT)임을 보여주며, 이는 동적 프로그래밍 또는 백도어 분해를 통한 효율적 프로파일링을 가능하게 한다. 동시에 NValue의 근사 일致성은 FPT = W[2]가 아닐 경우 비가용성임을 증명한다.

ABSTRACT

We argue that parameterized complexity is a useful tool with which to study global constraints. In particular, we show that many global constraints which are intractable to propagate completely have natural parameters which make them fixed-parameter tractable and which are easy to compute. This tractability tends either to be the result of a simple dynamic program or of a decomposition which has a strong backdoor of bounded size. This strong backdoor is often a cycle cutset. We also show that parameterized complexity can be used to study other aspects of constraint programming like symmetry breaking. For instance, we prove that value symmetry is fixed-parameter tractable to break in the number of symmetries. Finally, we argue that parameterized complexity can be used to derive results about the approximability of constraint propagation.

연구 동기 및 목표

• NValue 및 AllDifferent과 같은 글로벌 제약에서의 비가용성 원인을 이해하기 위해.
• 비가용성 글로벌 제약을 고정 매개변수 복잡도 가능(FPT)으로 만드는 자연스러운 매개변수를 식별하기 위해.
• 특히 값 대칭성에 대해 매개변수화된 복잡도를 통한 대칭성 제거를 탐색하기 위해.
• 매개변수화된 복잡도 결과를 활용해 제약 프로파일링의 근사 가능성에 대한 한계를 도출하기 위해.
• 사이클 컷셋 및 백도어와 같은 구조적 매개변수를 바탕으로 새로운 검색 및 프로파일링 알고리즘 설계를 이끌기 위해.

제안 방법

• 특정 매개변수, 예를 들어 서로 다른 값의 수나 사이클 컷셋 크기와 관련하여 글로벌 제약의 계산 복잡도를 분석하기 위해 매개변수화된 복잡도 이론을 사용한다.
• 서로 다른 값의 수가 작을 경우 NValue 및 Roots와 같은 제약에 대해 고정 매개변수 복잡도 가능성을 달성하기 위해 동적 프로그래밍 기법을 적용한다.
• 분해 기반의 가용성 있는 해결을 가능하게 하는 강력한 백도어—특히 사이클 컷셋—을 식별한다.
• 인스턴스를 더 작은 등가 형태로 줄이기 위해 문제 커널의 개념을 사용한다.
• Bazgan의 정리를 활용하여 NValue에 대해 효율적인 PTAS가 존재할 경우 FPT = W[2]임을 증명함으로써, 표준 복잡도 가정 하에 근사 가능성의 비가용성을 입증한다.
• W[1]- 및 W[2]-하드성의 프레임워크를 활용하여 제약 프로파일링 및 대칭성 제거의 비가용성을 분류한다.

실험 결과

연구 질문

• RQ1 비가용성 글로벌 제약, 예를 들어 NValue를 고정 매개변수 복잡도 가능(FPT)으로 만드는 매개변수는 무엇인가?
• RQ2 매개변수화된 복잡도를 사용하여 글로벌 제약의 효율적 프로파일링 알고리즘을 설계할 수 있는가?
• RQ3 값 대칭성 제거는 대칭의 수에 대해 고정 매개변수 복잡도 가능한가?
• RQ4 매개변수화된 복잡도를 사용하여 제약 프로파일링의 근사 가능성에 대한 한계를 설정할 수 있는가?
• RQ5 어떤 구조적 특징(예: 사이클 컷셋, 백도어)이 글로벌 제약의 가용성 있는 분해를 가능하게 하는가?

주요 결과

• NValue 제약은 N의 최대 도메인 크기로 보았을 때 W[2]-하드이며, FPT = W[2]가 아닐 경우 완전한 도메인 일치가 비가용함을 나타낸다.
• NValue, Disjoint, Roots 제약은 서로 다른 값의 수에 대해 매개변수화되었을 때 고정 매개변수 복잡도 가능하며, 이는 효율적인 동적 프로그래밍 기반 프로파일링을 가능하게 한다.
• 사이클 컷셋은 종종 강력한 백도어로 기능하여 글로벌 제약의 분해 기반 가용성 있는 해결을 가능하게 한다.
• 값 대칭성 제거는 대칭의 수에 대해 고정 매개변수 복잡도 가능하며, 이는 효율적인 대칭 감소를 가능하게 한다.
• FPT = W[2]가 아닐 경우 NValue 제약에 대해 근사 일치를 강제하는 효율적인 다항시간 근사 스킴(효율적 PTAS)이 존재하지 않으며, 이는 근본적인 비근사 가능성의 근본 원인임을 나타낸다.
• 매개변수화된 복잡도의 사용은 매개변수 크기에 따라 부분적 및 완전한 프로파일링 간 전환하는 하이브리드 프로파일러 설계를 위한 프레임워크를 제공한다.