Corrigendum: On the complexity of finding first-order critical points in constrained nonlinear optimization

被引:0
|
作者
C. Cartis
N. I. M. Gould
Ph. L. Toint
机构
[1] University of Oxford,Mathematical Institute
[2] Rutherford Appleton Laboratory,Computational Science and Engineering Department
[3] FUNDP-University of Namur,Namur Center for Complex Systems (naXys) and Department of Mathematics
来源
Mathematical Programming | 2017年 / 161卷
关键词
Evaluation complexity; Worst-case analysis; Constrained nonlinear optimization;
D O I
暂无
中图分类号
学科分类号
摘要
In a recent paper (Cartis et al. in Math Prog A 144(2):93–106, 2014), the evaluation complexity of an algorithm to find an approximate first-order critical point for the general smooth constrained optimization problem was examined. Unfortunately, the proof of Lemma 3.5 in that paper uses a result from an earlier paper in an incorrect way, and indeed the result of the lemma is false. The purpose of this corrigendum is to provide a modification of the previous analysis that allows us to restore the complexity bound for a different, scaled measure of first-order criticality.
引用
收藏
页码:611 / 626
页数:15
相关论文
共 50 条
  • [41] Complexity of a class of first-order objective-function-free optimization algorithms
    Gratton, S.
    Jerad, S.
    Toint, Ph. L.
    OPTIMIZATION METHODS & SOFTWARE, 2024,
  • [42] Physical Computational Complexity and First-order Logic
    Whyman, Richard
    FUNDAMENTA INFORMATICAE, 2021, 181 (2-3) : 129 - 161
  • [43] The Complexity of Decomposing Modal and First-Order Theories
    Goeller, Stefan
    Jung, Jean Christoph
    Lohrey, Markus
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 325 - 334
  • [44] The complexity of definability by open first-order formulas
    Areces, Carlos
    Campercholi, Miguel
    Penazzi, Daniel
    Ventura, Pablo
    LOGIC JOURNAL OF THE IGPL, 2020, 28 (06) : 1093 - 1105
  • [45] ON THE FIRST-ORDER COMPLEXITY OF INDUCED SUBGRAPH ISOMORPHISM
    Verbitsky, Oleg
    Zhukovskii, Maksim
    LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (01) : 25:1 - 25:24
  • [46] The Complexity of Decomposing Modal and First-Order Theories
    Goeller, Stefan
    Jung, Jean-Christoph
    Lohrey, Markus
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 16 (01)
  • [47] Complexity of existential positive first-order logic
    Bodirsky, Manuel
    Hermann, Miki
    Richoux, Florian
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (04) : 753 - 760
  • [48] Rounding by disorder of first-order quantum phase transitions: Emergence of quantum critical points
    Goswami, Pallab
    Schwab, David
    Chakravarty, Sudip
    PHYSICAL REVIEW LETTERS, 2008, 100 (01)
  • [49] On the Parameterized Complexity of Learning First-Order Logic
    van Bergerem, Steffen
    Grohe, Martin
    Ritzert, Martin
    PROCEEDINGS OF THE 41ST ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS '22), 2022, : 337 - 346
  • [50] CRITICAL REGIONS AT A FIRST-ORDER TRANSITION
    BENGUIGUI, L
    JOURNAL OF PHYSICS C-SOLID STATE PHYSICS, 1975, 8 (01): : 17 - 28