問題タブ [solver]

これが誰かに明らかであることを願っています。私は GLPK/MathProg をバニラでしか使用したことがありません。たとえば、GNU MathProg (GLPK 内) で次のことを行うための構文を理解するのに問題があります。

問題は、これが MathProg によって拒否されることです。

- パーティション (ここでは PartsOfWeek) とセット (ここでは Weekdays) を宣言する - データからパーティションを構築する - パーティションからセットの要素をセットに取り込む。

より良い例は、季節と月です。

私はアルゴリズムを書いていますc++が、マスターとサブの問題があります。そのため、cplex ソルバーを 2 回呼び出します。初めてそれを呼び出してマスターの問題を解決するときです。これがそのための私のコードです。

しかし、それはうまくいきません！印刷cout<<"1" << endl;しIloCplex cplex_master(env);ません。

たとえば、いくつかの変数a = b + cと開始ソリューション、たとえば の間にいくつかの既知の関係があるとしa=2, b=1, c=1ます。更新が与えられた場合、たとえばとa=3の値を更新して、関係がまだ満たされるようにコードを書いています(明らかに、多くの可能性があり、1 つだけ必要です)。bcb=2

実際には、多くの関係があり、直線的ではありません。このコードは、 、 、などa(b,c)、各変数の関数を他の変数の関数としてユーザーが提供することによって機能します。次に、依存関係グラフを作成し、1 つの値が変更されると、幅優先検索のような処理を行って他の値を更新します。これは機能しているように見えますが、車輪を再発明していると思わずにはいられません。これは非常によく知られているコンピューター サイエンス/グラフ理論の問題です。パッケージもあるのかな。b(a,c)c(a,b)

私が解決しているこの問題が正確に何であるかについて、誰かがいくつかのリンクや洞察を提供できますか?

Linuxで整数プログラムを解決するための優れたツールはありますか？

時間を節約するために計算したい小さな問題があります：D。これは一種の部分和問題です。約20個の整数値のリストがあり、特定の最小値を満たす最小の合計でサブセットを計算したいと思います。あなたは整数計画法でこれを定式化することができます...のようなもの

と

または、これを行う他の良い方法はありますか？

私は数独パズルを解くクラスのためにcのプログラムに取り組んでいます。実装する方法は3つあります。最初に、選択肢が1つしかない各正方形に正しい数字を配置し、見つからなくなるまで繰り返します。次に、力ずくの力を使用して、各正方形に可能な限り少ない数を配置します。私はこれらの2つの方法を機能させています。最後の方法は、ブルートフォース機能の一部であるバックトラッキングを使用したブルートフォースです。通常のブルートフォースと同じように機能しますが、数字を配置できない正方形に到達すると、前の正方形に移動して次に大きい数字を配置します。これが実装されると、これは与えられたすべての数独パズルを解決するはずですが、これは私が問題を抱えているところです。

私は3つの方法すべてを実装しましたが、数独パズルの例をいくつか示しました。最初の「単一選択」方法のみを使用して解決できるものもあれば、「単一選択」と「ブルートフォースなし」のみを使用して解決できるものもあります。 「バックトラッキング」など、「単一選択」と「バックトラッキングによるブルートフォース」を使用するもの。私のプログラムは、「単一選択」パズルと「単一選択」および「バックトラックなしのブルートフォース」パズルの両方で機能します。ただし、「単一選択」および「バックトラックを伴うブルートフォース」パズルでは機能しません。

私が理解していない奇妙な部分は、バックトラックパズルの場合、ブルートフォース関数が呼び出される前にプログラムが動作を停止することです。

これが私の主な機能です：

「printf（ "a \ n"）」を使用して、プログラムが機能しなくなる場所を示しました。

動作する出力の例を次に示します。これは、「単一選択」方式と「バックトラックなしのブルートフォース」を使用して機能する数独パズルの例です。ゼロはパズルの空白を表すことに注意してください。

そして、これは機能しない出力の例です。これは、「単一選択」と「バックトラックを伴うブルートフォース」を使用して解決する必要があるパズルの例です。

プログラムは、無限ループにあるかのように実行を続け、^Cはプログラムを終了します。ご覧のとおり、プログラムは数独パズルを読み取る真下のprintf（ "a"）に到達することはなく、「バックトラックを伴うブルートフォース」関数を呼び出す前に、パズルだけであるため奇妙です。動作しないバックトラックを伴うブルートフォースを必要とします。

スタックしているように見えるreadSudoku関数は次のとおりです。

そして、これがバックトラッキングが実装されたブルートフォース機能です

これは非常に奇妙な問題であり、私にはまったく意味がありません。助けていただければ幸いです。

次のように方程式を再配置できる Java ライブラリはありますか。

私はたくさん検索しましたが、見つけたほとんどのライブラリは (方程式を満たす値を見つけることによって) 方程式を解くことしかできず、再配置はできません。

ありがとう

私は動的観測のいくつかの簡単な分析にMicrosoftのZ3を使用しています。この一環として、ある数式をある変数のセットを使用してから別のターゲットの変数のセットに変換できれば便利です。

私はZ3を初めて使用しますが、内部の簡略化ルールや数式を変換する他の手段があることを知っています...基本的に、次のような変換を実行できるかどうか疑問に思っています。

これがZ3の主な目標ではないことは認識していますが、すでに簡略化/解決できる機能があることはわかっていました...ヘルプテキストから判断すると、目標の状態と戦術を設計する方法があるという印象を受けました。それらに到達しましたが、Z3のコマンドに基づいてそれを行う方法についての情報を実際に見つけることができませんでした(help)（何かが足りない場合を除いて...）。

私は実際には複雑なことをするつもりはありません-ターゲットセットにないシンボルの単純な置換/削除...これを行うためにツールを誘導する方法があるのだろうか？

z3ソルバーに「シンボリック」ソリューションを発行させる方法はありますか? たとえば、方程式の場合:

1+x=c

解は x=c-1 ですが、z3 は常に のような特定のモデルを出力し[c = 0, x = -1]ます。cをシンボリック変数として「定義」する方法は?

制約のある非線形最適化の問題があります。ソルバー アドインを使用して Microsoft Excel で解決できますが、C# で再現するのに問題があります。

私の問題は、次のスプレッドシートに示されています。私は古典的なA x = b問題を解いていますが、 xのすべての成分が非負でなければならないという警告があります。したがって、標準の線形代数を使用する代わりに、非負の制約を持つソルバーを使用して、差の二乗和を最小化し、妥当な解を得ます。Microsoft Solver FoundationまたはSolver SDKを使用して、これを C# で複製しようとしました。ただし、MSFでは目標を定義する方法がわからず、Solver SDKでは常にステータスが「最適」であり、ローカルではないすべて0のソリューションが返されるため、どこにも行けないようです。最小。

Solver SDK のコードは次のとおりです。

Microsoft Solver Foundation のコードはありません。ゴール関数を 1 行で記述できるとは思えず、Solver SDK のようにデリゲートを使用できないためです。

私は、ODEソルバー（ode45）を使用してMATLABでアルゴリズムのGUIを作成するプロジェクトに取り組んでいます。したがって、MATLABコードをJavaに変換する必要があります。問題はode45ソルバーです。Javaにはすぐに使えるソルバーがないようで、ODEは私の専門ではありません。私は見栄えが悪いだけですか、それともJava用のODEソルバーが実際に実装されていませんか？

ありがとう