首先我们定义一般形式的求解x的优化问题:
表示优化的目标函数,上述为最小优化,实际上最大优化可以改写为
的形式
表示第i个不等式约束
表示等式约束
1. Lagrange对偶问题
上述优化问题的拉格朗日Lagrange对偶法求解,是将上述带约束的目标优化问题改写为如下无约束的Lagrange函数式子。
上述Lagrange函数式子存在如下对偶函数,其是Lagrange函数关于取最小值,即:
对偶函数是关于的函数,很显然其是原来Lagrange函数式子的下界,假设优化问题存在最优解
,当
时,此时存在最优目标大于对偶函数。