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

平衡问题的一种次梯度型方法的定量分析

Quantitative analysis of a subgradient-type method for equilibrium problems

Nicholas Pischke, Ulrich Kohlenbach

摘要:

我们使用的技术起源于数理逻辑的子学科称为“证明挖掘”,以提供亚稳定性和-下一个度量正则性假设-收敛率的次梯度型算法解决平衡问题的凸优化在固定点集的坚定非扩张映射。该算法是由H.伊杜卡和我。Yamada在2009年给出了一个无效的收敛性证明。这个案例研究说明了第二作者在以前的论文中给出的Fejér单调性的一般形式的基于逻辑的抽象定量分析的适用性。

英文摘要:

We use techniques originating from the subdiscipline of mathematical logic called `proof mining' to provide rates of metastability and - under a metric regularity assumption - rates of convergence for a subgradient-type algorithm solving the equilibrium problem in convex optimization over fixed-point sets of firmly nonexpansive mappings. The algorithm is due to H. Iiduka and I. Yamada who in 2009 gave a noneffective proof of its convergence. This case study illustrates the applicability of the logic-based abstract quantitative analysis of general forms of Fejér monotonicity as given by the second author in previous papers.

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

↑