[論文レビュー] Asking the metaquestions in constraint tractability

Hubie Chen, Benoît Larose|arXiv (Cornell University)|Apr 4, 2016

Constraint Satisfaction and Optimization参考文献 29被引用数 5

ひとこと要約

本稿は、制約充足問題（CSP）の tractability に帰着する既知の多様体的性質を有する関係的構造が与えられたとき、その構造が特定の多様体的性質を有するかどうかを判定する計算複雑性を調査する。特に、CSP の tractability を特徴付けると予想される多様体的性質の条件を決定することは、NP完全であることが示され、CSP の tractable 性をその代数的性質によって特定する際の本質的困難さが明らかになった。

ABSTRACT

The constraint satisfaction problem (CSP) involves deciding, given a set of variables and a set of constraints on the variables, whether or not there is an assignment to the variables satisfying all of the constraints. One formulation of the CSP is as the problem of deciding, given a pair (G,H) of relational structures, whether or not there is a homomorphism from the first structure to the second structure. The CSP is in general NP-hard; a common way to restrict this problem is to fix the second structure H, so that each structure H gives rise to a problem CSP(H). The problem family CSP(H) has been studied using an algebraic approach, which links the algorithmic and complexity properties of each problem CSP(H) to a set of operations, the so-called polymorphisms of H. Certain types of polymorphisms are known to imply the polynomial-time tractability of $CSP(H)$, and others are conjectured to do so. This article systematically studies---for various classes of polymorphisms---the computational complexity of deciding whether or not a given structure H admits a polymorphism from the class. Among other results, we prove the NP-completeness of deciding a condition conjectured to characterize the tractable problems CSP(H), as well as the NP-completeness of deciding if CSP(H) has bounded width.

研究の動機と目的

• 有限な関係的構造が、CSP の tractability を示すと知られている特定の多様体的性質を有するかどうかを、計算複雑性の観点から体系的に分析すること。
• CSP 複雑性の代数的枠組みにおいて、半畳代数的性質、Maltsev 操作、Siggers 操作など、特定の多様体的性質の存在を判定するメタ問題（metaquestions）を調査すること。
• CSP の tractable 性を特徴付けると予想される多様体的性質の条件が、多項式時間で決定可能か、それとも NP 完全かを特定すること。
• 集合的多様体的性質や関連クラスに関するメタ問題の複雑性における上界（EXPTIME）と下界（NP 困難または NL 困難）のギャップを調査すること。
• 関係的構造の代替表現（例：DNF、意思決定図）への分析の拡張を行い、一様 tractability への影響を検討すること。

提案手法

• 著者らは、メタ問題を決定問題として形式化する。具体的には、有限な関係的構造 H が、指定されたクラス（例：半畳代数的性質、Maltsev、Siggers）に属する多様体的性質を有するかどうかを判定する。
• 多様体的性質の理論、特にその閉包性質を用いて、構造 H の性質と特定の恒等式を満たす操作の存在を分析する。
• 既知の NP 完全問題への還元を用いて、特に tractable CSP を特徴付けると予想される多様体的性質クラスに関するメタ問題の NP 完全性を証明する。
• Swierczkowski の補題を適用して、最小の非自明な等幂多様体的性質のアリティを有界化し、特定のクラスにおける決定可能性結果を得る。
• 普遍代数学およびモデル理論の理論的結果を活用して、多様体的性質の種類と CSP 複雑性への影響を特徴付ける。
• 関係的構造の明示的表現と要約的表現（succinct representation）の両方を検討し、一般化された DNF や意思決定図による符号化への応用を含める。

実験結果

リサーチクエスチョン

• RQ1 構造 H が、Siggers や Maltsev などのクラスに属する多様体的性質を有するかどうかを判定する問題は、計算的に tractable か、それとも NP 完全か？
• RQ2 構造 H が与えられたとき、CSP(H) が有界幅を有するかどうかを判定する問題の複雑性は？
• RQ3 集合的多様体的性質に関するメタ問題の EXPTIME 上界と NP 困難または NL 困難下界のギャップは、どのように狭められるか？
• RQ4 コセット生成多様体的性質または群的多様体的性質が存在するかどうかは、多項式時間で決定可能か、それとも NP 困難か？
• RQ5 特に、本質的に一変数でない非自明な多様体的性質を有するかどうかを判定する問題の複雑性は？

主な発見

• CSP の tractable 性を特徴付けると予想されるクラスに属する多様体的性質を有するかどうかを判定する問題は、NP 完全である。
• CSP(H) が有界幅を有するかどうかを判定する問題は、有界幅が tractability の十分条件であるにもかかわらず、NP 完全である。
• 集合的多様体的性質に関するメタ問題の複雑性は EXPTIME と NP 困難の間にあるが、そのギャップは未解決のまま残っている。
• 構造が非自明な等幂多様体的性質を有するかどうかは決定可能であり、そのような多様体的性質が存在する場合、そのアリティは max(3, |H|) 以下である。
• 非自明な多様体的性質の存在は、有界なアリティまでの非自明な等幂多様体的性質の存在をチェックすることで決定可能であり、これにより決定可能な手続きが可能になる。
• 本稿は、要約的表現（例：DNF、意思決定図）におけるメタ問題の複雑性に関する未解決の問題を特定し、今後の研究の可能性を示唆している。