探索 制約充足

ウィキペディア

探索

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/01/15 02:36 UTC 版)

制約充足

制約充足問題を解くアルゴリズムも探索アルゴリズムの一種である。この場合、経路を探し出すのではなく、一連の変数群の値の組合せを探す。変数の処理は任意の順序で可能であるため、木探索アルゴリズムでは効率的ではない。解法には問題の自由度を利用した組合せ最適化やバックトラッキングが使われる。バックトラッキングでの一般的な技法として制約伝播（英: constraint propagation）がある。他にも競合を最小化する局所探索アルゴリズムもある。

関連分野

• 人工知能

関連項目

• 検索
• 選択アルゴリズム
• ノーフリーランチ定理
• 秘書問題 - 不完全な情報を伴うオンライン探索問題の一種であり、統計的な最適化戦略。
• 捜索
• ソート - 一部の探索アルゴリズムで必須となる。
• レコメンダシステム

関連図書

• 宝崎隆祐, 飯田耕司：「捜索理論における確率モデル」、コロナ社、ISBN 978-4339028331（2019年3月）。※ORの意味での探索理論である。
• 今野紀雄：「量子探索 ―量子ウォークが拓く最先端アルゴリズム- 」、近代科学社、ISBN 978-4764906303（2021年3月2日）。
• 阪田義隆：「クリギング入門 - 空間データ推定の確率論的アプローチ -」、コロナ社、ISBN 978-4339052756（2021年4月5日）。※ORの意味での探索理論である。

外部リンク

• Self-Guided Lesson on Uninformed Search ウィキバーシティ