4 理论分析 在本节中,作者研究了上述提出的算法的收敛性。所有相关证明均在补充文档中提供。作者首先给出了一些关于问题(1)的标准假设,并定义了问题(1)的标准 ϵ \epsilon ϵ-驻点,如[49, 51]中所用。 在整篇论文中,令 c k = ⌊ k