基于PYOMO+GLPK的生产计划优化模型无有效非零解求助

问题概述 #

开发覆盖生产、包装、配送三阶段的生产计划优化模型，各阶段设置产能与提前期约束，需求按州级维度定义。基于Pyomo+GLPK构建线性规划模型后，求解日志显示已找到最优解，但所有决策变量均为零值。已尝试修改目标函数（最大化三阶段产量总和）、调整输入数据，问题仍未解决。

排查与解决方向 #

1. 目标函数逻辑验证 #

• 检查目标函数是否存在反向激励：例如误将最大化产量写成最小化，或产量的目标系数为负（导致生产越多目标值越低，求解器倾向零解）
• 确认产量权重设置：若权重远小于约束隐含的"惩罚"（如成本系数过大），求解器会优先选择零产量以优化目标

2. 约束条件排查 #

• 产能约束：核实产能参数是否为0，或约束表达式写反（如生产产量 >= 产能而非生产产量 <= 产能）
• 提前期约束：检查提前期逻辑是否导致非零产量无法满足时间要求（如需求时间早于生产+包装+配送总提前期，无可行非零计划）
• 需求约束：若模型包含需求满足约束，确认需求数据是否为0，或约束表达式错误（如产量 >= 需求但需求为负，或产量 <= 需求且需求为0）
• 变量边界：检查决策变量的lower_bound/upper_bound是否被错误设置为0，或约束隐式限制变量只能取0

3. 输入数据校验 #

• 排查产能、提前期、需求数据是否全零或存在异常负值：若所有州需求为0，求解器自然选择零产量
• 确认单位一致性：例如产能单位为"日产量"，需求单位为"月需求"，量级不匹配导致求解器优先零解

4. 模型构建细节检查 #

• 变量关联：确认决策变量是否正确关联到各阶段约束（如生产变量未被包装/配送约束引用，无强制生产的逻辑）
• 约束语法：检查Pyomo约束是否存在索引错误、变量引用错误，导致约束未生效
• 求解器配置：核实GLPK参数设置（如误开启整数规划模式但变量为连续型，或精度设置过高导致小数值被判定为0）

辅助排查文件 #

以下文件可用于进一步定位问题：

• 数据样例：产能、提前期、州级需求输入数据
• YAML配置文件：模型参数配置
• 约束代码：Pyomo约束定义片段
• 求解日志：GLPK求解输出日志
• 结果提取逻辑：决策变量取值提取代码

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