制約最適化ソルバー SCOP (Solver for COnstraint Programing:スコープ) (パンフレット)
概要
SCOP (Solver for COnstraint Programing:スコープ)は,大規模な制約計画問題を高速に解くためのソルバーです.
ここで,制約計画(constraint programming)とは,従来の数理計画を補完する最適化理論の体系です.
SCOPは,組合せ最適化問題に特化した求解原理を用いるため,従来の数理計画ソルバーで解けない大規模な問題に対しても, 効率的に良好な解を探索します.
ベンチマーク結果:
時間割作成第2回国際コンペテーションITC2007: Track1(試験時間割):3位,Track2(大学時間割):2位,Track3(高校時間割):3位 (3トラック全てで3位以内に入ったのはSCOPのもとになったアルゴリズムだけ)
ナーススケジューリングシフト作成第1回国際コンペテーションINRC 2010:Track1(10秒):2位,Track2(10分):3位,Track3(10時間):4位
特徴
◆ 世界的に有名な最適化理論の研究者である茨木先生(京都大学名誉教授)と野々部先生(法政大学)の開発したメタヒューリスティクスを基礎としているため,世界最速クラスの探索能力を有します.そのため,超大規模な問題でも,限られた計算時間内に,極めて効率的に求解することができます.
◆ スタッフスケジューリングや時間割作成など,数理計画ソルバーでは解きにくいタイプの応用に対しても,自然なモデル化が可能です.
◆ 簡易モデリング言語によるデータ入力と,ライブラリ呼び出しによる利用が可能です.
ライブラリをご利用していただくことによって,最適化を必要とする他のシステムに組み込んで利用することができます.
◆ 研究の普及を目的としているため,お求めやすい価格でご提供しています.
対応OS環境
Windows 64-bit
Mac OS 64-bit (M1搭載Mac非対応)
Linux (Ubuntu) 64-bit
対応OS環境は,適時,追加または修正される可能性があります.その他OSも状況に応じて提供可能な場合があります.詳細はお問い合わせください.
注意事項
「制約最適化ソルバーSCOPライセンス使用許諾契約書」 (2021年6月改訂版)
商品版と無料トライアル版共通です.
このソフトウェア使用許諾契約の条項を注意深くお読みください.
ソフトウェアをインストールし稼働できるようにすることで,お客様はこのソフトウェア使用許諾契約の条件に同意した ことになります.
ソフトウェア使用許諾契約の効力発生日は本件製品をインストールし,稼働できるようにした日です.
無料トライアル版ダウンロード
変数の数が15までの問題が求解できるトライアルバージョンを無料配布しております.
注)scop.pyを使用する場合,pythonの非標準モジュール(numpy,pandas,plotly)のインストールが必要です.これらの非標準モジュールはpipインストールで簡単に自動インストール可能です.
SCOP windows64トライアル版 (zip圧縮形式)ダウンロード 実行方法
モデリング方法ビデオ
カスタマイズ
最適化ソルバーを用いたモデリング,システム開発など各種コンサルテイングやサポートが可能です.詳細はお問い合わせください.