1. LocalSolverホーム

大規模組み合わせ最適化問題を解く次世代 数理計算法システムLocalSolver。

Hybrid Math Optimization “All-in-One” Solver
LocalSolver = LS + CP/SAT + LP/MIP + NLP +.......

次世代-ハイブリット型・数理計画ソルバー

LocalSolverは、大規模混合変数非凸最適化問題を解きます。お客様が抱えているいかなる問題もLocalSolverで解くことができます。(組合せまたは数値的、線形や非線形、凸や非凸を含む問題)LocalSolverは、お客様の最適化に関する問題を解くために、ベストな(最善な)ハイブリット最適化テクニック(ローカルサーチ・テクニック、制約伝播、推論テクニック、線形、混合整数計画テクニック、非線形計画テクニック)が全て組み込まれています。

複雑なチューニングをしなくても、一般的な数理演算子を使用し最適化モデルを宣言するだけで、数秒から数分で高品質な解を得ることができます。独自のハイブリット型近傍探索手法をベースとするLocalSolverは、スタンダード・コンピュータ上で実行する場合でも、最高、数百万変数までスケールアップすることが可能です。
LocalSolverは、迅速なプロトタイピング向けに革新的な数理モデリング言語を持ち、完全に統合化されたオブジェクト指向型APIsを用いて、お客様の環境に素早く、柔軟に統合頂けます。(全プラットフォームで利用頂けます。)

LocalSolver研究・開発グループ Who we are &The team

数理的演算子を使用し、最適化モデルの宣言を行うことでLocalSolverはチューニングの必要なく短い実行時間で高品質な解を提供致します。LocalSolverを使用することで、数千万のバイナリ意思決定変数までの実行を通常のコンピュータ上で可能です。LocalSolverはビジネスおよび産業で生じる大規模な実世界の組合わせ問題に特に最適です。

  • 非凸性の高いモデルを解く
  • 短時間で高品質の解を提供
  • 1000万まで意思決定変数をスケールアップ可能
  • 独自のハイブリッド近傍探索
  • 革新的な数理モデリング言語
  • C++、Java、.NET、Pythonで簡単に利用できるオブジェクト指向型APIs
  • 教育向けアカデミックライセンス提供

どのような時、LocalSolverが役に立つか?

  • 大規模組合せ最適化問題を解く場合
  • MIPソルバーが良い整数解を発見出来ない場合
  • MIPソルバーが良い整数解を発見できても、時間がかかりすぎる場合
  • MIPモデルを記述することが非線形制約があるため困難な場合
  • MIPでは解けないためCPを選択しようとする場合(LocalSolverを推奨)

LocalSolverは下記に最適(大規模組合せ問題を解きたい場合)

  • 非線形の割り当て問題:車両の優先順位付け、頻度割り当て等
  • パッキング&カバーリング:メディア・プランニング、グラフ分割等
  • 設備配置、ロジスティッククラスタリング、通信網の最適化等
  • 機械/人員スケジュールリング、グループプランニング、 看護師スケジューリング

お気軽にお問い合わせください

当サイトはフランスInnovation24社の承認に基づき、MSI株式会社で日本語にしました(無断転載禁止)。

このページの先頭へ