[論文レビュー] Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems

M. H. van Emden|ArXiv.org|Jun 7, 2001

Constraint Satisfaction and Optimization参考文献 6被引用数 7

ひとこと要約

本稿は、原子的制約系における制約伝播の構造的アプローチを導入し、関数的および関係的ボックス整合性を区別する。混沌的反復を構造的で切り詰めた伝播に置き換えることで、特にプローブを用いることにより、従来の方法よりも強い pruning を達成し、非線形系の解法における効率を顕著に向上させる。指数的分岐を回避する。

ABSTRACT

Box consistency has been observed to yield exponentially better performance than chaotic constraint propagation in the interval constraint system obtained by decomposing the original expression into primitive constraints. The claim was made that the improvement is due to avoiding decomposition. In this paper we argue that the improvement is due to replacing chaotic iteration by a more structured alternative. To this end we distinguish the existing notion of box consistency from relational box consistency. We show that from a computational point of view it is important to maintain the functional structure in constraint systems that are associated with a system of equations. So far, it has only been considered computationally important that constraint propagation be fair. With the additional structure of functional constraint systems, one can define and implement computationally effective, structured, truncated constraint propagations. The existing algorithm for box consistency is one such. Our results suggest that there are others worth investigating.

研究の動機と目的

• 区間ベースの非線形方程式系における混沌的制約伝播の非効率性に対処すること。
• 構造的反復、すなわちボックス整合性そのものではなく、これが従来の CLP(Intervals) よりも性能向上をもたらす鍵であることを示すこと。
• 一般の区間制約系に適用可能な、より強い pruning を提供する関係的ボックス整合性を導入すること。
• 関数的構造に基づいてトレースを切り詰めることで、完全な制約伝播の代替を検討すること。
• 関数的および関係的ボックス整合性が、構造的伝播技術のスケール上の極端な例であることを示すこと。

提案手法

• 関数的ボックス整合性（関数への区間算術に基づく）と関係的ボックス整合性（完全な制約伝播に基づく）を区別する。
• 制約系のプローブを用いて区間算術の評価をシミュレートし、区間の境界を改善する。
• 初期の関数的セグメントまたは部分サイクル後に伝播を停止させることで、構造的で切り詰めた制約伝播を適用する。
• 完全な収束を必要とせず、関数的ボックス整合性を効率的に計算するための関数的に切り詰めたプローブを導入する。
• 伝播を最初のサイクル後に切り詰める二段階反復モデルを提案し、pruning 効果と効率のバランスを取る。
• 変数の区間幅に基づいた適応的収束基準を用いることで、標準的な区間縮小を実現する。

実験結果

リサーチクエスチョン

• RQ1 なぜボックス整合性が区間制約系における混沌的制約伝播を上回るのか？
• RQ2 関係的ボックス整合性は効率的に計算可能か？ また、関数的ボックス整合性と比べてどう異なるか？
• RQ3 構造的反復と混沌的反復の違いが、制約系における pruning 効率に与える影響は何か？
• RQ4 計算コストを削減しながらも効果を維持するため、制約伝播をどのように切り詰められるか？
• RQ5 狭まりの利益と計算オーバーヘッドのバランスを最適化するには、伝播をどこで切り詰めるべきか？

主な発見

• 混沌的反復ではなく、構造的で切り詰めた制約伝播を用いることで、従来の方法と同等の効率で関数的ボックス整合性を計算可能である。
• プローブを用いた関係的ボックス整合性は、関数的ボックス整合性よりも強い pruning を提供し、一般の区間制約系に適用可能である。
• 二段階反復の最初のサイクル後に伝播を切り詰めることで、完全収束よりも計算コストを抑えつつ、より良い失敗検出が可能である。
• 他の区間の幅に基づいて収束基準を適応させることで、初期の伝播段階での無駄な計算を削減できる。
• 構造的伝播により、pruning の努力と分岐コストのトレードオフが最適化され、探索木の指数的増加を回避できる。
• HC4アルゴリズムが切り詰め伝播の一形態であることが示され、同様の技術を一般化・改善可能である可能性を示唆している。