CPLEX定义变量时，某个角标的范围属于一个集合

Question

直接用CPLEX求解器

我需要先定义集合Pi，i的取值是从1到I，每个集合里的内容已知，例如P1=｛2，3，4｝；P2=｛3，4｝…
这里在数据文件里应该怎样表达？

定义之后，我想在第38行定义Zij 时，i 的取值是1到I，让j的范围是属于Pi。
但是好像中括号里只能写具体的数值？
这里j 的范围应该怎样写呢？
请各位指导

Answer 1

在数据文件中，您可以这样定义集合Pi：

set Pi:=
    1 2 3 4
    2 3 4
    3 4;

这表示集合Pi包含三个元素，分别是{1,2,3,4}，{2,3,4}，{3,4}。

在代码中，您可以按如下方式定义Zij：

dvar float+ Z[i in 1..I][j in Pi[i]];

这里的j取值范围是Pi[i]，即第i个集合Pi中的元素