ハイブリッド数理計画法

LocalSolverは、フランスのInnovation 24社が開発した、大規模な混合整数非凸最適化問題を解くことができる最適化エンジンです。 対象の問題が、組み合わせ問題/バランス計算/線形または非線形/凸問題または非凸問題かに関わらず、LocalSolverはあらゆる解決手法、ローカル探索技術、制約伝播と推論技術、線形および混合整数計画法、非線形計画法を駆使して問題にチャレンジします。

一般的な算術演算子を用いた最適化モデルに対してLocalSolverは、ユーザーの調整無しに短時間で高品質な解を得ることができます。LocalSolve独自の「ハイブリッドローカル探索法」により、標準的なコンピュータでも数百万変数を扱うことができます。また、LocalSolverにはシステム構築を容易にするモデリング言語と、 本格的実装のための軽量なオブジェクト指向APIが用意されており、ほぼ全てのOSやプラットホーム向けにアプリケーションを短時間に開発することができます。

  •  高度に非凸モデルを解く
  • 秒単位での高品質な解
  • 数百万変数まで対応
  • 独自のハイブリッドローカル探索
  • 革新的なモデリング言語
  • 軽量なオブジェクト指向API
  • シンプルかつ競争力のある価格設定

Download フランスInnovation24社のHPへ飛ぶ

新世代ハイブリッドソルバー

LocalSolverはあらゆる最適化手法:ローカル探索、制約伝播と推論、 線形および混合整数計画法のみならず非線形計画法の長所を組み合わせています。

他の計画ソフトウエアと異なり、LocalSolverは単一の最適化手法に基づくものではありません。LocalSolverは、動的に異なる最適化技術をユニークなハイブリッドローカル探索アプローチで求解します。LocalSolverはローカル探索技術、制約伝播と推論技術、線形および混合整数計画技術のみならず、非線形計画技術をも組み合わせたものです。また、LocalSolverは組み合わせ最適化あるいはバランス計算のための 純粋、直接ローカル探索技術を統合する初めての計画ソルバーです。 LocalSolverは数百万変数を含むモデルを解くことができますが、古典的な混合整数計画(MIP)ソルバーでは解くことができません。たとえば、MIPソルバーのための有名なベンチマークであるMIPLIBの最も困難で大規模な問題においても、LocalSolverは最先端の MIPソルバーよりも優れています。

解法による困難度

革新的なモデリング言語

LocalSolverには強力なモデリング言語があります。この言語を用いると、容易に最適化アプリケーションのプロトタイプを作成することができます。

LocalSolverプログラミング言語(LSP)は効率的なプログラミングスタイル:動的で 強力な型宣言、暗黙の型宣言、コンパクトなループ構文などを提供します。 多くの関数は習得が容易なように作られていて、数学モデルのためにも、通常のプログラミングのためにも使用できます。 LSPの目標はプロトタイピング作業(信頼性)において、プログラミングの労力をなるべく低減すること(効率性)です。得られたLSPモデルは既存のモデリング言語で書かれたものよりも簡潔で理解し易くなっています。

LSPモデルの一例

軽量オブジェクト指向のAPI

LocalSolverはビジネスアプリケーションに統合するために、C++やJava、.NETとの プログラミングインターフェースを提供しています。

LocalSolverのAPIは、軽量で少数のクラスで形成されています。対応するライブラリ(C++やJava、.NET)は、一般的なOS(WindousやLinux、Mac OS)とアーキテクチャ(x86またはx64)に対応しています。LocalSolverのx64版は、完全な 64ビット機能を提供しており、50ギガバイトのRAMのもと5000万変数のモデルに 取り組んだ例もあります。 LSPからAPIへの移行は容易ですので、ユーザーは最適化モデルに集中するのみでよく、問題を切り分けたり、ソルバーを調節したり、追加のコードを書く必要はありません。したがって大規模な最適化問題を数分で記述することができます。

LocalSolverのAPIオブジェクトモデル

LocalSolverについてのお問い合わせ
人員配置スケジューラ「Work Force Planner」