The Moment-SOS hierarchy
Moment-SOS层次最初于2000年在优化中引入，基于K-矩问题及其对偶对应物的理论，即K上为正的多项式。结果表明，该方法也可以应用于解决具有正性约束“f（x）$\ge$ 0 for all x $\in$ K“和/或Borel测度上的线性约束的问题。这些问题可以被看作是“广义矩问题”（GPM）的具体实例，GPM在各个领域的重要应用是无止境的。我们描述了这种方法，并概述了它在各个领域的应用。
2018-08-10 math.OC
A Moment-SOS Hierarchy for Robust Polynomial Matrix Inequality Optimization with SOS-Convexity
该研究针对带鲁棒PMI约束的多项式优化问题，构建SOS-凸性假设下的矩-SOS松弛层级，证明收敛性并给出极小值提取方法，还拓展至凸与非凸场景，为相关矩阵优化问题提供了有效求解框架。
2024-10-08 math.OC
Specialized effective Positivstellensätze for improved convergence rates of the moment-SOS hierarchy
该研究针对随机过程出口位置估计的矩-SOS层级，结合两类正定理提出带二次次数界的球面新有效正定理，证明单位球情形下解以超多项式速率收敛，凸显了专用正定理的效用及与问题特性的关联。
2024-03-09 math.OC
Density, Determinacy, Duality and a Regularized Moment-SOS Hierarchy
本文提出了一种正则化的矩-SOS层次结构，能够处理无界集或违反阿基米德性质的有界集问题，通过泛函分析方法和密度结果实现了收敛性证明，并提供了一种单调非递减的下界序列。
2025-12-05 math.OC
A Sublevel Moment-SOS Hierarchy for Polynomial Optimization
我们引入了一个子级矩SOS层次结构，其中每个SDP松弛可以被看作是一个中间（或插值）之间的第d和（d+1）阶SDP松弛的矩SOS层次结构（密集或稀疏版本）。通过灵活选择确定SDP松弛中子集的大小（级别）和数量（深度），能够基于机器存储容量获得与d阶松弛相比不同的改进。特别是，我们提供了d=1和组合优化（最大割，混合整数规划）和深度学习（鲁棒性认证，神经网络的Lipschitz常数）中各种类型问题的数值实验，其中标准Lasserre松弛（或其稀疏变体）在计算上是难以处理的。在我们的数值结果中，从次能级松弛的下界提高了从Shor的松弛（一阶Lasserre的松弛）的界限，并显着更接近最优值或最知名的下限/上界。
2021-01-13 math.OC
Finite convergence of Moment-SOS relaxations with non-real radical ideals
本文研究理想非实根时 Moment-SOS 层级的有限收敛性，在阿基米德条件及经典最优性条件下给出证明，并对无界集提出齐次化层级，同时证明带分母情形的有限收敛性，解决了先前提出的猜想。
2024-07-04 math.OC
Finite convergence of the Moment-SOS hierarchy under hidden convexity
CNRS（法国国家科学研究中心）；Nanyang Technological University（南洋理工大学）；LAAS-CNRS（法国国家科学研究中心自动分析与控制研究所）；Toulouse School of Economics (TSE)（图卢兹经济学院）；University of Toulouse（图卢兹大学）
本文研究了在隐含凸性下，矩-SOS层次在有限步内收敛的条件，并提供了精确阶的计算方法，证明了该层次能适应特定实例的隐含凸性特性。
2026-08-06 math.OC
TSSOS: A Moment-SOS hierarchy that exploits term sparsity
本文研究多项式最优化问题。我们展示了如何利用输入多项式的项（或单项式）稀疏性，以获得一个新的收敛层次的半定规划松弛。这种松弛的新颖性（和区别特征）是涉及在迭代过程中获得的分块对角矩阵，该迭代过程完成某些邻接图的连通分量。这些图表与原始数据中出现的项有关，而与变量之间的联系无关。我们的理论框架，然后应用于计算下界的多项式最优化问题随机生成的或来自网络系统的文献。
2020-05-13 math.OC
Solving unbounded optimal control problems with the moment-SOS hierarchy *
本文针对非紧控制集上的多项式最优控制问题，提出基于部分齐次化紧化的新方法，将其转化为等价的紧支撑测度线性规划，并证明了无松弛间隙，从而设计了具有保证收敛性的矩-SOS松弛。
2025-07-07 math.OC
Approximating the order 2 quantum Wasserstein distance using the moment-SOS hierarchy
本文提出利用矩-SOS层次结构近似量子Wasserstein距离，通过无限维线性规划和数值实验验证方法有效性。
2025-11-25 math.OC
On the convergence rates of moment-SOS hierarchies approximation of truncated moment sequences
本文通过估计截断伪矩序列与截断矩序列集合间的Hausdorff距离，在紧致性假设下建立了moment-SOS层级收敛速率与Lojasiewicz指数L的联系，并针对多面体、满足PL条件集合及球体等不同域得出了相应的收敛速率。
2025-07-01 math.OC
Chordal-TSSOS: a moment-SOS hierarchy that exploits term sparsity with chordal extension
本文提出 chordal-TSSOS 层级，通过项稀疏性与弦扩展构造准块对角半定规划松弛，在无理论收敛保证下显著提升求解多项式优化问题的效率与可扩展性。
2020-03-04 math.OC
Optimizing quasi-dissipative evolution equations with the moment-SOS hierarchy
本文证明准耗散非线性演化方程与其线性刘维尔重构间无松弛间隙，从而可用矩-SOS层级对这类非凸优化问题实现全局收敛求解。
2025-07-07 math.AP math.OC
Convergence rate of the moment-SOS hierarchy for univariate polynomial optimization
Faculty of Electrical Engineering, Czech Technical University in Prague（布拉格捷克理工大学电气工程学院）
该研究证明单变量多项式优化的矩-SOS 层级松弛误差以 $O(1/r^2)$ 收敛，并通过精确示例验证该二次速率最优。
2026-09-18 math.OC
Convergence rate for linear minimizer-estimators in the moment-sum-of-squares hierarchy
本文为矩-SoS层级中的线性极小化估计器建立了收敛速率，证明极限测度以有效Positivstellensätze的速率逼近最优测度，并扩展到上界层级。
2025-02-25 math.OC
A Bounded Degree SOS Plus SONC Hierarchy for Polynomial Optimization
University of New South Wales（新南威尔士大学）
提出有界次数 SOS+SONC 层级 B-SOS+SONC，结合半定与稀疏结构，证明完备性并给出 SDP-REP 重构，数值上比 B-SOS 下界更紧。
2026-09-23 math.AG math.CO math.OC
Sparse Polynomial Optimization with Matrix Constraints
本文研究带矩阵约束的稀疏多项式优化问题，提出稀疏矩阵Moment-SOS松弛层级，证明其紧致性充要条件、凸情形下的紧致性，给出紧致性检测与极小解提取方法，实验验证了方法的有效性。
2025-10-03 math.OC
A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization
本文研究了多项式优化的 moment-SOS 层次结构的计算复杂性，建立了保证多项式时间计算的代数与几何条件，补充并扩展了 Raghavendra & Weitz (2017) 的早期工作。
2023-05-24 cs.CC math.OC
Exploiting Term Sparsity in Moment-SOS hierarchy for Dynamical Systems
针对动力系统平方和方法的计算效率问题，提出适配动力系统的TSSOS算法，利用数据代数结构与符号对称性，在保留收敛保证的同时提升计算效率与可扩展性，经数值算例验证有效。
2023-10-09 math.OC
Infinite-dimensional moment-SOS hierarchy for nonlinear partial differential equations
本文提出将一类非线性演化偏微分方程转化为无穷维空间上正测度矩的线性优化问题，并利用平方和表示构造可收敛的有限维半定松弛层级，通过热方程非线性扰动数值实验验证了方法的有效性。
2023-05-30 math.AP math.FA math.OC
SPLD polynomial optimization and bounded degree SOS hierarchies
Academy for Advanced Interdisciplinary Studies, Northeast Normal University（东北师范大学前沿交叉学科学院）；Shanghai Zhangjiang Institute of Mathematics（上海张江数学研究院）；Department of Applied Mathematics, Pukyong National University（釜庆国立大学应用数学系）；Department of Pedagogy, Dalat University（大叻大学教育学系）
本文提出SPLD多项式及BSOS-SPLD层次结构，用于高效求解相关优化问题，并应用于统计学中的凸多项式回归。
2026-02-03 math.OC
Moment Sum-of-Squares Hierarchy for Gromov Wasserstein: Continuous Extensions and Sample Complexity
本文扩展矩平方和层级以求解一般概率分布上的Gromov-Wasserstein问题，证明松弛层级收敛于GW距离并诱导可计算的伪度量，同时建立了采样下的统计一致性结果。
2025-04-20 math.OC
Moment-SOS relaxations for moment and tensor recovery problems
本文研究了分解向量位于给定半代数集中的矩与张量恢复问题，提出了一种具有一般目标的Moment-SOS松弛方法，以恢复分解长度较低的矩与张量，并通过数值实验验证了该方法的有效性。
2024-04-28 math.OC
S-SOS: Stochastic Sum-Of-Squares for Parametric Polynomial Optimization
本文提出随机平方和（S-SOS）算法，通过构造半定规划层级求解随机参数化多项式优化的严格下界与全局极小点候选解，并利用 n 体先验诱导稀疏性，成功处理高达 40 个变量、矩阵规模超过 800×800 的传感器网络定位问题。
2024-06-13 math.OC
High Degree Sum of Squares Proofs, Bienstock-Zuckerberg hierarchy and Chvatal-Gomory cuts
Chvatal-Gomory（CG）切割和Bienstock-Zuckerberg层次结构捕获了标准有界度Lasserre/Sum-of-Squares SOS层次结构无法捕获的有用的线性规划。在本文中，我们提出了一个新的多项式时间SOS层次的0/1问题的自定义子空间的高次多项式（而不是标准的子空间的低次多项式）。我们表明，新的SOS层次结构恢复Bienstock-Zuckerberg层次结构。我们的结果意味着一个线性规划，再现Bienstock-Zuckerberg层次作为一个多项式大小，有效的建设性扩展配方，满足所有恒定间距不等式。构造也非常简单，并且通过给出支持多项式来完全定义。此外，对于一类多面体（例如集合覆盖和包装问题），所得SOS层次结构在多项式时间内优化了由任何恒定轮CG切割产生的多面体，直到任意小的误差。可以说，这是第一个例子，不同的基函数可以在不对称的情况下，以获得一个层次的松弛。
2019-12-23 cs.CC cs.SC math.OC
The Moment-SOS hierarchy and the Christoffel-Darboux kernel
我们考虑紧集B上多项式的整体极小化问题。我们表明，每一步的时刻SOS层次结构有一个很好的和简单的解释，补充了通常的。也就是说，它计算多项式在L2（B，$μ$）的规范正交基中的系数，其中$μ$是其支持度恰好为B的任意参考测度。得到的多项式是B上某个带号测度的某个密度（关于$μ$）。当某些松弛是精确的（通常发生）时，最优多项式密度的系数是全局最小值处的正交多项式的值，并且最优（带符号）密度简单地与Christoffel-Darboux（CD）内核和与$μ$相关联的Christoffel函数相关。与计算正密度的上界层次相反，全局最优值可以精确地作为对多项式（有符号）密度的积分来实现，因为CD核是再生核，因此可以模仿狄拉克测度（只要涉及到200个矩）。
2020-11-17 math.OC math.ST stat.TH
Finite Convergence of the Moment-SOS Hierarchy on the Product of Spheres
该研究证明了在球面积上多齐次多项式优化问题中动量-SOS层次的有限收敛性，并通过微分几何和莫尔斯理论证明了局部最优条件的一般性成立。
2025-12-15 math.AG math.DG math.OC
Sum-of-Squares Hierarchy for the Gromov Wasserstein Problem
本文提出基于平方和层次结构的可解半定松弛方法，用于解决格罗莫夫瓦瑟斯坦问题，证明了该方法在计算全局最优解中的收敛性，并展示了其作为真实距离的性质。
2026-04-06 math.OC
Polynomial Optimization, Certificates of Positivity, and Christoffel Function
本文揭示多项式优化 Moment-SOS 层次结构中的 SOS 正性证书与 Christoffel 函数及 CD 核的联系，并据此解释上下界层次、建立 CF 分解性质及其与平衡测度正性证书的关系。
2023-04-25 math.AG math.OC
Homogenization for polynomial optimization with unbounded sets
Institute of Computational Mathematics and Scientific/Engineering Computing, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院计算数学与科学工程计算研究所）；School of Mathematical Sciences, University of Chinese Academy of Sciences（中国科学院大学数学科学学院）；Department of Mathematics, University of California San Diego（加州大学圣地亚哥分校数学系）
本文研究了无界集的多项式优化问题，提出均质化方法和SOS松弛层次，证明在特定条件下该层次具有有限收敛性，并扩展了Putinar-Vasilescu类型的正定定理。
2022-08-19 math.OC
Combining SOS and Moment Relaxations with Branch and Bound to Extract Solutions to Global Polynomial Optimization Problems
本文提出了一种求解可行集有界的全局多项式优化问题的近似解的分枝定界算法。该算法是基于SOS/矩松弛和连续平分一个超矩形包含的可行集的搜索问题的组合。在每次迭代中，算法将超矩形的体积与其相关的下界进行比较，以选择和细分现有的超矩形。对于任何期望的精度，如果我们使用足够大的SOS/矩松弛阶数，则该算法保证在某种意义上返回次优点。对于固定阶的SOS/矩松弛，算法的复杂性是线性的迭代次数和多项式的约束的数量。我们说明了算法的有效性为6个变量，5个约束条件下的问题，理想的等式约束产生的不是零维的情况下，现有的基于矩的方法提取的全局极小可能会失败。
2017-04-23 math.OC
Positively not SOS: pseudo-moments and extreme rays in exact arithmetic
针对正定多项式未必是SOS的问题，提出利用凸对偶性与多项式对称性，以精确算术构造有理系数伪矩证明来验证正定多项式非SOS，还可生成伪矩锥极射线。
2025-09-01 math.OC
Minimal Sparsity for Second-Order Moment-SOS Relaxations of the AC-OPF Problem
针对AC-OPF非凸优化问题，提出最小稀疏性框架以大幅降低二阶矩-SOS松弛的计算规模，首次在约6000条电力母线的测试用例上实现高精度求解。
2023-05-30 math.OC
Optimal Control of 1D Semilinear Heat Equations with Moment-SOS Relaxations
针对带非线性项的一维热方程最优控制问题，扩展基于矩的偏微分方程控制框架至二次控制成本，提出从解近似矩提取边界非线性控制器的方法，经数值验证且优于线性二次控制器。
2025-04-15 math.OC
Piecewise SOS-Convex Moment Optimization and Applications via Exact Semi-Definite Programs
本文提出含分段SOS凸函数与投影谱多面体支撑集的无限维矩优化问题的精确SDP重构，可单次求得最优值与概率测度，并通过Newsvendor和收益最大化问题验证。
2024-07-02 math.OC
Solving Stengle's Example in Rational Arithmetic: Exact Values of the Moment-SOS Relaxations
该研究在有理数算术中解决了Stengle的例子，通过构造SOS证书和矩序列，证明了矩-SOS松弛阶数$r \geq 3$的精确值为$-1/r(r - 2)$。
2025-12-22 math.OC
Extension on the convergence rates of moment-SOS hierarchies via approximation of truncated moment sequences
National University of Singapore（新加坡国立大学）
本文扩展了矩-SOS 层级收敛速率的研究方法，通过截断矩序列逼近和 Łojasiewicz 不等式，为 Putinar 型、Krivine--Stengle 型、扩展 Handelman 型和 Hol-Scherer 型层级建立了显式收敛速率，提供了一种通用分析框架。
2026-09-30 math.OC
Analysis of Optimization Algorithms via Sum-of-Squares
National University of Singapore（新加坡国立大学）
我们引入了一个新的框架，统一和系统化的性能分析的一阶无约束凸最小化黑箱优化算法。一阶算法所具有的低成本迭代复杂性使其特别适用于机器学习和大规模数据分析中的应用。依靠平方和（SOS）优化，我们引入了一个层次的半定程序，越来越好的收敛范围的层次结构的更高水平。暗指SOS层次结构的力量，我们表明第一级的（对偶）对应于Drori和Teboulle [Math. Program.，145（1）：451- 482，2014]，用于确定一阶优化算法的收敛速度的强大框架。因此，PEP框架内获得的许多结果可以被重新解释为度1 SOS证明，因此，SOS框架提供了一个有前途的新方法，用于通过高阶SOS证书来证明改进的收敛速度。为了确定分析的速率界限，在这项工作中，我们使用的SOS层次结构的第一级，并得出新的结果{s}的噪声梯度下降与不精确的线搜索法（Armijo，沃尔夫和戈尔茨坦）。
2021-06-22 cs.LG math.OC
Geometry of exactness of moment-SOS relaxations for polynomial optimization
本文研究多项式优化中矩-SOS松弛的精确锥几何，证明精确锥是半定可表示锥的并集，并随松弛阶数增加单调嵌入，推广了实簇上二次优化的既有结果。
2025-07-07 math.OC
Solving polynomial variational inequality problems via Lagrange multiplier expressions and Moment-SOS relaxations
本文研究了含有映射和可行集的变分不等式问题（简称多项式变分不等式），其可行集由多项式函数刻画（即多项式变分不等式）.我们提出了一个数值算法计算解决方案的多项式VIP的基础上拉格朗日乘子表达式和Moment-SOS层次的半定松弛。我们还扩展了我们的方法，找到更多甚至所有的解决方案多项式VIP。我们表明，本文提出的方法可以找到解决方案或检测不存在的解决方案，在许多步骤，在一些一般的假设。此外，我们还证明了如果VIP是由一般多项式给出的，那么它有200多个Karush-Kuhn-Tucker点，并且我们的方法可以在200多步内求解它。数值实验表明了所提方法的有效性。
2023-03-21 math.OC
Benign Degeneracy for First-Order Methods in Exact Boolean Moment-SOS Relaxations
School of Engineering and Applied Sciences, Harvard University（哈佛大学工程与应用科学学院）
该研究针对精确布尔矩-SOS松弛，证明其退化是良性的，提出残差场刚性机制，使ADMM等一阶方法可线性收敛，且在低维例外集外相关假设普遍成立。
2026-10-21 math.OC
Exploiting Sign Symmetries in Minimizing Sums of Rational Functions
本文研究基本半代数集上有理函数和的最小化问题，提出与广义矩方法对偶的SOS松弛层级，利用符号对称性与相关稀疏性构建高效稀疏半定松弛，通过数值实验验证有效性并给出广义Rayleigh商最大化的应用。
2024-05-15 math.OC
Application of the Moment-SOS Approach to Global Optimization of the OPF Problem
由于最优潮流问题的非凸性，寻找其全局解是一个困难的问题。半定规划（SDP）形式的凸松弛最近引起了人们的广泛关注，因为它在几个实际情况下产生全局解。然而，并非在所有情况下都是如此，最近的出版物记录了这些情况。本文提出了另一种SDP方法称为矩SOS（平方和）的方法，它产生一个序列，收敛到一个全局解决方案的OPF问题的成本更高的运行时间。我们的发现是，在小的例子中，以前研究的SDP方法失败，这种方法找到了全局解。运行时的较高成本是由于SDP问题的矩阵大小增加，这可能因实例而异。数值实验表明，该算法的规模往往是节点数的二次函数，而在已有的SDP算法中，它是节点数的线性函数。
2016-03-03 math.OC
An SDP method for Fractional Semi-infinite Programming Problems with SOS-convex polynomials
本文研究了一类涉及s.o. s-凸多项式函数的分式半无限多项式规划问题。对于这样的问题，通过我们以前的工作中提出的一个锥变换和与指标集相关联的二次模，可以构造一个半定规划（SDP）松弛的层次，并且可以得到最优解的收敛上界.本文通过将指数集上非负多项式的Lasserre测度表示引入到二次曲线重构中，给出了求解该问题的一种新的SDP松弛法。这种方法使我们能够计算收敛的下界的最佳和提取近似极小。此外，对于由无穷多个s.o. s-凸多项式不等式定义的集合，我们得到了构造具有半定表示的外逼近的收敛序列的方法。讨论了下界和外近似的收敛速度。
2022-12-27 math.OC
Non-SOS Positivstellensätze for semi-algebraic sets defined by polynomial matrix inequalities
本文将 Handelman 与 Krivine-Stengle 定理推广至多项式矩阵不等式，提出非 SOS 的正性证书及稀疏表示，并构建规模不随变量数增长的半定规划松弛层级。
2025-09-01 math.OC
A hierarchy of spectral relaxations for polynomial optimization
我们证明了（i）任何约束多项式最优化问题（POP）在欧氏球面中的一个簇上都有一个等价的公式;（ii）所得到的矩SOS族中的半定松弛对所涉及的矩阵具有恒迹性质（CTP）.然后，我们利用CTP，以避免解决半定松弛通过邻点方法，而是使用特设谱方法，最大限度地减少矩阵束的最大特征值。保证收敛到半定松弛的最优值。因此，我们得到了一个层次的非光滑的“光谱松弛”的初始POP。效率和鲁棒性的光谱层次进行测试，对几个平等约束的POP球以及随机生成的二次约束二次问题（QCQP）的样本。
2020-07-17 math.OC
Sparse Copositive Polynomial Optimization
Shanghai Jiaotong University（上海交通大学）；Xiangtan University（湘潭大学）；University of California San Diego（加州大学圣迭戈分校）；Hong Kong Baptist University（香港浸会大学）
本文研究了目标函数为稀疏多项式、约束在非负正交体上的半正定优化问题，提出稀疏矩-SOS松弛方法，并证明其在cop-SOS凸性假设下为紧致条件，相较于传统密集方法更具计算效率。
2026-03-31 math.OC
Leveraging Christoffel-Darboux Kernels to Strengthen Moment-SOS Relaxations
Nanyang Technological University（南洋理工大学）；LAAS-CNRS（法国国家科学研究中心拉扎尔实验室）；Toulouse School of Economics（图卢兹经济学院）；Institute of Mathematics from Toulouse（图卢兹数学研究所）；Eindhoven University of Technology（埃因霍温理工大学）
针对高阶 Moment-SOS 松弛计算代价过高的问题，提出利用 Christoffel-Darboux 核增强低阶松弛，以提升精度并改进边界，在二次约束二次规划上验证了有效性。
2026-10-12 math.OC
Exploiting Sparsity in Complex Polynomial Optimization
本文提出稀疏自适应复moment-HSOS层级，用于复多项式优化，通过数值实验证明其在计算成本与界质量间提供有效权衡。
2025-04-28 math.OC
Exactness and Effective Degree Bound of Lasserre's Relaxation for Polynomial Optimization over Finite Variety
本文研究了多项式优化中 Lasserre 矩-SOS 层级的有效次数界问题，在无穷远无解和最优解非奇异的条件下推导出精确性的有效次数界，并首次给出通用条件下梯度型 SOS 松弛的显式次数界。
2025-05-31 math.OC
Complete Trajectory Tracking for Polynomial Differential Variational Inequalities: A Moment-SOS Based Structure-Aware Approach
School of Mathematical Sciences, Chengdu University of Technology（成都理工大学数学科学学院）；State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院数学科学重点实验室）
研究多项式微分变分不等式（PDVI），通过参数空间分层和结构感知SOS-PDVIRK4算法，实现轨迹的完全跟踪与结构切换处理。
2026-06-08 math.OC
Polynomial Optimization Over Unions of Sets
针对可行域为多个闭半代数集之并的多项式优化问题，提出统一的 Moment-SOS 松弛层次，证明其渐近或有限收敛性，并应用于矩阵 $(p,q)$-范数计算。
2024-05-17 math.OC
Moment-sos and spectral hierarchies for polynomial optimization on the sphere and quantum de Finetti theorems
University of Copenhagen（哥本哈根大学）；Centrum Wiskunde & Informatica (CWI)（荷兰数学与计算机科学研究中心）；Tilburg University（蒂尔堡大学）
本文研究了球面上多项式优化的动量-sos和谱层次方法，证明了谱界收敛速度无法优于O(1/r²)，并提出新的实德芬尼定理以改进相关结果。
2025-09-29 math.OC
Rank conditions for exactness of semidefinite relaxations in polynomial optimization
LAAS-CNRS（法国国家科学研究中心拉兹实验室）；Toulouse School of Economics（图卢兹经济学院）
本文针对多项式优化中的Moment-SOS层级，提出一个基于矩矩阵秩的充分条件，保证截断K-矩问题有原子表示测度且层级有限收敛，并适用于受约束问题及恢复全局极小点。
2026-09-18 math.OC
