arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2303.15876math.OC
收藏

约束Optimization和不动点迭代的加速不可行性检测

Accelerated Infeasibility Detection of Constrained Optimization and Fixed-Point Iterations

Jisun Park, Ernest K. Ryu

摘要:

随着一阶最优化方法成为解决大规模最优化问题的首选方法,正在构建基于一阶算法的优化求解器。这样的通用求解器必须鲁棒地检测不可行的或错误指定的问题实例,但这样做的一阶方法的计算复杂性还没有被正式研究。在这项工作中,我们的特点是最佳加速率的不可行性检测。我们表明,标准的不动点迭代达到$\mathcal{O}(1/k^2)$和$\mathcal{O}(1/k)$率,分别在归一化迭代和不动点残差收敛到无穷大位移向量,而加速的不动点迭代达到$\mathcal{O}(1/k^2)$和$\tilde{\mathcal{O}}(1/k^2)$率。然后,我们提供了一个匹配的复杂度下界,以建立$Θ(1/k^2)$确实是最佳的加速率。

英文摘要:

As first-order optimization methods become the method of choice for solving large-scale optimization problems, optimization solvers based on first-order algorithms are being built. Such general-purpose solvers must robustly detect infeasible or misspecified problem instances, but the computational complexity of first-order methods for doing so has yet to be formally studied. In this work, we characterize the optimal accelerated rate of infeasibility detection. We show that the standard fixed-point iteration achieves a $\mathcal{O}(1/k^2)$ and $\mathcal{O}(1/k)$ rates, respectively, on the normalized iterates and the fixed-point residual converging to the infimal displacement vector, while the accelerated fixed-point iteration achieves $\mathcal{O}(1/k^2)$ and $\tilde{\mathcal{O}}(1/k^2)$ rates. We then provide a matching complexity lower bound to establish that $Θ(1/k^2)$ is indeed the optimal accelerated rate.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑