复杂示例 5:VRPTW 分支定价 — 总览
1. 概述
Demo5 是可运行的 VRPTW 集成。它建立基于路线的受限主问题,定价带资源约束的初等路线,并通过 network-scheduling framework 执行分支定价。
2. 上下文与依赖
| 上下文 | 职责 | 依赖 |
|---|---|---|
| 车辆路径(VRP) | 客户、车型、路线、资源与验证 | 归一化输入、计算策略 |
| 路线生成 | 资源约束初等路线定价 | VRP、对偶价格、分支规则 |
| 路线编译 | 客户覆盖、车队数量、人工覆盖和两阶段目标 | VRP、已生成路线 |
应用层协调分支节点与阶段切换,生成和编译通过路线列及对偶价格交换信息。
3. 概念、集合与谓词
4. 变量与中间值
5. 断言、约束与目标
客户覆盖满足
6. 算法与生命周期
应用生成初始路线并求解节点 LP,通过 ESPPRC 搜索改进列,再处理分数解和分支节点。定价需要同时计入客户与车队对偶价格;受返回列数等限制的定价不能直接视为完成。
7. 注册 → 构造 → 求解 → 分析
VRP 校验并归一化输入;路线生成构造定价图;路线编译注册受限主问题;分支定价协调主问题、定价与两阶段切换;分析阶段将整数路线使用量还原为经过验证的方案。
8. 源码入口
9. Kotlin/Rust 对照与设计决策
两种语言的复杂示例均使用路线列框架。公式区分节点 LP 与最终整数方案,并区分第一阶段可行性恢复与第二阶段成本优化;直接弧模型测试参照不替代这里的路线列主模型。
10. 上下文模型页面
11. 变更记录
| 版本 | 变更 | 原因 |
|---|---|---|
| 1.1 | 统一中英文总览、数学记号和源码入口 | 与所属上下文模型保持一致 |