[論文レビュー] Finite Domain Bounds Consistency Revisited

Chiu Wo Choi, Warwick Harvey+2 more|ArXiv.org|Dec 6, 2004

Constraint Satisfaction and Optimization参考文献 15被引用数 4

ひとこと要約

この論文は、有限ドメイン制約プログラミングにおける境界一貫性の3つの矛盾する定義—bounds(ℝ)、bounds(ℤ)、bounds(𝒟)—を明確にし、多くの一般的な制約では同値であるものの、特に整数線形方程式においては異なることを示している。著者らは、これらの概念が一致する正確な定義と条件を提示し、境界プロパゲーターの正しく実装および検証することを可能にしている。

ABSTRACT

A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with constraint propagation for pruning the search space. Constraint propagation is performed by propagators implementing a certain notion of consistency. Bounds consistency is the method of choice for building propagators for arithmetic constraints and several global constraints in the finite integer domain. However, there has been some confusion in the definition of bounds consistency. In this paper we clarify the differences and similarities among the three commonly used notions of bounds consistency.

研究の動機と目的

• 有限ドメイン制約計算における境界一貫性の3つの異なる定義に関する文献における混乱を解消すること。
• 整数制約における bounds(ℝ)、bounds(ℤ)、bounds(𝒟) 一貫性の形式的定義と区別を明確にすること。
• これらの3つの境界一貫性の概念が同値となる条件を同定すること。
• 制約プログラミングシステムにおける境界プロパゲーターの正しさを検証する基盤を提供すること。

提案手法

• 制約の整数的および実数的解釈を用いた境界一貫性の形式的定義を行い、bounds(ℝ)、bounds(ℤ)、bounds(𝒟) を区別すること。
• ドメイン上の式の下界および上界（infimum および supremum）を用いて一貫性の性質を定義すること。
• 範囲ドメインおよびドメインマッピングを用いて一貫性の伝播を分析すること。
• bounds(𝒟) と他の2つの定義との不適合性を示す反例の構築。
• 単位係数を有する線形制約において、bounds(ℝ) と bounds(ℤ) が同値であるが、bounds(𝒟) は異なる可能性があることの証明。
• 整数解および実数解を用いた制約の充足度を分析し、一貫性条件の検証を行うこと。

実験結果

リサーチクエスチョン

• RQ1 なぜ文献に3つの異なる境界一貫性の定義が存在するのか、その主な違いは何か？
• RQ2 どのような条件下で bounds(ℝ)、bounds(ℤ)、bounds(𝒟) 一貫性が同値となるか？
• RQ3 整数制約において、bounds(𝒟) 一貫性が bounds(ℝ) や bounds(ℤ) 一貫性より弱いことがあるか？
• RQ4 反例は、bounds(𝒟) と他の2つの定義との不適合性をどのように示しているか？
• RQ5 境界プロパゲーターの正しく実装されるための形式的基準は何か？

主な発見

• bounds(ℝ)、bounds(ℤ)、bounds(𝒟) の3つの境界一貫性の定義は、一般には不適合であるが、共通して同値であると仮定されている。
• 単位係数を有する線形制約においては、bounds(ℝ) と bounds(ℤ) 一貫性は同値であるが、bounds(𝒟) は他の2つが成り立っても成り立たない場合がある。
• 反例により、あるドメインが bounds(ℝ) および bounds(ℤ) 一貫性を満たすが bounds(𝒟) 一貫性を満たさないことが示された。これは整数ドメインの制限に起因する。
• 変数ドメインが離散的かつ非一様な場合、bounds(𝒟) 一貫性は bounds(ℝ) や bounds(ℤ) よりも厳密に強い場合がある。
• 本論文は、3つの概念が一致する正確な条件を確立し、長年の文献上の曖昧さを解消した。
• 提示された形式的定義は、制約プログラミングシステムにおける境界プロパゲーターの正しさを検証するために利用可能である。