1960年,Rosen 提出一个求线性不等式组可行解的投影算法.1981年,Powell给出一个例子说明 Rosen 的算法会发生循环从而失效.本文证明,按照 Rosen 的算法,只要适当地做点修正,循环就可避免,从而算法必在有限步内找到解或发现无解.首先给出一些记号.所考虑的问题是求 n 维向量 x
为了求解不可微函数的极小值,Shor引入了空间扩张算子,并依此而构造了一类沿梯度空间扩张(Space Dilation along the Gradient)算法,简记为SDG算法。本文将指出SDG算法具有二次有限终止性,同时也指出了SDG算法与共轭方向法的关系。设可以表示成由(1)式易知根据(1)式定义算子R_a(ξ)被称为沿方向ξ、系数为a的空间扩张算子。容易验证算子R_a(ξ)的矩阵表示如下: