航班串生成上下文模型

1. 概述

航班串生成上下文按飞机生成可行的航班任务列，包括初始列池和约化成本定价。它向选择算法返回领域对象，不注册主问题变量。

1. 依赖上下文

任务、规则、机组、货物、飞机以及编译上下文的影子价格契约。

2. 概念 / 实体

1. 路线图

$G_{a} = (V_{a}, E_{a})$ 是飞机专属任务转移图； $f e a s i b l e_{a} (e)$ 是规则/时间/飞机可行性谓词。

2. 航班任务串

$B_{b}$ 是飞机 a 的有序任务序列； $c o s t_{b}$ 是总成本； $c o v e r (t, b)$ 表示任务覆盖。

3. 影子价格映射

$π_{t}$ 和 $μ_{a}$ 是计算约化成本的主问题对偶值。

3. 变量

本上下文不拥有求解器决策变量。生成航班串是输出对象，只有编译上下文插入后才成为二元变量。

4. 谓词

initial(b)：航班串属于初始池；feasible(b)：通过任务/规则、飞机、时间、锁定和成本检查；

improving(b)：约化成本低于配置容差。

5. 集合

$A$ ：飞机； $T$ ：任务； $G_{a}$ ：飞机 a 的图； $B_{0}$ ：初始航班串；

$B_{t}^{p r i c e}$ ：第 t 次定价输出； $Π$ ：影子价格映射集合。

6. 中间值

对于飞机 a 的航班串 b，定价约化成本为：

r c (b) = c o s t_{b} - \sum_{t \in B_{b}} π_{t} - μ_{a}

具体成本及对偶归一化由配置的成本计算器和编译策略提供。

7. 断言

每个生成航班串都有已知飞机、非空有序任务序列，并通过配置的可行性判断器：

\forall b \in B_{t}^{p r i c e} : f e a s i b l e (b) = t r u e

8. 约束

本上下文不注册求解器行。生成过程在返回列前执行图边、锁定、连接时间、规则限制和飞机可用性检查。

9. 目标函数（如适用）

定价搜索 rc(b)<0；这是子问题判据，不是上下文注册的独立全局目标。

10. 算法引用

算法	源码角色	用途
InitialFlightTaskBunchGenerator	初始池	为编译提供种子
FlightTaskBunchGenerator	定价	枚举改进型可行航班串

11. 通用语言

术语	符号	定义
路线图	`G_a`	飞机专属可行转移图
航班串/列	`b`	返回编译上下文的有序任务序列
定价	`rc(b)`	搜索改进型列
影子价格	`π, μ`	主问题对偶值

12. 设计决策

决策	备选	原因
生成列在插入前不进入求解器	预分配全部可能航班串	支持增量列生成

13. 变更记录

版本	变更	原因
1.0	记录初始/定价输出边界	区分定价结果与主问题变量

航班串生成上下文模型 ​

1. 概述 ​

1. 依赖上下文 ​

2. 概念 / 实体 ​

1. 路线图 ​

2. 航班任务串 ​

3. 影子价格映射 ​

3. 变量 ​

4. 谓词 ​

5. 集合 ​

6. 中间值 ​

7. 断言 ​

8. 约束 ​

9. 目标函数（如适用） ​

10. 算法引用 ​

11. 通用语言 ​

12. 设计决策 ​

13. 变更记录 ​