制約プログラミングに関する最新技術からこぼれ話まで、あれこれを書いていきます。
Misc
MiniZinc Challenge 2017 複数部門で金メダルを獲得
弊社で開発している制約プログラミングライブラリ「iZ-C」を使用したソルバ「iZplus」が2017年度の MiniZinc Challenge の複数部門で金メダルを獲得しました。
- Free Search カテゴリ:…
探索戦略のデモンストレーション - その他の探索戦略
どの変数から値を当てはめるか、変数に対して候補の値をどれから当てはめるか(あるいはどの値ではないとするか)によって問題を解く速さに大きな差が発生する例を、ジョブショップスケジューリング問題で示します。
探索戦略のデモンストレーション - 単純な探索戦略
どの変数から値を当てはめるか、変数に対して候補の値をどれから当てはめるか(あるいはどの値ではないとするか)によって問題を解く速さに大きな差が発生する例を、ジョブショップスケジューリング問題で示します。
探索戦略のデモンストレーション - ジョブショップスケジューリング問題を例に
どの変数から値を当てはめるか、変数に対して候補の値をどれから当てはめるか(あるいはどの値ではないとするか)によって問題を解く速さに大きな差が発生する例を、ジョブショップスケジューリング問題で示します。
探索戦略とは
制約プログラミングでは、…
izplus とは (2013)
izplus とは MiniZinc Challenge に参加することを目的として iZ-C (NTTデータセキスイシステムズ社製の制約プログラミングライブラリ)を用いて作成された FlatZinc ソルバです。
通常、お客様向けの業務…