GRBaddgenconstrIndicator

int GRBaddgenconstrIndicator( GRBmodel *模型,
const char *姓名、
int binvar,
int binval,
int 据nvar,
const int *印第安纳州,
const双 * val,
字符 意义上说,
rhs)

添加一个新类型的一般约束GRB_GENCONSTR_INDICATOR一个模型。请注意,由于我们懒惰的更新方法,新的约束实际上不会被添加(使用直到你更新模型GRBupdatemodel(使用),优化模型GRBoptimize),或写磁盘(使用的模型GRBwrite)。

一个指标约束< span > < / span >美元z = f \ rightarrow ^ Tx \ leq b < span > < / span >美元州,如果二进制变量指标< span > < / span > z < span >美元< / span >等于< span > < / span > f < span >美元< / span >,在那里< span > < / span >美元f \ \ {0,1 \} < span > < / span >美元,那么线性约束< span > < / span >美元^ Tx \ leq b < span > < / span >美元应该持有。另一方面,如果< span > < / span > z =美元行进< span > < / span >美元,线性约束可能违反了。线性约束的感觉也可以指定“< span > < / span > = < span >美元< / span >”或“< span > < / span > \美元组< span > < / span >美元”。

注意,指标变量< span > < / span > z < span >美元< / span >的约束将被迫二进制,独立于它是如何创建的。

参数:

模型:新通用约束的模型应该被添加。

的名字:新通用约束的名称。这个观点可以,在这种情况下,约束条件是给定一个默认名称。

binvar:二进制指数的指标变量< span > < / span > z < span >美元< / span >

binval价值:< span > < / span > f < span >美元< / span >二进制的指标变量,将迫使线性约束得到满足(< span > < / span > 0 < span >美元< / span >< span > < span > < / span > 1美元< / span >)。

据nvar数量:< span > < / span > n < span >美元< / span >非零系数的线性约束引发的指标。

印第安纳州:指标变量< span > < / span >美元x_j < span > < / span >美元非零值的线性约束。

瓦尔:非零值的数值< span > < / span >美元a_j < span > < / span >美元在线性约束。

感觉:线性约束。选项是GRB_LESS_EQUAL,GRB_EQUAL,或GRB_GREATER_EQUAL

园艺学会:右边的值线性约束。

返回值:

一个非零返回值表明,添加通用约束时发生问题。指的是错误代码表的列表可能的返回值。细节错误可以通过调用GRBgeterrormsg

使用示例:

/ * x7 = 1 - > x1 + 2 x3 + x4 = 1 * / int印第安纳州[]= {1,3,4};双val [] = {1.0, 2.0, 1.0};错误= GRBaddgenconstrIndicator(模型、零7,1,3,印第安纳州,val, GRB_EQUAL, 1.0);

尝试Gurobi免费

选择最适合你的评估许可,开始使用我们的专家团队提供技术指导和支持。

评估许可
得到一个免费的,功能齐全的许可证的Gurobi性能优化经验,支持,基准测试和调优服务我们提供我们产品的一部分。
学术许可
Gurobi支持教学和学术机构内使用的优化。我们提供免费的,功能齐全的Gurobi用于类的副本,并进行研究。
云试验

申请免费试用时间,所以你可以看到一个模型可以解决如何快速而方便地在云上。

<\/i>","library":"fa-solid"}}" data-widget_type="nav-menu.default">

Gurobi通讯