海理定理在内点法中的障碍函数.docVIP

海理定理在内点法中的障碍函数

一、内点法与障碍函数的基础关联

内点法作为求解凸优化问题的核心算法之一，其核心思想是通过在可行域内部迭代搜索最优解，避免了传统单纯形法在可行域顶点间跳转的局限性。而障碍函数则是内点法实现这一思想的关键工具，它通过在可行域边界处设置无穷大的“障碍”，迫使迭代点始终保持在可行域内部，从而将约束优化问题转化为一系列无约束优化问题进行求解。

海理定理（Farkas引理）作为凸分析中的重要定理，为内点法中障碍函数的构建和收敛性分析提供了坚实的理论基础。该定理指出，对于线性方程组(Ax=b)和不等式组(Cx\leqd)，要么存在可行解(x)满足所有约束，要么存在非零向量(y)和(z)使得(A^Ty+C^Tz=0)，(b^Ty+d^Tz0)且(z\geq0)。这一定理为判断约束优化问题的可行性提供了重要依据，同时也为障碍函数的设计提供了思路——通过构造障碍函数，使得当迭代点接近可行域边界时，函数值迅速增大，从而模拟海理定理中“不可行”情况下的矛盾性。

在实际应用中，常见的障碍函数包括对数障碍函数和倒数障碍函数。对数障碍函数的形式为(B(x)=-\sum_{i=1}^m\log(g_i(x)))，其中(g_i(x)0)为不等式约束条件；倒数障碍函数则为(B(x)=\sum_{i=1}^m