It is proved that this algorithm can either get an approximate optimal solution, or get the conclusion that there is no solution of the problem in a large region, after finite iterations.

• 证明了该算法经过有限步迭代后，或者在某个较大的区域得到问题的一个近似最优解，或者说明问题在该区域内无解。