問題タブ [ms-solver-foundation]

私はコンピューティングカーネルを開発している会社で働いています。それらの設計は単純です。これはc++のライブラリであり、使用可能なデータから結果を計算するために使用できる関数は1つだけです。

これらのカーネルのすべてには、基本的に4つのステップがあります。

• xmlコンテンツを取得し（フォーマットはXSDファイルで定義されています）、オブジェクトに保存します

• 上記のオブジェクトを使用して数学の問題を定義します

• ソルバーを使用して解決策（または最適な解決策）を見つける

• 結果を新しいxmlファイルにエクスポートします

現在、私たちのリソースは、機能と関心の点で非常にモデル指向です（プログラミングにはあまり関心がありません）。もちろん、私たちは環境を可能な限り友好的かつ効率的にしたいと考えています。C++および自家製ツールの代わりにLinQおよびMicrosoftSolverFoundationを使用してc＃の使用を評価しています。

私の質問は：

• LinQとSolverFoundationはそれをすべて実行できますか？使い方はどれくらい簡単ですか？

• 私たちのリソースの環境を変更することのメリット/ロスは何でしょうか（学習して書き直す時間、効率など）？

• 私が考慮すべき他の興味深いオプションはありますか？

線形および非線形プログラミング (最適化) フレームワークのオプションを検討しています。

要件は次のとおりです。

1. 約で線形および非線形計画問題をサポートします。100 ～ 1000 の変数と最大約 1000 の制約 (非常に単純だと思います)。非線形問題には、複数の変数の乗算または除算を含む制約があります。これほど複雑なことはありません。

2. MS 環境 (SQL Server、MS Access、.NET、Excel) との統合が良好

3. アドホックな問題定義のサポート (つまり、ある種のスクリプト言語、または Excel フロント エンドでの問題の定義と解決のサポート) があると便利です。

4. 私は Excel を単独で使用しますが、より大きな問題については、プログラム (.NET 環境) でソルバーに接続する機能も必要です。

プログラムによるアクセスのために、ソルバーへの抽象化インターフェイスを開発するつもりでした (必要に応じてソルバーを変更できるようにするため)。次に、このインターフェイスを既に備えているMS Solver Foundation ( http://code.msdn.microsoft.com/solverfoundation ) に出くわしました。それが私たちの他の要件に関して法案に適合するかどうか、およびユーザーがそれについてどのような意見を持っているか疑問に思っています.

MSSolverFoundationの実験に使用したい次の簡単な問題があります。

30日間、1日2人の労働者が必要なスケジュールがあります。次の制約を尊重する必要があります。

• 2日続けて働く人はいないはずです。
• 特別な例外が適用されない限り、人々は週に一度だけ働くべきです。
• 週末しか働けない人もいます。
• 平日しか働けない人もいます。

モデルにデータを入力するためにC＃を使用する予定ですが、モデリングを開始するためのサポートが必要です。このタイプの問題に対処するための決定、パラメーター、および制約を設定する方法がわかりません。

更新： ire-and-cursesは良いスタートを切っていますが、フレームワークを使用してこれらの制約を表現するためのより宣言的な方法があることを想像する必要があります。この構築を支援できるMSFに精通している人はいますか？

[MS Solver Foundation][1] で実験するために使用したい次の簡単な問題があります。

1 から 5 の範囲の整数を入力する必要がある 10 個のスロットがあります。2 つの制約のみを適用したいと考えています。

• スロット[n] != スロット[n + 1]
• すべてのスロットの合計が 20 を超える必要があります

次の決定を簡単に作成できます。

そして、次のように手動で制約を設定します

ただし、これを行うためのより良い方法があると想像する必要があります。願わくば、より宣言的な構文に似たものを使用してください。

MSF API を使用して変数を半整数 ( V = 0、またはa <= V <= b) として指定することはできますか?

以下は、「sec」および「int」キーワードを使用して、変数が半連続で整数であることを示す LP_Solve の例です。

MSF で似たようなものがいいでしょう。MSF 内で Gurobi プラグイン DLL を呼び出すことは可能ですが、その API で変数の型を正しく設定できる場所が見つからないことに注意してください (Gurobi はそれを VTYPE と呼んでいると思います)。 .net API で公開されていないか、MSF が使用している Gurobi のバージョンで利用できないのですか? あるいは、.NET から LP_Solve を呼び出す良い方法はありますか?

かなり複雑な状況を解決するために Microsoft Solver Foundation 2 を使用しようとしていますが、可能な限りモデルを縮小しても UnsupportedModelException が発生します。
誰かが私が間違っていることを知っていますか?
以下は、問題のある動作を再現するために必要な最小限の例です。

私の実際のモデルには、完成したら、a + b a <= someValue の形式でいくつかの制約を含める必要があることを考慮してください。そのため、最終的に実行したいことがサポートされていない場合は、事前にお知らせください。その場合は、使用できる.NETフレンドリーなインターフェイスを備えた他のソルバーの提案もいただければ幸いです（よく知られている商用パッケージのみでお願いします）。

前もって感謝します

結果を平方数のみに制限したい（Excelプラグインを使用しています）。これを強制するにはどうすればよいですか？

のように、Xが平方数であるという条件の下で、目標Xを最小化します。

Solver Foundationに精通するために、次の簡単な問題を理解しようとしています。

私には8時間、1部屋、3人の教師がいます。各教師は、それぞれ1時間の長さの2つの講義を開催する必要があり、各教師は2​​つの連続した講義を開催してはなりません。時間を含むものをモデル化する方法を見つけるのに苦労しています。それをどのように数式にモデル化できますか？

私はそれを行うコードブロックを探しているのではなく、説明を探しているか、私が読むことができるいくつかのリソースかもしれません。

前もって感謝します。

線形制約数学モデルを解決できる単純なソルバーを知っている人はいますか? 簡単なモデルの例:

私は MS Solver Foundation を使用しています。これは私の C# コードですが、UnsolvableModelException がスローされます。

助けてくれてありがとう

編集：

int CSP(constraint sstisfaction programming) の問題のため、それを解決するときにディレクティブを使用しないでください。コードは次のようになります。

ただし、なぜゆっくりと走ったのかはわかりません。ソリューションセットの最初のソリューションのみが必要です。

Microsoft Solver Foundation for CLP を使用することの欠点は何ですか? ソルバーは Express/Standard バージョンである程度サポートされていますが、最も基本的な制約プログラミング以上のものを達成するには、高価な Gurobi / Knitro アドオンを購入する必要があると想像できます。

Solver の CLP 機能を純粋に考慮した場合、Solver は ECLiPSe と比べてどうですか?