Constraint programming

OR事典

制約プログラミング

読み方：せいやくぷろぐらみんぐ
【英】：constraint programming

プログラミングを行う上での考え方 (プログラミングパラダイム) の1つで,プログラムは「制約」の集まりであるとし,問題は制約により記述される.制約解消系と呼ばれる処理系が制約充足を行うことにより,問題解決がなされる.問題を解く手順(アルゴリズム)を記述せず,問題を構成する要素間の関係を制約として宣言的に記述することが特徴.例としては,Prolog に代表される論理プログラミングの拡張である制約論理プログラミングが挙げられる.

ウィキペディア

制約プログラミング

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/07/27 22:58 UTC 版)

制約プログラミング（せいやくプログラミング、Constraint Programming）はプログラミングパラダイムの一つである。 制約プログラミングにおいては、変数間の関係を制約という形で記述することによりプログラムを記述する。制約が他のプログラミングパラダイムのプリミティブと異なっているのは、実行すべきステップではなく解の特性を記述するという点である。制約プログラミングにおける制約は様々である。制約充足問題での制約やシンプレックス法における制約などがある。制約は通常、プログラミング言語に埋め込まれているか別個のライブラリで提供される。