Я использую GLPK под Linux для решения некоторых задач линейного программирования. В одном из моих ограничений у меня есть:
s.t. example: binary_var+binary_val <=1;
Где binary_val
- переменная, определенная как «двоичная».
Если binary_val
примет значение 1
, будет ли его сумма 2
или в двоичном виде, он вернет либо 0
, либо 1
?