AI用語集
人工知能の完全辞典
236
カテゴリ
3,245
サブカテゴリ
39,334
用語
用語
アーク整合性
制約グラフの性質であり、ある変数の各値に対して、隣接する変数の定義域内に少なくとも1つの互換性のある値が存在すること。制約プログラミングにおける基本的なフィルタリング手法である。
用語
制約充足問題
変数の集合、それぞれの定義域、およびそれらの変数間の制約の集合によって定義される数学的問題。目的は、すべての制約を満たす完全な割り当てを見つけることである。
用語
制約最適化
制約プログラミングの拡張であり、最適化基準に従って、実行可能なすべての解の中から最良の解を見つけることを目的とする。制約充足と最適解の探索を組み合わせたものである。
用語
決定ノード
変数が特定の値でインスタンス化される探索木内の点。各ノードは、そこから探索が継続されたりバックトラックされたりする問題の部分的な状態を表す。
🔍