内容紹介

問題を最適化と制約充足プログラミングで解く！
本書は、最適化問題、自動計画、パズルといった問題について、定式化と解くためのプログラミング手法（アルゴリズム）を、最適化（MIP）と制約プログラミング（CSP、SAT、SMT）のそれぞれの視点から解説したものです。
最適化、制約プログラミングともに問題を解くための一手法ですが、近年の最適化技術の利用拡大により、これらを組み合わせたり、比較したりして、問題の特徴にあわせて適切に利用するニーズが増えることが予想されます。しかし、これらの手法は各分野が独自にソルバ（問題を解くソフトウェア）を開発し、発展してきたという経緯から、問題解決手段として総合的に取り扱われてきませんでした。そのため、これらを問題ごとの解法として整理してまとめた情報がなく、問題解決にあたり各手法にどんな特徴があって、どんな問題に有効かといった理解が困難でした。そこで本書では、各種の問題を定式化して、最適化と制約プログラミングのそれぞれの技術で問題を解く方法、手段を解説し、比較的な理解を促します。
本書によって読者は最適化手法、制約プログラミングを用いて問題を解説することができるようになり、また、それぞれの問題や技術の特徴を理解することができるようになっています。