正项几何规划的一个线性化算法及其收敛性

定理算法第k步终止时,xk真即为PGP之解,否则{xi}必有聚点,且其任何聚点均为PGP的解.证由Pi(x)≥Pi(x,y)易见第一个结论真.为证第二个结论,设xik→x∞,和只需证x∞∈H.