OCTOBER SKY CO.,LTD

  1. ホーム
  2.  > 製品情報
  3.  > Gurobi Optimizer > 
  4. 製品概要

製品概要

製品概要

Gurobi Optimizerは、最新のマルチコア プロセッサを徹底的に利用し構築された、最新鋭のシンプレックス ベースのリニア プログラミング(LP)および混合整数プログラミング(MIP)です。 Gurobiの全てのライセンスには、並列性能が含まれています。 Gurobi Parallel MIP Optimizerは、同一モデル上の決定論的な2つの離れている実行から同一のソリューション パスを生成します。
Gurobi Optimizerは、C言語で書かれており、いろいろな言語からアクセス可能です。 パワフルで、インタラクティブなPythonインターフェースおよびマトリックス指向Cインターフェースだけでなく、C++、Java、Pythonからのオブジェクト指向インターフェースも提供します。 これらのインターフェースは、Gurobi製品へのアクセスの強化を目的に、軽量および使い易さを実現するために設計されています。 インターフェースは、軽量なため、その他の標準的なインターフェースより高速で、かつ、メモリの使用量がより少なくなります。 Gurobiのオンライン ドキュメント(クイックスタート ガイド、イグザンプル ツアーおよびリファレンス マニュアル)には、これらインターフェースの使用方法が記述されています。 また、Microsoft Solver Foundation (MSF)を通じた.NETのインターフェースも持っています。 Gurobi Optimizerは、MSFの中でデフォルトMIPソルバーになります。

Gurobi Optimizer バージョン4.5 では、バージョン4.0での二次計画(QP)および混合整数二次計画(MIQP)の新機能サポートに続き、MIPで31%、内点法では14%の飛躍的なパフォーマンスの向上を実現しました。Gurobi Optimizerは、すでに第三者機関のベンチマークサイトにおいて、他のソルバーをしのぐスピードを記録していますが、バージョン4.5のリリースにより、更なる記録更新が期待されます。

最適化が必要とされる分野は様々な産業にまたがっていて、複雑化するグローバル企業のオペレーションの効率化のための様々なアプリケーションへの適用が可能です。Gurobi Optimpzer バージョン4.5のリリースは、これら企業の更なる成功を後押しするだけでなく、国家研究機関および大学教育機関においてもその活用が進んでいくでしょう。

Gurobi Optimizerバージョン4.6では、Pythonによるモデリング機能の強化、Primal Simplexのパフォーマンス面での大幅な改善、MIPパフォーマンスとロバストネスの改善、そして制約より変数がはるかに多い場合に対応できるようLPモデルに対する「Sifting(ふるい)アルゴリズム」機能を新たに追加しました。大規模問題への更なる利用が期待されます。

各バージョンにおける主な機能強化と改善点

<Gurobi Optimizerバージョン4.6>
- 簡潔で高効率なモデルの構築が容易になるようPythonのモデリング インターフェイスを拡張
- Primal Simplex と混合整数2次計画(MIQP)におけるパフォーマンスの大幅な改善
- 混合整数計画(MIP)パフォーマンスの改善
- MIPのロバスト性の改善:許容値に対する小さな違反の発生を起きにくくした
- 制約より変数がはるかに多い場合に対応できるようLPモデルに対する「Sifting(ふるい)アルゴリズム」機能を新たに追加
- MIPにおいて、ユーザがブランチの優先を指定する機能
- 特定のMIPモデルの難しさを減少させるためのプレソルブでの疎行列化オプション
- 難しいMIPモデルの実行可能解を見つけるための新しいヒューリスティックス
- .zip と .7zip ファイルを読む機能

<Gurobi Optimizerバージョン4.5>
- MIPと内点法のパフォーマンス、大幅な向上
 MIP全体で31%、100秒以上かかる問題に限定すれば75%の向上
 内点法全体では14%、100秒以上かかる問題に限定すれば23%の向上
- LPとQPのモデルを解くために使うアルゴリズムを、自動的に選択する新しいデフォルト機能
 LPモデルにはコンカレント処理を、QPモデルには内点法を使います。これによって、パフォーマンスを大幅に向上させます。
- 難しいMIPモデルの実行可能解を見つけるための新しいヒューリスティック
 他の方法では実行可能解を見つけられない場合に、非常に有効です。
- 実行不可能モデルとアンバウンドモデルに関する情報入手機能
 上級のユーザは、アンバウンド箇所の特定と、実行不可能性の証明を得ることができます。

<Gurobi Optimizer バージョン4.0>
- 二次計画(QP)と混合整数二次計画(MIQP)
- QPおよびMIQPのバリアは、パラレル対応
- MIPで約15%、、シンプレックスで約10%、バリアで約10%の高速化を実現
- Visual Studio 2010のサポート
- Javaと.NETにおけるフローティング ライセンスの、より直接的な制御

サポート プラットフォーム

Gurobi Optimizerは、現在下記のコンピュータ プラットフォームで利用可能です。

  • Windows (32ビットおよび64ビット、XP、Vista、7、Server2008R2)
  • Linux (32ビットおよび64ビット、Ubuntu 、Red Hat 、SUSE )
  • Mac OS (64ビットのみ、Snow Leopard/MacOS )
  • AIX (64ビット)

その他のプラットフォームのサポートは、お客様からの要求により、適時に追加される可能性があります。

Gurobi Optimizerへのアクセス

多様な使用シナリオに対応する商用版も提供します。 お客様は、シングル ライセンス、ネットワーク上の複数ユーザーに使用を許可するフローティング ライセンス、お客様の製品に組み込むためのライセンスなどを購入できます。
即時のダウンロード、インストールが可能な無償評価バージョンが、利用可能です。 この評価バージョンでは、500の変数および500の制約までの問題を受け付けることができます。 これらサイズの制約以外は、全てのGurobiソルバーとインターフェースへのアクセスを含む全機能が、この評価バージョンに搭載されています。
更にGurobiは、資格あるアカデミック機関の教職員、学生およびスタッフのためのアカデミック ライセンスも提供しています。 アカデミック ライセンスは、商用版の全機能への完全なアクセスを提供します。

 

Pythonを用いたGurobi解説ビデオは、こちらから⇒


©2010 OCTOBER SKY CO.,LTD All rights reserved.