如何在CPLEX中定义依赖优化结果的变量集合？

原代码的核心问题 #

1. 命名冲突：同时将Mobilestation定义为range和{int}集合，导致变量逻辑混乱。
2. 集合未声明：代码中调用Msource.add(i)但未提前声明Msource集合。
3. 执行时机错误：在模型求解前的execute块中访问决策变量pos，此时变量未被求解，默认值为0，因此集合始终为空。

正确实现方式 #

1. 求解后生成结果集合（用于分析/输出） #

如果需求是在优化求解完成后，提取被选中的充电站集合用于后续分析或输出，需在求解后的execute块中处理：

// 定义参数
int N = 2; // 移动电源数量
int M = 4; // 充电站数量

// 定义范围
range MEG = 1..N;
range StationRange = 1..M;

// 决策变量：pos[n][i] = 1 表示第n台移动电源连接第i个充电站
dvar boolean pos[MEG][StationRange];

// 约束条件
subject to {
    // 每个移动电源仅连接一个充电站
    forall(n in MEG)
        sum(i in StationRange) pos[n][i] == 1;
    // 约束：总共仅选择2个不同的充电站
    sum(i in StationRange) (sum(n in MEG) pos[n][i] >= 1) == 2;
}

// 求解后提取选中的充电站集合
execute afterSolution {
    {int} SelectedStations = {};
    for(n in MEG) {
        for(i in StationRange) {
            // 访问变量的求解结果值
            if (pos[n][i].solutionValue == 1) {
                SelectedStations.add(i);
            }
        }
    }
    // 去重处理（避免同一充电站被多次添加）
    SelectedStations = cplex.setIntersection(SelectedStations, SelectedStations);
    writeln("选中的充电站集合：", SelectedStations);
}

2. 模型约束中基于选中充电站构建逻辑（无需动态集合） #

OPL是静态建模语言，模型构建阶段无法使用依赖决策变量的动态集合。若需在约束中基于选中的充电站定义规则，可通过辅助布尔变量替代集合的作用：

int N = 2;
int M = 4;
range MEG = 1..N;
range StationRange = 1..M;

// 示例参数：每个充电站的最大负载
int maxLoad[StationRange] = [10, 15, 8, 12];
// 每个移动电源的负载需求
int loadDemand[MEG] = [5, 6];

dvar boolean pos[MEG][StationRange];
// 辅助变量：isSelected[i] = 1 表示第i个充电站被选中
dvar boolean isSelected[StationRange];

subject to {
    // 每个移动电源连接一个充电站
    forall(n in MEG)
        sum(i in StationRange) pos[n][i] == 1;
    // 关联辅助变量与决策变量：充电站被选中当且仅当有移动电源连接它
    forall(i in StationRange)
        isSelected[i] == (sum(n in MEG) pos[n][i] >= 1);
    // 约束：仅选中2个充电站
    sum(i in StationRange) isSelected[i] == 2;
    // 负载约束：选中的充电站总负载不超过其最大容量
    forall(i in StationRange)
        sum(n in MEG) pos[n][i] * loadDemand[n] <= maxLoad[i] * isSelected[i];
}

关键注意事项 #

• OPL模型构建阶段的集合必须是静态的，不能依赖未求解的决策变量。
• 若要获取求解后的变量值，必须在execute afterSolution块中调用.solutionValue属性，不能直接访问变量名。
• 避免同一名称同时定义range和集合，防止命名冲突。

内容的提问来源于stack exchange，提问作者VANDANA KUMARI