GRBModel.addGenConstrIndicator ()


GRBModel.addGenConstrIndicator ()

添加一个新的通用类型约束伽马射线爆发。GENCONSTR_INDICATOR一个模型。

一个指标约束<span>$< span>z = f \right tarrow a^Tx \leq b<span>$</span>表示如果二进制指示变量< span > < / span > z < span >美元< / span >等于< span > < / span > f < 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 > z < span >美元< / span >的约束将被迫是二进制的,与它是如何创建的无关。

GRBGenConstr addGenConstrIndicator GRBVar binvar,
int binval,
GRBLinExpr expr。
字符 意义上说,
,
字符串 名称)
    参数:

    binvar:二进制指标变量。

    binval:强制满足线性约束的二进制指标变量的值(< span > < / span > 0 < span >美元< / span >< span > < / span > 1美元美元< span > < / span >).

    expr:指示器触发的线性约束的左边表达式。

    感觉:表示线性约束的意义。选项是伽马射线爆发。LESS_EQUAL伽马射线爆发。平等的,或伽马射线爆发。GREATER_EQUAL

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

    的名字:新通用约束的名称。

    返回值:

    新通用约束。