大規模な集合被覆最適化問題を高速に解く
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/ |
カタログ(1)
カタログをまとめてダウンロード企業情報
当社は、ロジスティックス(サプライ・チェイン)における最適化に関する 最高水準の技術を提供するために1991年に創設され、 その後、最適化ソリューション提供範囲をサプライ・チェイン以外の分野にも広げ、 2016年頃からはAIによるデータ解析ソリューション提供も行っており、 日本、中国、韓国に事業を展開しています。 国内外の数理最適化分野で実務経験の豊富な大学教授らから技術提供を受けながら 商品の開発やサービス提供をしてるため、他社では解決できなかった難しい 最適化課題を解決するなど、世界トップレベルの最適化ソリューション提供が可能です。