大規模な集合被覆最適化問題を高速に解く
OptCover(オプトカバー)大規模な集合被覆最適化問題を高速に解くためのソルバーです. 集合被覆最適化問題は,(厳密な定義ではないですが,)実行可能な解を列挙し,その中から最も良い組み合わせを探し出す問題で,配送最適化問題でもスケジューリング問題でも他の組合せ最適化問題でも実行可能解の列挙が可能な問題であればなんでも解くことが可能です. 特徴 •メタヒューリスティクスを基礎としているため,世界最速クラスの探索能力を有します. 大規模な問題でも,限られた計算時間内に,極めて効率的に求解することができます. • 簡易モデリング言語によるデータ入力が可能です.
この製品へのお問い合わせ
基本情報
対応OS環境: Mac OS 64-bit Linux (Ubuntu) 64-bit
価格帯
納期
用途/実績例
ベンチマーク結果:https://www.logopt.com/download/OptCover_benchmark.pdf CPLEX,Gurobi,LocalSolverなど商用ソルバーとの比較結果も記載されています. 同じ計算時間内では,殆どの問題例でこれらの商用ソルバーより良い解が出ます. 実用例: 航空機,鉄道やバス産業などにおける希少資源である航空機,電車やバス,乗務員を適切に割り当てる問題などを効率良く解くことが可能です.これらの問題は問題の構造上,一般的な人員配置や割当問題用のアルゴリズムでは効率良く解くことができません. 例えば,航空機産業の場合,顧客需要予測に基づき,様々な制約を考慮した空港間の便の時刻表の作成や適切な航空機の割当,乗務員の割当などを効率よく解くことができます. この他にも配送最適化やスケジューリング最適化問題など他の組合せ最適化問題も問題構造(実際問題例のデータによって異なる)が集合被覆問題として解いたほうが良い場合はOptCoverで解いた方が短時間で良い解を求めることができます.
ラインアップ(5)
| 型番 | 概要 |
|---|---|
| スケジューリング最適化ソルバーOptSeq | スケジューリング最適化問題を高速に解くためのソルバー https://www.logopt.com/optseq/ |
| 配送最適化ソルバーMETRO | 配送最適化問題を高速に解くためのソルバー https://www.logopt.com/metrosolver/ |
| 数理最適化ソルバーGurobi Optimizer | 高速な数理最適化ソルバー https://www.logopt.com/gurobi/ |
| サプライチェーン統合最適化システムSCMOPT | サプライチェーン最適化のためのシステム https://www.logopt.com/demo/ |
| 制約最適化ソルバーSCOP | 大規模な組合せ最適化問題を高速に解くためのソルバー https://www.logopt.com/scop2/ |
企業情報
当社は、ロジスティクス(サプライチェーン)領域における最適化技術の提供を目的として1991年に設立されました。その後、最適化ソリューションの提供範囲をサプライチェーン以外の領域へと拡大し、2016年頃からは AI を活用したデータ解析ソリューションの提供も開始しています。現在は、日本・中国・韓国に事業展開しています。 また、国内外の数理最適化分野で豊富な実務経験を持つ大学教授陣から技術提供を受けながら、製品開発やサービス提供を行っています。これにより、他社では解決が難しかった高度な最適化課題にも対応でき、世界トップレベルの最適化ソリューションを提供することが可能です。










