复杂示例 4：航班恢复分支定价 — 总览

English

1. 概述

Demo4 是架构示例。Application 为空类，通用量示例可运行；上下文页面描述已经实现的契约，不宣称已经组装了完整生产模型。

2. 上下文与依赖

上下文	职责	依赖
任务与规则	任务数据、连接和业务规则	输入配置
机组、货物、旅客	资源与运输需求	任务及相应资源数据
航班串生成	搜索符合策略的航班串	任务、规则及资源上下文
航班串编译	将列编译为覆盖、容量与目标表达式	已生成航班串、相关业务管线
航班串选择	协调列选择与分支定价策略	生成与编译契约

3. 概念、集合与谓词

领域词汇包括航班任务、连接、机组、货物、旅客和航班串（bunch）。谓词表达可行任务转移、资源兼容性及列的接纳条件。相应集合由各上下文定义，不把所有资源合成一个无归属的集合。

4. 变量与中间值

航班串编译上下文拥有列使用量，并根据各列系数计算任务、飞机和连接相关表达式。航班串生成与选择描述服务及回调契约，不重复声明主问题变量；具体记号和定义域见各上下文子页。

5. 断言、约束与目标

编译上下文提供任务、连接、飞机及相关资源的模型契约；启用旅客等业务管线时再加入对应约束与目标。顶层空的 Application 并不定义完整全局目标，不能把这些契约误写成已组装的统一求解模型。

6. 算法与生命周期

架构上的协作顺序为：构造业务策略，初始化对偶信息，生成航班串，编译主问题，再根据约化成本和分支策略继续迭代。通用量示例单独演示量类型与线性符号 API。

7. 注册 → 构造 → 求解 → 分析

子页分别说明可注册的符号、管线和回调。Kotlin 顶层 Application 是占位入口，因此这里描述上下文的组合方式，不提供一个并不存在的端到端求解调用链。

8. 源码入口

• Kotlin Demo4 源码
• Rust Demo4 源码

9. Kotlin/Rust 对照与设计决策

Kotlin 与 Rust 均有相应框架示例目录，但不能由同名目录推断相同的顶层完成度。本文以 Kotlin 上下文契约为基准，明确区分架构组合与已经执行的全局模型。

10. 上下文模型页面

打开上下文索引，分别阅读任务、规则、机组、货物、旅客、航班串生成、航班串编译与航班串选择。

11. 变更记录

版本	变更	原因
1.1	统一中英文总览、数学记号和源码入口	与所属上下文模型保持一致