数理最適化セミナーのご案内

6.4 整数変数クラスIntegerVariable

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

IntegerVariable x;
1 <= x <= 10;

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

Set S = "1 .. 10";
DiscreteVariable x(dom = S);
6.3.4 求解オプションdefaultConstraintWeight
6.5 離散変数クラスDiscreteVariable

 

 

上に戻る