制約プログラミングとAI

アーク整合性

CSPの基本的特性で、制約によって関連付けられた変数の各ペアについて、一方の変数のドメイン内の各値が他方の変数のドメイン内に互換性のある値を持つこと。AIはこの整合性の適用を最適化し、探索空間を効率的に削減する。

← 戻る