Excel规划求解覆盖问题：无需IF将>0值转为1的实现方案求助

针对你遇到的IF函数不满足线性条件的问题，核心思路是引入辅助二进制变量，把非线性的"统计SUMPRODUCT结果>0的数量"转化为线性约束和线性目标函数，具体步骤如下：

1. 定义变量 #

• 设原二进制决策变量为 x1, x2, ..., xn（对应你选择的决策单元格，取值0或1）
• 新增辅助二进制变量 y1, y2, ..., ym，其中 yi 对应第i个单元格的覆盖状态：yi=1 表示该单元格被覆盖，yi=0 表示未被覆盖

2. 建立线性约束 #

对每个单元格i，添加以下约束：

SUMPRODUCT(邻接矩阵第i行, x1:x n) >= yi

• 逻辑解释：如果单元格i被覆盖（SUMPRODUCT结果≥1），则yi可以取1；如果SUMPRODUCT结果=0（未覆盖），则yi只能取0，完美对应覆盖状态，且完全符合线性条件。

3. 设置目标函数 #

将目标函数设为最大化辅助变量的和：

SUM(y1:y m)

这个和就是被覆盖单元格的总数，完全线性，Solver可以正常处理。

4. 保留原有约束 #

继续保留你之前设置的"取值为1的决策变量数量限制"，比如：

SUM(x1:x n) <= K （K是你允许的最大选择数）

同时确保所有x和y变量都设置为**二进制（Binary）**类型。

额外注意事项 #

• 邻接矩阵的取值必须是0或1，确保SUMPRODUCT的线性性
• 若邻接矩阵中存在单元格自身被选中也视为覆盖的情况（即决策变量对应单元格自己），只需在邻接矩阵对应位置设为1即可，约束逻辑不变

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