为何我的OPL两层楼疏散仿真模型无法输出可行解？

• 排查约束冲突
  先核对核心约束逻辑：

  • 起始节点总人数是否超过E1、E2的总接纳容量？如果总量溢出，直接导致无解。
  • 通行时间约束是否过严？比如要求所有人员在短于“最远节点到出口的最短通行时间”内完成疏散，逻辑上不可能满足。
  • 节点容量是否存在矛盾？比如中间节点（尤其是楼梯这类跨层关键节点）的瞬时容量被设为0或小于最小流量需求。

• 验证流量守恒逻辑
  OPL模型的流量守恒是基础，需确认：

  • 除起始节点（仅流出）和出口节点（仅流入）外，所有中间节点的流入量等于流出量，有没有遗漏节点的守恒约束。
  • 起始节点的流出总量等于初始人员数，出口的流入总量等于总疏散人数，避免多算、漏算或逻辑颠倒。

• 核对参数与数据定义

  • 路径参数是否正确？比如跨层楼梯的通行时间是否误设为无穷大，单向路径是否被错误设置为双向，导致人员无法通行。
  • 容量参数是否合理？比如楼梯的通行容量是否远低于实际需求，成为无法突破的瓶颈。
  • 出口标识是否准确？有没有把E1、E2误标记为普通节点，导致人员无法流入出口。

• 开启调试定位问题

  • 开启求解器详细日志（在OPL中设置logLevel=2），查看求解器提示的具体冲突约束，直接定位问题点。
  • 简化模型测试：先保留1个起始节点+1个出口的极简场景，验证模型能正常输出解后，再逐步添加节点、约束和数据。
  • 逐步移除约束：先去掉非核心约束（如部分时间限制），看是否能得到可行解，再逐个添加约束，找到导致无解的那条。

• 确认时间范围合理性

  • 计算最远起始节点到出口的最短通行时间，若该时间超过设定的总疏散时间，模型必然无解，需放宽时间限制。
  • 考虑人员排队延迟，约束中的时间设置不能过于理想化，需预留合理缓冲。

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