OR-Tools取送货模型反转节点角色后无解问题求助

核心排查方向 #

1. 取送货配对与需求约束的一致性 #

• 确认pickups_deliveries调整后，对应的demands设置完全匹配：
  • 配对从[4,5]改为[5,4]时，站点5的需求需设为正（取货），站点4的需求设为负（送货），且绝对值必须相等，否则会触发全局需求不平衡，直接导致无解。
  • 检查站点0（depot）的需求是否严格为0，depot不能有取送货需求。

2. 路径的容量约束验证 #

• 逐段计算你提出的可行路径0→1→2→3→6→5→4→0的实时负载：
  • 从depot出发负载为0，每经过取货点累加需求，送货点扣除需求，确保每一段的负载都不超过车辆最大容量。
  • 例如：假设站点5取货+2、站点4送货-2，需确认途经站点1、2、3、6后的负载加上5的需求仍在容量范围内，且到达4之后负载回到合理值。

3. OR-Tools取送货约束的配置细节 #

• 检查AddPickupAndDelivery方法的调用是否正确：
  • 配对改为[5,4]后，必须调用AddPickupAndDelivery(5, 4)，不能保留旧的参数顺序。
  • 确认是否添加了优先级约束：送货点4必须在取货点5之后访问，OR-Tools不会自动添加该约束，需手动通过model.Add(visit_5 <= visit_4)（visit变量为节点的访问时间/顺序）强制顺序。
  • 检查车辆的return_to_depot设置是否为True，你的路径要求回到depot，该配置必须开启。

4. 求解器参数与启发式设置 #

• 若使用默认求解器，尝试调整搜索参数：
  • 增加求解时间限制（如solver.SetTimeLimit(60000)，单位毫秒），避免默认超时导致未找到可行解。
  • 切换search_branching策略，比如PYTHON_CHOOSER或AUTOMATIC，部分场景下默认分支策略可能错过可行解。

5. 节点索引与数据映射错误 #

• 确认所有配置的节点索引（包括pickups_deliveries、demands、距离矩阵）完全对应，没有混淆站点5和4的索引，比如距离矩阵中是否误将5和4的位置颠倒导致路径成本异常。

快速验证步骤 #

1. 导出所有约束条件（model.ExportToMpsFormat()），检查取送货配对、优先级约束、容量约束是否符合预期。
2. 手动模拟你提出的路径，计算每一步的负载，确认无容量违规。
3. 简化模型：暂时移除其他节点，只保留depot、5、4，测试是否能生成0→5→4→0的路径，再逐步添加其他节点排查冲突。

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