[논문 리뷰] A complexity dichotomy for poset constraint satisfaction

Michael Kompatscher, Trung Van Pham|arXiv (Cornell University)|2016. 02. 29.

Constraint Satisfaction and Optimization참고 문헌 16인용 수 12

한 줄 요약

이 논문은 부분순서집합 제약만족 문제(PoSAT)에 대한 복잡도 이분법을 수립하여, 모든 그러한 문제가 NP-완전이거나 다항시간 내에 해결 가능한 것으로 증명한다. 저자들은 모델이론적 및 보편대수학적 기법을 사용하여, 재구성된 무작위 부분순서의 다항형식과 pp-해석을 분석하며, 특히 특정 다항형식 또는 Low, Betw, Cycl, 또는 Sep와 같은 pp-정의 가능한 관계의 존재 여부에 따라 가용성이 결정됨을 최종적으로 보여준다.

ABSTRACT

In this paper we determine the complexity of a broad class of problems that extends the temporal constraint satisfaction problems. To be more precise we study the problems Poset-SAT($Φ$), where $Φ$ is a given set of quantifier-free $\leq$-formulas. An instance of Poset-SAT($Φ$) consists of finitely many variables $x_1,\ldots,x_n$ and formulas $ϕ_i(x_{i_1},\ldots,x_{i_k})$ with $ϕ_i \in Φ$; the question is whether this input is satisfied by any partial order on $x_1,\ldots,x_n$ or not. We show that every such problem is NP-complete or can be solved in polynomial time, depending on $Φ$. All Poset-SAT problems can be formalized as constraint satisfaction problems on reducts of the random partial order. We use model-theoretic concepts and techniques from universal algebra to study these reducts. In the course of this analysis we establish a dichotomy that we believe is of independent interest in universal algebra and model theory.

연구 동기 및 목표

• 모든 양자 없는 ≤-공식 집합으로 정의된 부분순서집합 제약만족 문제(Poset-SAT)의 계산 복잡도를 분류하는 것.
• 제약 언어의 구조에 기반하여 이러한 문제가 P 또는 NP-완전인지 결정하는 것.
• 무한 도메인 제약만족 문제에 대해 보편대수학적 접근을 확장하여, 무작위 부분순서의 재구성에 특히 초점을 맞추는 것.
• 이전의 유 ration order, 무작위 그래프, C-관계에 대한 CSP 분류와 유사한 이분법을 수립하는 것.
• 주어진 Poset-SAT 인스턴스의 가용성을 결정하는 메타문제가 유한 관계 재구성의 경우에 대해 결정 가능함을 보이는 것.

제안 방법

• 모든 Poset-SAT 문제를 모델이론에서의 동질적 구조인 무작위 부분순서의 재구성에 기반한 제약만족 문제로 공식화하는 것.
• 이 재구성의 다항형식 클론과 종말형 모노이드를 분석함으로써 보편대수학적 프레임워크를 적용하는 것.
• 큰 부분구조에서 다항형식의 규칙성을 확립하기 위해 렘지 이론 기법을 사용하여 조합적 분석을 가능하게 하는 것.
• 일반화된 Siggers 다항형식 또는 종말형과 다항형식을 포함하는 특정 방정식의 존재를 통해 가용성 케이스를 특성화하는 것.
• 기존의 pp-해석 및 모델 완전 핵심에 관한 결과를 활용하여, 유한 구조가 확장된 템플릿에서 pp-해석 가능한지 여부를 판단하는 것.
• 분류를 세 가지 경우로 줄이는 것: 자명한 문제, 선형 시간적 CSP로 환원 가능한 문제, 무작위 부분순서에서의 모델 완전 핵심 문제.

실험 결과

연구 질문

• RQ1 어떤 유한한 양자 없는 ≤-공식 집합에 대해 해당 Poset-SAT 문제가 다항시간 내에서 해결 가능한가, 아니면 NP-완전인가?
• RQ2 제약 언어의 어떤 구조적 성질이 Poset-SAT 문제가 P 또는 NP-완전인지 결정하는가?
• RQ3 무작위 부분순서의 재구성에서 1-in-3 SAT 문제의 pp-해석이 가능한가?
• RQ4 주어진 Poset-SAT 인스턴스의 가용성 결정 메타문제를 알고리즘적으로 결정할 수 있는가?
• RQ5 무작위 부분순서의 재구성에서 다항형식과 종말형의 행동이 관련 CSP의 복잡도를 어떻게 결정하는가?

주요 결과

• 모든 Poset-SAT 문제들은 NP-완전이거나 다항시간 내에 해결 가능하며, 복잡도 이분법이 성립한다.
• 문제가 NP-완전이 되는 것은, 제약 언어에서 Low, Betw, Cycl, 또는 Sep 관계가 pp-정의 가능한 경우에 국한된다.
• 관계 <와 ⊥가 pp-정의 가능하지만 Low는 아닐 경우, 그리고 일반화된 Siggers 다항형식이 존재할 경우 가용성이 성립한다.
• 다항형식 클론에서 자명한 클론으로의 클론 호모모르피즘이 존재하는 것과 NP-완전성은 동치이다.
• 주어진 Poset-SAT 인스턴스의 가용성 여부를 결정하는 메타문제는 결정 가능하다.
• pp-해석이 유한한 상수를 포함하는 확장에서도 복잡도 이분법이 성립하며, 조건들은 완전히 대수적으로 특성화되어 있다.