最適化セミナーのご案内

6.4 整数変数クラスIntegerVariable

 wcsp使用時には,0-1整数変数のみ利用が可能です.即ちIntegerVariableを利用する際には,必ず引数にtype=binaryを付ける必要があります.通常の整数変数を用いることはできません.通常の整数変数を利用したい場合は,離散変数DiscreteVariableを用いて記述する必要があります.例えば,$0 \le x \le 10$を満たす整数変数を定めたい場合,通常の数理計画モデルでは次のように記述します.

IntegerVariable x;
0 <= x <= 10;

 一方,離散変数を用いた場合,以下のような記述になります.

Set S="1 .. 10";
DiscreteVariable x(dom=S);

 

 

上に戻る