Under the assumptions, which don not need the strict complementary and are weaker than strong second order condition, the algorithm is proved to be globally and locally superlinearly convergent.

• 无需严格互补性假设,且在一个比强二阶充分性条件更弱的条件下,证明了算法的全局收敛性及局部超线性收敛性。