[論文レビュー] An Algebraic Approach to Valued Constraint Satisfaction

Bodirsky, Manuel|arXiv (Cornell University)|Jan 4, 2012

Constraint Satisfaction and Optimization参考文献 169被引用数 67

ひとこと要約

本稿は、ω-カテゴリー的構造を用いて、無限ドメイン制約充足問題（CSP）の計算複雑性を分類する代数的枠組みを構築する。これは、有限ドメインにおける代数的アプローチを拡張したものであり、CSPの複雑性が多様体の多様体と位相的不変量によって決定されることを確立し、(Q; <)、ランダムグラフ、時系列制約系を含むいくつかの主要構造について完全な複雑性分類を達成する。

ABSTRACT

A constraint satisfaction problem (CSP) is a computational problem where the input consists of a finite set of variables and a finite set of constraints, and where the task is to decide whether there exists a satisfying assignment of values to the variables. Depending on the type of constraints that we allow in the input, a CSP might be tractable, or computationally hard. In recent years, general criteria have been discovered that imply that a CSP is polynomial-time tractable, or that it is NP-hard. Finite-domain CSPs have become a major common research focus of graph theory, artificial intelligence, and finite model theory. It turned out that the key questions for complexity classification of CSPs are closely linked to central questions in universal algebra. This thesis studies CSPs where the variables can take values from an infinite domain. This generalization enhances dramatically the range of computational problems that can be modeled as a CSP. Many problems from areas that have so far seen no interaction with constraint satisfaction theory can be formulated using infinite domains, e.g. problems from temporal and spatial reasoning, phylogenetic reconstruction, and operations research. It turns out that the universal-algebraic approach can also be applied to study large classes of infinite-domain CSPs, yielding elegant complexity classification results. A new tool in this thesis that becomes relevant particularly for infinite domains is Ramsey theory. We demonstrate the feasibility of our approach with two complete complexity classification results: one on CSPs in temporal reasoning, the other on a generalization of Schaefer's theorem for propositional logic to logic over graphs. We also study the limits of complexity classification, and present classes of computational problems provably do not exhibit a complexity dichotomy into hard and easy problems.

研究の動機と目的

• 有限ドメインから無限ドメインへのCSP複雑性の普遍代数的アプローチの拡張を図ること。特に、ω-カテゴリー的制約言語に焦点を当てる。
• CSPの計算複雑性と、ω-カテゴリー的構造上の多様体の代数的性質との間の対応関係を確立すること。
• (Q; <)、ランダムグラフ、時系列制約系といった代表的な無限ドメインテンプレートにおけるCSPの複雑性を分類すること。
• 位相的多様体、モデル理論的性質（例：均一性、ラムゼー性）およびメタ問題の決定可能性との関係を調査すること。
• Datalogおよび論理的フラグメント（例：SNP、存在的二階論理）が、 tractability およびP複雑性クラスを特徴付ける役割を調査すること。

提案手法

• ω-カテゴリー性を活用して、強力なモデル理論的性質（均一性、量化子除去、オリゴモーフィック自己同型群）を保証する。
• 点集合収束位相を備えた多様体を中心的な代数的不変量として適用し、定義可能性と解釈可能性を捉える。
• Inv-Polギャロア接続を用いて、関係的制約とその多様体との関係を関係づけ、無限ドメインへのシュレーファーの定理の一般化を実現する。
• ラムゼー理論および自己同型群の極端な可換性を用いて、正規形への式の正規化と簡略化を達成する。
• 位相的およびモデル理論的道具（例：双解釈可能性、コア、モデル完備）を用いて、原始的正規解釈に基づくCSPの分類を実施する。
• 存在的二階論理およびSNPのフラグメントを用いて、表現可能性と複雑性を分析し、特にPおよびNPとの関係を検討する。

実験結果

リサーチクエスチョン

• RQ1 どの無限ドメインCSPが tractable であり、その多様体の代数的性質が tractability を決定づけるか？
• RQ2 ω-カテゴリー的構造を用いて、有限ドメインから無限ドメインへのCSP複雑性の代数的アプローチをどのように一般化できるか？
• RQ3 位相的多様体およびオリゴモーフィック群は、原始的正規解釈および複雑性クラスを特徴付ける役割を果たすか？
• RQ4 Datalogは、ω-カテゴリー的テンプレート上のすべての tractable 無限ドメインCSPを解けるか？そのような場合の代数的条件は何か？
• RQ5 存在的二階論理のフラグメント（例：連結単調SNP）を用いてPを特徴づけられるか？これはPの論理を特徴付ける問題にどのような含意を持つか？

主な発見

• 点集合収束位相を備えた多様体を備えたω-カテゴリー的構造Bについて、CSP(B)の複雑性は完全にBの多様体によって分類される。
• (Q; <)の構造について、CSPは、多様体が特定の近位均一項の存在に関連する位相的条件を満たす場合に限り tractable である。
• ランダムグラフ (V; E) 上のCSPは、多様体が特定のマリチェフ条件を満たす擬似多様体を持つ場合に限り tractable である。
• 連結単調SNPで表現可能なCSPのクラスは、多項式時間還元に関して閉じており、すべてのNP問題はこのようなCSPと多項式時間同等である。
• 多様体が位相的近位均一作用素を持たない場合、Datalogは (Q; <) 上の特定の基本的無限ドメインCSPを解くことができない。
• 2つのω-カテゴリー的構造が存在的正規双解釈可能であることは、それらの変換モノイド（位相的モノイドとして）が同型であることと同値であり、解釈可能性の位相的特徴づけを確立する。