問題タブ [mathprog]

任意のオープン ソース ソルバーを使用して cplex .mod および .dat ファイルを glpk .mod および .dat (個別のモデル ファイルとデータ ファイル) に変換し、できれば glpsol を使用して異なるデータ ファイルでモデルをコンパイルします。私の知る限り、glpsol は opl cplex .mod ファイルの読み取りコマンドを提供していません。cplex はオープン ソースではなく、lp/mps 形式はモデル ファイルとデータ ファイルを個別に変換しないため、oplrun を介して mps または lp ファイルをエクスポートしてから glpk .mod ファイルに変換したくありません。

glpsol、より正確にはその変数の 1 つの奇妙な動作を経験しています。を使用してコマンドを実行しますglpsol -m sol.mod

入力、ファイル内sol.mod:

出力：

問題a[1]は、評価が 2 で、-a[1]評価が -1 であるようです。また、a[3] も 2 に等しいため、制約 p1x3 は満たされません。

現在、これを修正する方法や、何が原因であるかさえわかりません。

私はこの小さなコードを持っています:

問題は s にあり、常に drdrd.mod:13: syntax error inliteral set と表示されます。G の g を J の j に変更すると、すべて問題ありません。3種セットは無理ですか？

そして、私が解決できなかった別の質問は、私が i の代わりに 2 in I を入れた場合 (最初の 2 つの数字を考慮したいため)、同じエラーメッセージも表示されます。

御時間ありがとうございます。

i、p、j の 3 つのパラメーターを持つ目的関数を次のように最小化しようとしています。

しかし、目的関数は 0 より大きい必要があります。そうしないと、最小化の目的が無効になります。

そして、次のように目的関数に制約を追加することで、これを確実にしようとしています:

しかし、次のエラーが表示されます。

これを行うことさえ可能ですか？ヘルプ/提案をありがとう！

コードの関連部分である次の MILP 問題があります。

基準 crit_3 が次の式を表すようにします。

基本的に、行列 P[i,j] = 1 の場合に、i と j の特定の組み合わせに対してのみ制約を有効にしたいのですが、どうすればこれを達成できますか?

glpk パッケージから GNU MathProg 言語の文法を作成しようとしていますhttps://www3.nd.edu/~jeff/mathprog/glpk-4.47/doc/gmpl.pdf
残念ながら、これまでに書いた文法はあいまいです。識別子が使用されているときに、解析ツリーのどのブランチが正しいかを bison に伝える方法がわかりません。例えば：

識別子は単に「変数」の名前です。変数には特定のタイプ (パラメーター、セット、決定変数) があり、インデックスが付けられている場合があります。コードプログラマーは、たとえば次のようなステートメントで変数の型を宣言する必要があります。

しかし、バイソンが識別子を見ると、どのルールを使用すべきかわからず、次のような削減/削減の競合が発生します

他にも問題がありますが、これは私にとってブロッカーです

次のドメイン外エラーが発生します。以下を参照してください。問題は、言及された行で、q が LAT 値を含まない Qualities セットから出てくることです。これを防ぎ、すべてのデータを 1 つのテーブルに保持するにはどうすればよいですか? 別のテーブルを使用して回避しようとしましたlatdataが、これは見苦しく冗長に見えます。

ron.mod のソースは次のとおりです。

私は gusek と呼ばれるこのプログラムを初めて使用し、次の式を実行しようとしています:

「or_vaja.mod:1: 期待される場所にコロンがありません」というエラーが表示されます。

何か助けはありますか？