.NET/Cのリニアプログラミングライブラリ

Question

未定義の方程式と制約の線形システムを解いてから、コスト関数を最小にする特定の解を見つける必要があります。これは、.NETとMonoで実行される純粋に移植可能なマネージコードで行う必要があります。私がこれを実装するために自由に利用できるライブラリは何ですか？

無料のライブラリで提供されるすべての最適化アルゴリズムは、1つの変数に対してインターバル制約のみをサポートしています。 、x + 2y < 4のような制約ではありません。また、線形方程式のソルバーは多くの場合、1つのソリューションで線形システムのみをサポートしていることがわかりました。

私が今までに見つけた最も近いものはDotNumericsです。これは未定義線形システムを解くための特異値分解を含みますが、その最適化アルゴリズムは単一可変制約のみをサポートしています。

線形計画については他にもいくつかの質問がありますが、私の重要な要件は多変数制約と不確定システムの解決です。私はまだ多変数制約をサポートする無料のライブラリを見つける必要があります。

Answer 1

ALGLIBは、リニアソルバーなどの一般的なライブラリです。私は絶望の前にそれを良い外観を与えるだろう。

Answer 2

リニアプログラミングは、求めていることを正確に行うためのものです。多変数制約は、線形計画では絶対に正常です。たとえば、lpsolve（http://sourceforge.net/projects/lpsolve/）、glpk（）またはCBC（https://projects.coin-or.org/Cbc）のようなフリーソルバーを探してください。

私は上記の提案はC＃ではなく、管理されていない.netアセンブリであることを認めます。それがあなたのためのディール・ブレーカーであれば、これらのライブラリーの1つのソース・コードから自分でバージョンをビルドすることができます。私はそれを試していない - かなりの作業が必要になるかもしれません。

元の質問から、あなたが解決しようとしている問題の大きさや複雑さも不明です。離散値を取らなければならない変数がある場合は、分岐や拘束などを行うソルバーライブラリが必要です。そうでなければ、単純に線形で連続的であれば、シンプレックスアルゴリズムを使用できます。あらかじめ構築されたバージョンが見つからない場合は、教科書がたくさんあります。

これは非常に小さな問題（数十の変数と制約）または線形で連続的な場合は、独自の新鮮な（移植性のある純粋なマネージコード）実装で取り除くことができるかもしれませんが、あなたが必要とするパフォーマンスを得るのに苦労するかもしれません。大きく複雑な問題がある場合は、必要な答えを得るために商用ソルバーが必要な場合があるので、運が悪いかもしれません。

Answer 3

.NET（Windows Store、Windows Phone、Silverlightなど）用に開発している場合は、大きなLPおよび/またはMILPの問題に適したlpsolveをご覧ください。それぞれのlpsolve DLLが含まれているx86またはx64開発アーカイブのダウンロード：秒をした後、P /呼び出しがlpsolve APIに関連するすべての関数の呼び出しとC＃ファイルが含まれている.NET APIアーカイブをダウンロードしてください。

もう1つの方法は、CoinMPプリコンパイルされたバイナリを使用して、COIN-ORプロジェクトのCLPソルバを使用することです。利用可能なC＃ラッパーDLLはhereです。

には純粋にマネージドコードが必要ですが、上記のMarc Gravellが提案するようにALGLIBが最適ですが、ALGLIBオープンソースライセンスはGPLを使用していることに注意してください。 ALGLIBをオープンソースコミュニティに開示することなく独自のコードで使用したい場合は、市販のALGLIBライセンスを購入する必要があります。

クイックインターネット検索でも、Simplex LPアルゴリズムhereの純粋なC＃実装がわかります。私は作者を特定することができず、この実装が正しいかどうか、あるいは品質が何であるか分かりません。このコードは、Windows Store、Windows Phone、Silverlight、Monoのコンテキストでも、移植性が高いようです。

Answer 4

誰も言及していない。solver foundation。それは良い選択です。