来源:原始 Jupyter Notebook。内容已转换为网页阅读格式;下载原文件

可微分的凸函数 f:RdRf: \mathbb{R}^d \to \mathbb{R}g:RdRpg: \mathbb{R}^d \to \mathbb{R}^p 的约束条件的最小化问题:

mintf(t),g(t)0 \mathop{\min}_{t} f(t), g(t) \leqslant 0

可以转换为拉格朗日对偶问题重新定义:

maxλinftL(t,λ),λ0 \mathop{\max}_{\lambda} \mathop{\inf}_{t} L(t, \lambda), \lambda \geqslant 0

其中,λ\lambda 称为拉格朗日乘子:

λ=(λ1,,λp)T \lambda = (\lambda_1, \dots, \lambda_p)^T

L(t,λ)L(t, \lambda) 称为拉格朗日函数:

L(t,λ)=f(t)+λTg(t) L(t, \lambda) = f(t) + \lambda^Tg(t)

拉格朗日对偶问题的 t 的解,与原来的问题的解是一致的。