半整数のためのMicrosoftソルバー財団

Question

は、それが半整数（V = 0、又はa <= V <= b）などの変数を指定するMSF APIを使用することが可能ですか？

は、以下の変数が半連続整数であることを示すために、「秒」と「INT」のキーワードを使用しlp_solveは例です。

max: 0.5 Q1 + 0.55 Q2 ;

Q1 >= 5;
Q1 <= 10 ;
Q2 >= 5;
Q2 <= 10;
Q1 + Q2 <= 10;

sec Q1,Q2 ;
int Q1,Q2 ;

MSFで同様のものがいいだろう。私は私が（私はGurobiはそれをVTYPEを呼び出すと思います）が正しく変数の型を設定することができるようにそのAPI内の任意の場所を見つけることができませんが、私はそれがどちらかであると仮定して、MSF内GurobiプラグインDLLを呼び出すことが可能であることに注意してくださいMSFが使用することをGurobiのバージョンで利用できる彼らの.NET APIで公開されていませんか？また、.NET？

からlp_solveはを呼び出すための良い方法があります

Answer 1

あなたはソルバー財団でこれを行うことができますが、「秒」のキーワードのための等価なものはありません。代わりに、各半整数の変数のためのダミー0-1決定を追加することができます。 「V」を含むオリジナルたとえば、ここにあなたがOMLでそれを行うことができ方法は次のとおりです。

Model[
  Decisions[
    Integers[0, 1],
    VPositive
  ],
  Decisions[
    Reals,
    V
  ],
  Constraints[
    constraint -> 10 * VPositive<= V <= 20 * VPositive
  ]
]

あなたはソルバー財団APIを使用している場合、あなたは、オブジェクトモデルを使用してanalagous意思決定、制約、目標を追加します。意思決定の種類を指定する方法は、ctorの提供、ドメインを使用しています。