[論文レビュー] A Partial Taxonomy of Substitutability and Interchangeability

Shant Karakashian, Robert J. Woodward+3 more|arXiv (Cornell University)|Oct 22, 2010

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

ひとこと要約

本稿は、制約充足問題（CSP）における置換可能性および相互交換可能性の包括的で部分的な分類を提示し、15種類以上の形態を、グローバル（解レベル）からローカル（制約近傍レベル）の変種、正確から近似的または文脈依存的な形態まで分類している。これらの概念の間の形式的関係を含意関係および非比較可能性関係を用いて確立し、充足可能性を保つ性質を同定し、CSPにおける対称性の破壊および探索空間の縮小の基盤的概念としての相互交換可能性の位置づけを示している。

ABSTRACT

Substitutability, interchangeability and related concepts in Constraint Programming were introduced approximately twenty years ago and have given rise to considerable subsequent research. We survey this work, classify, and relate the different concepts, and indicate directions for future work, in particular with respect to making connections with research into symmetry breaking. This paper is a condensed version of a larger work in progress.

研究の動機と目的

• 過去20年間で制約プログラミング分野で提唱された多様な相互交換可能性および置換可能性の形態を体系的に分類・関連付けること。
• 含意関係、非比較性、階層関係を含む、相互交換可能性概念間の関係を、形式的定義と反例を用いて明確化すること。
• 充足可能性を保つ相互交換可能性の形態を同定し、それらがドメインや値のバンドルの安全な削除を可能にすることを示すこと。
• SBDS や SBDD などのCSPにおける広範な対称性の破壊技術と相互交換可能性を結びつけ、他の対称性の概念と比較して、その一般性が過小評価されていることの強調。
• ソフト制約、分散型CSP、SATソルブィングとの統合に関する文献のギャップを特定することで、今後の研究の基盤を築くこと。

提案手法

• 15種類以上の相互交換可能性概念の形式的分類を提案し、意味的（グローバル、解レベル）と句法的（ローカル、制約レベル）な形態を区別する。
• 完全相互交換性（FI）、近傍相互交換性（NI）、文脈依存的相互交換性（CtxDepI）、一般化近傍置換可能性（GNSub）などの主要概念を形式的定義と具体的な例を用いて導入・定義する。
• ハッセ図と反例を用いて、含意関係（例：CtxDepI → GNSub）と非比較性（例：NSub と GNSub は非比較的）を示す。
• 各相互交換可能性形態の充足可能性を保つ性質を分析し、解の存在が変化しないままドメインを安全に削減できる形態を同定する。
• 微小構造表現と制約グラフ解析を用いて、例を通じた相互交換可能性関係を視覚化および検証する。
• 相互交換可能性形態を3次元ラティスに整理する概念的枠組みを提案：縦方向の移動は一般性と解の安全性を高め、横方向の移動は近似度と計算効率を高める。

実験結果

リサーチクエスチョン

• RQ1 論理的含意および非比較性の観点から、異なる形態の相互交換性はどのように相互に関係しているか？
• RQ2 どの相互交換可能性概念がCSPの充足可能性を保ち、なぜこの性質が安全な削除に重要なのか？
• RQ3 相互交換性はCSPにおける他の対称性の概念よりもどれほど一般性が高く、後続の対称性定義の発展を予見しているのか？
• RQ4 正確（意味的）な形態と近似（句法的）な形態の間には、どのような計算的トレードオフがあるか？
• RQ5 相互交換性は、SBDS や SBDD、または変数順序制約といった既存の対称性の破壊技術とどのように統合できるか？

主な発見

• 完全相互交換性（FI）は、すべての解が値の交換によっても依然として有効であるというグローバルな意味的性質であるが、すべての解を列挙する必要があるため、計算的に非効率的である。
• 近傍相互交換性（NI）と一般化近傍置換可能性（GNSub）は、変数の近隣の制約のみを用いて効率的に計算できる句法的・ローカルな形態である。
• CtxDepI は GNSub を含意するが、逆は成り立たないため、文脈依存的形態と一般化近傍形態の間には厳密な階層関係が存在する。
• NSub と GNSub は非比較的である：ある例では一方が成り立つが他方は成り立たない例が存在し、どちらの方向にも論理的含意は成立しない。
• 制約付き近傍相互交換性（ConNI）は GNSub を含意するが、逆は成り立たないため、ConNI はより強く、より制限的な条件である。
• ハッセ図の破線で囲まれた領域内の相互交換可能性形態のみが充足可能性を保つため、問題の可解性が変化しないまま値の削除が安全に行える。