大規模組合せ最適化問題を高速に解く
SCOP (Solver for COnstraint Programing:スコープ)は,大規模な組合せ最適化問題を高速に解くためのソルバーです. SCOPでは,組合せ最適化問題に特化した求解原理を用いるため,従来の数理最適化ソルバーで解けない大規模な問題に対しても, 効率的に良好な解を探索可能です. 特徴: 数理最適化ソルバーと異なる方法で変数を定義するため,大幅に変数を減らすことができ,高速な求解が可能です. 数理最適化ソルバーより(人が理解しやすい)自然な論理制約記述が可能です. メタヒューリスティクスを基礎としているため,世界最速クラスの探索能力を有します. 大規模な問題でも,限られた計算時間内に,極めて効率的に求解することがでます. 簡易モデリング言語によるデータ入力とPython言語インターフェイスを用意しています.
この製品へのお問い合わせ
基本情報
対応OS環境: Windows 64-bit Mac OS 64-bit Linux (Ubuntu) 64-bit
価格情報
問い合わせ
納期
用途/実績例
ベンチマーク結果: 時間割作成第2回国際コンペテーションITC2007:Track1(試験時間割):3位,Track2(大学時間割):2位,Track3(高校時間割):3位(3トラック全てで3位以内に入ったのはSCOPのもとになったアルゴリズムだけ) ナーススケジューリングシフト作成第1回国際コンペテーションINRC 2010:Track1(10秒):2位,Track2(10分):3位,Track3(10時間):4位 用途: 幅広い組合せ最適化問題を解くことが可能で,割当問題に対しては,人が理解しやすい非常に自然なモデリングが可能で,高速に良い答えを出すことが可能です. 人員配置最適化 会議スケジューリング 仕事割当 部屋の割当 生産最適化 投入順決定 広告割当 など 人員配置最適化でシフトと業務を同時に考慮した最適化(割り当てられたシフトの中でどの業務を何時から何時まで行うかを決める問題で,日単位や3交代制などシフト作成より大分難しい)でも80人,30分単位の1ヶ月分のスケジュール作成で十数分で良い解が出ます.(SCOPはユーザが設定した計算時間内で最も良い解を出す仕組み)
ラインアップ(5)
型番 | 概要 |
---|---|
スケジューリング最適化ソルバーOptSeq | 大規模なスケジューリング最適化問題を高速に解くためのソルバー https://www.logopt.com/optseq/ |
配送最適化ソルバーMETRO | 大規模な配送最適化問題を高速に解くためのソルバー https://www.logopt.com/metrosolver/ |
集合被覆最適化ソルバーOptCover | 大規模な集合被覆問題を高速に解くためのソルバー https://www.logopt.com/optcover/ |
数理最適化ソルバーGurobi Optimizer | 高速な数理最適化ソルバー https://www.logopt.com/gurobi/ |
サプライチェーン統合最適化システムSCMOPT | サプライチェーン最適化のためのシステム https://www.logopt.com/demo/ |
カタログ(1)
カタログをまとめてダウンロード企業情報
当社は、ロジスティックス(サプライ・チェイン)における最適化に関する 最高水準の技術を提供するために1991年に創設され、 その後、最適化ソリューション提供範囲をサプライ・チェイン以外の分野にも広げ、 2016年頃からはAIによるデータ解析ソリューション提供も行っており、 日本、中国、韓国に事業を展開しています。 国内外の数理最適化分野で実務経験の豊富な大学教授らから技術提供を受けながら 商品の開発やサービス提供をしてるため、他社では解決できなかった難しい 最適化課題を解決するなど、世界トップレベルの最適化ソリューション提供が可能です。