在用于线性规划的内点方法的潜在减少和原始路径中,构造了一个障碍函数,其中包含以下项在哪里是变量。这是为了防止变量为 0,从而使当前的解决方案保持可行。
然而,在潜在减少中,通过求解一个包含单个不等式约束的线性程序来找到将当前解决方案移动到的新方向在哪里和是方向。这个约束使得新的解决方案遗迹因而可行。是具有变量向量元素的对角矩阵形成对角线。
然而在原始路径方法(相关方法)中,可以只解决障碍函数问题的拉格朗日对偶,并且保证新的解决方案是可行的 - 即性质保证满意。
关于为什么原始路径可以通过解决拉格朗日对偶(因此不必处理不等式)而潜在减少不能解决,是否有一些很好的直觉?我能想到的最好的是潜在减少算法中的障碍函数包含术语在哪里是对偶间隙(是问题的双重版本中松弛的松弛向量)。因此,这个术语强烈地拉动进入一个潜在的不可行区域。原始路径的障碍函数只有项(在哪里是原始问题的目标函数)除了障碍函数中的对数项,因此它不会施加那么强的拉力(因为它不会例如去什么时候去 0 不像这将)。但是我不知道如何正式化。