一类求解平衡问题的次梯度型方法的定量分析
最优化与控制
2021-09-02 v2
摘要
我们利用源自数学逻辑子学科“证明挖掘”(proof mining)的技术，为求解凸优化中在固实非扩张映射不动点集上的平衡问题的次梯度型算法提供亚稳定性速率，并在度量正则性假设下给出收敛速率。该算法由 H. Iiduka 和 I. Yamada 于 2009 年提出，他们给出了其收敛性的非有效性证明。本案例研究说明了第二作者在前文中给出的基于逻辑的一般形式 Fejér 单调性的抽象定量分析方法的适用性。
引用
@article{arxiv.2008.06900,
title = {Quantitative analysis of a subgradient-type method for equilibrium problems},
author = {Nicholas Pischke and Ulrich Kohlenbach},
journal= {arXiv preprint arXiv:2008.06900},
year = {2021}
}
备注
14 pages