cplex 中 dvar int+ y2;是啥意思

在 CPLEX 中，`dvar int+ y2` 表示定义一个非负整数变量 `y2`。这个变量只能取非负整数值，即 0、1、2、3、……。`dvar` 表示定义一个决策变量（decision variable），`int+` 表示该变量是整数且必须是非负整数。

例如，以下代码片段演示了如何定义 `y2` 为非负整数变量：

dvar int+ y2; // 定义变量y2为非负整数

在这个例子中，我们定义了一个非负整数变量 `y2`，它只能取非负整数值。如果您需要定义一个正整数变量，可以将 `int+` 改为 `int` 并添加一个约束条件，以确保该变量的值为正整数。