[論文レビュー] A complexity dichotomy for poset constraint satisfaction

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

Constraint Satisfaction and Optimization参考文献 16被引用数 12

ひとこと要約

本稿は、部分順序制約充足問題（Poset-SAT）における複雑さの二分法を確立し、すべての此类の問題が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）の計算複雑性を分類すること。
• 制約言語の構造に基づき、このような問題がNP完全であるか、多項式時間で解けるかを特定すること。
• 無限域制約充足問題、特にランダム部分順序の再帰的類への普遍代数的アプローチを拡張すること。
• 有理数順序、ランダムグラフ、C-関係のための以前の分類と類似する二分法を確立すること。
• 与えられたPoset-SATインスタンスのtractabilityを決定するメタ問題が、ランダム部分順序の有限関係的再帰的類に対して決定可能であることを示すこと。

提案手法

• モデル理論における均一構造たるランダム部分順序の再帰的類上の制約充足問題として、すべてのPoset-SAT問題を形式化すること。
• これらの再帰的類の多様体クローンと自己準同型モノイドの分析を通じて、普遍代数的フレームワークを適用すること。
• ラマヌジャン的技法を用いて、大きな部分構造における多様体の正規性を確立し、組合せ的解析を可能にすること。
• 偽Siggers多様体の存在、または自己準同型と多様体を含む特定の等式の存在を通じて、解法可能ケースを特徴付けること。
• 既知のpp-解釈およびモデル完備コアに関する結果を活用し、有限構造が拡張テンプレート内でpp-解釈可能かどうかを特定すること。
• 分類を3つのケースに還元すること：自明な問題、線形時系列CSPに還元可能な問題、ランダム部分順序上のモデル完備コア問題。

実験結果

リサーチクエスチョン

• RQ1 どの有限な量記号を含まない≤-論理式の集合に対して、対応するPoset-SAT問題がtractableまたはNP完全となるか？
• RQ2 制約言語のどの構造的性質が、Poset-SAT問題がPにあるかNP完全かを決定するか？
• RQ3 ランダム部分順序の再帰的類が、1-in-3 SAT問題のpp-解釈を許容する条件は何か？
• RQ4 与えられたPoset-SATインスタンスのtractabilityを決定するメタ問題は、アルゴリズム的に決定可能か？
• RQ5 ランダム部分順序の再帰的類上での多様体および自己準同型の振る舞いが、関連するCSPの複雑さをどのように決定するか？

主な発見

• すべてのPoset-SAT問題は、NP完全または多項式時間で解けることの両者であり、複雑さの二分法が確立された。
• 問題がNP完全であることは、かつは関係Low、Betw、Cycl、またはSepが制約言語内でpp定義可能であることに同値である。
• 関係<と⊥がpp定義可能だがLowがpp定義可能でない場合、および偽Siggers多様体が存在する場合に、tractabilityが成立する。
• 多様体クローンから自明クローンへのクローン準同型の存在は、NP完全性と同値である。
• 与えられたPoset-SATインスタンスがtractableまたはNP完全であるかを決定するメタ問題は決定可能である。
• pp-解釈を用いた拡張においても二分法は成立し、条件は完全に代数的に特徴付けられている。