[論文レビュー] On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

Cl‚ément Carbonnel, David A. Cohen+2 more|arXiv (Cornell University)|Jan 1, 2018

Constraint Satisfaction and Optimization被引用数 3

ひとこと要約

本稿は、二項制約充足問題（binary CSPs）において単一アーキス一致（SAC）によって解けることを保証する5つの新しい単調な禁止パターンを同定し、そのうち4つが最大であり、3つが2-SATを一般化している。単調で不可約なパターンのうちSACによって解けるものについて、完全かつ有限な特徴付けを提供しており、SACによる決定可能性に関するパターンに基づく制約下でのCSPの分類を著しく前進させている。

ABSTRACT

Singleton arc consistency is an important type of local consistency which has been recently shown to solve all constraint satisfaction problems (CSPs) over constraint languages of bounded width. We aim to characterise all classes of CSPs defined by a forbidden pattern that are solved by singleton arc consistency and closed under removing constraints. We identify five new patterns whose absence ensures solvability by singleton arc consistency, four of which are provably maximal and three of which generalise 2-SAT. Combined with simple counter-examples for other patterns, we make significant progress towards a complete classification.

研究の動機と目的

• 禁止パターンによって定義される単調な二項CSPクラスのうち、単一アーキス一貫性（SAC）によって解けるものすべてを特徴づけること。
• SAC解法性を保証する新しいパターンを同定し、その最大性を証明すること。
• 言語的および構造的制約を超えて、パターンに基づく制約に焦点を当てることで、ハイブリッドCSPクラスの理解を拡張すること。
• SACによって解ける単調で不可約なパターンの完全かつ有限な分類を提供し、先行研究における穴を埋めること。

提案手法

• 制約のドメインサイズ、負の辺、禁止部分パターンに関する制約を用いて、SACによって解ける単調で不可約なパターンの構造を分析する。
• 構造的制約を適用：各制約に高々1本の負の辺、高々1つの負のメートポイント、3本以上の負の辺が一点に集まらないこと、およびVパターンの出現回数を制限すること。
• 不可約性と単調性を用いて、可能なパターンを有限集合に制限し、探索空間を既知の候補パターンQ1, Q2, R1–R10に削減する。
• 制約グラフの構造（星型または鎖状）、変数の次数、ドメインサイズ、禁止部分パターンの出現に基づくケース解析を実施する。
• SAC解法性および有界幅に関する先行結果を活用し、パターンの可能な構成を制約する。
• すべてのケースについて構造的推論を体系的に行い、非解法性を示す反例の構築によりパターンを検証する。

実験結果

リサーチクエスチョン

• RQ1 どの単調な禁止パターンが、単一アーキス一貫性がCSPを決定できることを保証するか？
• RQ2 包含関係において最大であるパターン（すなわち、SAC解法性を保つ真の上位パターンが存在しないもの）は存在するか？
• RQ3 言語的または構造的制約を超えて、特定の構造的パターンを禁止することで、新たなCSPの tractable クラスを同定できるか？
• RQ4 ドメインサイズと負の辺の配置は、SACによって解けるパターンの構造にどのような制約を課えるか？
• RQ5 SACによって解ける単調で不可約なパターンの完全かつ有限な集合は何か？

主な発見

• SAC解法性が保証される5つの新しいパターン（Q1, Q2, R1–R10）が、単調な二項CSPにおいて同定された。
• そのうち4つ（R1–R4およびR7–R9）は包含関係において最大であることが証明され、それ以上の上位パターンが存在してもSAC解法性は保たれない。
• そのうち3つ（Q1, Q2およびR5–R6）は2-SATを一般化しており、2-SATの tractability をより広い構造的クラスへ拡張している。
• ドメインサイズが3以上の変数を中心とするVパターンの不在は、すべてのSAC解法性を持つパターンにおいて重要な構造的制約である。
• 単調で不可約なパターンの未解決ケースの集合を、非常に小さな有限集合にまで縮小し、分類問題の範囲を著しく狭めた。
• 単調で不可約なパターンにまで完全な特徴付けがなされており、未解決のケースはわずか数個にとどまっている。