[論文レビュー] Constraint Satisfaction Problem Dichotomy for Finite Templates: a Proof Via Consistency Checks

Dejan Delić|arXiv (Cornell University)|Jun 12, 2017

Constraint Satisfaction and Optimization参考文献 20被引用数 3

ひとこと要約

本稿は、Taylor代数における局所的整合性チェックと吸収に基づく還元を用いて、多項式時間で解ける制約充足問題（CSP）を可能にする、新しい整合性概念であるAF整合性を導入することで、有限テンプレートにおけるCSP二分法予想を証明する。主な貢献は、整合性と吸収を用いた、多項式時間で解けるCSPの完全なアルゴリズム的特徴付けを提供し、計算複雑性理論および普遍代数学における長年の未解決問題を解決することにある。

ABSTRACT

One of the central problems in the study of parametrized constraint satisfaction problems is the Dichotomy Conjecture by T. Feder and M. Vardi stating that the constraint satisfaction problem (CSP) over a fixed, finite constraint language is either solvable in polynomial time or extsc{NP}-complete. The conjecture was verified in certain special cases (domains with a relatively small number of elements, constraint languages containing all unary relations, etc.) In this article, we present a proof of the Dichotomy Conjecture via local consistency and AF- consistency checks. In fact, we show that, for every Taylor domain, which is $(2\lceil\frac{K}{2} ceil,3\lceil\frac{K}{2} ceil)$-consistent, where $K$ is the largest arity of a relation in the constraint language, we can define polynomially many proper subinstances such that, the original instance of the CSP is solvable if, and only if, the problem has a solution in one of those subinstances.. Finally, a solution is constructed using the combination of SLAC (Singleton Linear Arc Consistency), introduced by M. Kozik, and AF-consistency.

研究の動機と目的

• 有限テンプレートにおけるCSP二分法予想を解決すること。この予想は、すべての有限テンプレートCSPが多項式時間で解けるか、NP完全であると述べている。
• 多様体の多様体の性質を用いた、多項式時間で解けるCSPの完全な代数的特徴付けを確立すること。
• AF整合性を新規に導入・形式化し、吸収のない部分インスタンスにおいて多項式時間での解法を可能にする新たな整合性メカニズムを提供すること。
• 局所的整合性、吸収理論、およびシングルトン線形アーク整合性（SLAC）を統合し、Taylorドメイン上のCSPを解くための単一のアルゴリズム的枠組みを構築すること。

提案手法

• 制約言語に含まれる関係の最大アリティを表す$K$を用いて、$(2\lceil\frac{K}{2}\rceil,3\lceil\frac{K}{2}\rceil)$-整合性に基づく、多項式個の適切な部分インスタンスから導かれるAF整合性チェックを導入する。
• 吸収とSLACを用いた還元戦略を採用し、計算木内の整合性のない分岐を排除することで、探索されるのは常に解が存在する部分インスタンスのみとなるように保証する。
• 吸収定理を適用して問題を独立した、吸収のない成分に分解し、局所的整合性チェックを可能にする。
• 有限体上の線形方程式の巡回的系を用いて部分インスタンスをモデル化し、Reingoldの到達可能性アルゴリズムを活用して、対数領域空間で解けるようにする。
• 整合性チェックと吸収還元を木構造的に繰り返し適用する再帰的アルゴリズムを構築し、正しさと完全性を保証する。
• 多項式時間で解けるCSPとNP完全なCSPの境界を特定するために、Taylor代数およびその多様体の性質に基づく代数的概念に依存する。

実験結果

リサーチクエスチョン

• RQ1 すべてのTaylor多様体の多様体を持つ有限テンプレートCSPは、局所的整合性と吸収を用いて多項式時間で解けるか？
• RQ2 AF整合性チェックは、Taylorテンプレート上のCSPの探索空間において、不整合な分岐を効果的に削除できるか？
• RQ3 有限体上の巡回的線形方程式系の可解性は、吸収のない成分における多項式時間可解性を十分に特徴づけられるか？
• RQ4 このアルゴリズムは、LFP + Rk や CPT+C といった一階論理を拡張した論理で表現可能か？ その場合、有限アーベル群上の線形系の可解性を表現できるか？
• RQ5 すべての単純で、冪等的かつ、吸収のない、同型類の歪みのない代数は、Hagemann-Mitschkeの恒等式を満たすか？ これにより、本手法の適用範囲が広がるか？

主な発見

• 本稿は、Taylor多様体の多様体を持つすべての有限テンプレートCSPが多項式時間で解けることを確立し、代数的CSP二分法予想を裏付ける。
• AF整合性チェックが解の存在を保持し、特に吸収のない成分において不整合な部分インスタンスを効果的に削除できることを証明した。
• アルゴリズムはCSPを二項関係、有界幅のインスタンスに還元し、部分インスタンスにおける解の存在を保証するためにSLACと整合性チェックを適用する。
• 有限体上の巡回的線形方程式系はReingoldのアルゴリズムを用いて効率的に処理され、特定の状況では対数領域空間で解に至る経路を提供する。
• フレームワークは、吸収定理がTaylorドメインの多項式時間可解性の中心的役割を果たしていることを示しており、特に一元的代数において吸収定理が失敗すると、計算が困難になる。
• 本手法は、一般のCSPアルゴリズムが、有限アーベル群上の線形系の可解性を表現できる限り、CPT+C や LFP + Rk といった論理で定義可能である可能性を示唆している。