1. 课程导入与多目标优化问题界定

在工程与决策实践中,我们很少只面对一个目标。设计一辆车,希望油耗低、加速快、成本可控、安全性高;训练一个模型,希望精度高、推理延迟低、显存占用小;安排一条配送路线,希望总里程短、准时率高、车辆数少。这些目标往往彼此冲突:降低油耗可能牺牲动力,提高精度往往增加计算量。当"更好"不再是一个单一方向时,传统的单目标优化方法就失效了,我们需要一套新的语言来描述"无法同时最优"的解,这正是多目标优化要解决的问题。

本节学习目标

学完本节,你应当能够:用数学语言写出一个多目标优化问题的三要素(决策变量、目标函数、约束);准确判断两个解之间的支配关系,并据此识别Pareto最优解与Pareto前沿;区分"目标空间"与"决策空间"两个视角;说出多目标优化在工程、机器学习、运筹调度中的典型落点;并建立对整门课程路线图的整体认知——后续章节将围绕"如何评价解集质量、如何生成Pareto前沿、如何在前沿上做决策"三条主线展开。

多目标优化问题的标准形式

一个多目标优化问题通常写成如下形式(本节统一约定:所有目标均为最小化,若某目标需要最大化,取其相反数转化为最小化,全文与图示保持一致):

min  F(x) = [f1(x), f2(x), ..., fm(x)]
s.t. gi(x) ≤ 0,  i = 1..p        (不等式约束)
     hj(x) = 0,  j = 1..q        (等式约束)
     x ∈ X ⊆ R^n                 (决策变量可行域)

其中 x 是 n 维决策变量,F(x) 是 m 维目标向量(m ≥ 2),X 是由约束界定的可行域。关键区别在于:单目标优化的输出是一个标量,可以天然排序;多目标优化的输出是一个向量,向量之间没有全序关系,不能简单说"谁更大"。这就引出了支配关系。

Pareto支配与Pareto最优解

设两个可行解 xa、xb,对应目标向量 fa、fb。在最小化约定下,称 xa 支配 xb,当且仅当:对每一个目标 i,都有 fa,i ≤ fb,i,且至少存在一个目标 k 使 fa,k < fb,k。直观地说:各项都不差,且至少一项更好。若两个解互不支配(一个在某目标上更优、另一个在别的目标上更优),则它们构成权衡关系。

若一个可行解不被任何其他可行解支配,它就是Pareto最优解(非支配解)。所有Pareto最优解在目标空间中构成的集合称为Pareto前沿。需要强调:Pareto前沿上的解彼此之间没有优劣之分,选择哪一个取决于决策者的偏好与工程约束,这正是"多目标"与"单目标"最本质的分野。

判断支配关系时,务必先统一优化方向。若题目中某目标是"最大化收益",请先转为"最小化负收益",否则支配判断会整体反转。这是初学者最常见的错误来源。

一个可手算的教学示例

考虑一个双目标最小化问题(示例参数为教学设定,非实测数据):决策变量为某产品的两个设计参数,目标为成本 f1 与重量 f2。现有四个候选方案,目标值如下表:

方案f1 成本f2 重量支配关系
A108被 C 支配
B612非支配
C86非支配
D1210被 C 支配

逐对比较:C(8,6) 相对 A(10,8) 两项都更小,故 C 支配 A;C 相对 D(12,10) 同样两项更小,C 支配 D。而 B(6,12) 与 C(8,6) 互不支配——B 成本更低但更重,C 更轻但成本更高。因此 B 与 C 都是Pareto最优解,构成该示例的Pareto前沿;A、D 属于被支配解,应被淘汰。这个例子说明:Pareto前沿不是"最好的一个点",而是一组无法再改进而不损害其他目标的点。

问题结构 决策变量 x n 维 · 可行域 X 约束条件 g≤0 · h=0 目标向量 F(x) m 维 · 均最小化 支配判断 各项不差 且至少一项更好 目标空间:Pareto 前沿 f1 成本 → f2 重量 → Pareto 前沿(非支配集) B(6,12) C(8,6) A(10,8) D(12,10) C 支配 A 互不支配 · 权衡

两个视角:决策空间与目标空间

上图左侧是问题的构成逻辑,右侧是目标空间中的散点。理解多目标优化必须同时握住两个视角:在决策空间中,我们搜索的是参数组合 x;在目标空间中,我们评价的是向量 F(x)。Pareto前沿是目标空间里的概念,而算法实际搜索发生在决策空间,二者通过目标函数映射相连。很多算法(如NSGA-II、MOEA/D)正是在决策空间中维持种群多样性,以逼近目标空间中的前沿形状。前沿的"形状"本身也携带信息:凸前沿、凹前沿、不连续前沿对算法选择和后续决策方法都有不同要求,这将在后续章节展开。

典型应用场景

  • 工程结构设计:在强度、重量、成本之间权衡,输出一组可选设计方案供工程师决策。
  • 机器学习:精度与推理延迟、模型体积、能耗之间的权衡,用于模型选型与部署。
  • 运筹与调度:配送里程、准时率、车辆数、碳排放的多目标路径与排班优化。
  • 控制系统:响应速度与超调量、稳态误差之间的参数整定权衡。

这些场景的共同点是:不存在"唯一正确答案",而是需要给决策者提供一组高质量候选解,并说明每个解在哪些目标上付出了代价。

课程路线图

本课程共30章,整体沿三条主线推进。第一条是概念与评价主线:从本节的问题界定出发,建立支配、Pareto前沿、收敛性与多样性等评价指标,学会用超体积、间距等度量判断解集质量。第二条是算法主线:依次讲解基于Pareto支配的经典多目标进化算法、基于分解的方法、基于指标的方法,以及约束处理与高维目标(many-objective)的应对策略,并配合可运行的实现与参数设置。第三条是决策主线:前沿生成之后如何选点,包括偏好表达、权重与参考点方法、多属性决策与可视化分析。三条主线最终汇聚为"生成—评价—决策"的完整闭环。

学习建议:本节先把"支配"和"Pareto前沿"两个概念吃透,后续所有算法本质上都在回答两个问题——如何让解逼近真正的前沿(收敛性),如何让解均匀铺满前沿(多样性)。带着这两个问题进入后续章节,学习效率会显著提高。

最后留一个自检练习:若某三目标问题中,解 P 的目标向量为 (3,5,4),解 Q 为 (3,4,6),请判断二者是否互相支配,并说明理由。能准确回答,说明你已经掌握了本节最核心的判断工具。