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

非光滑简单双层问题的理论平滑框架

Theoretical smoothing frameworks for nonsmooth simple bilevel problems

Jan Harold Alcantara, Akiko Takeda

AI总结:

针对简单双层规划中最优值函数非光滑导致算法受限的问题,本文提出二次正则化与熵正则化两种平滑框架,并证明其在相应条件下满足梯度一致性,从而保证全局子序列收敛至驻点。

摘要:

双层规划近年来因其在众多领域中的丰富应用而受到广泛关注。最优值函数方法为双层问题提供了一种有用的重构,但其效用往往因值函数的非光滑性而受限,即使在相关下层函数光滑的情形下也是如此。本文针对下层函数不一定光滑但具有 Lipschitz 连续性的值函数,提出了两种平滑策略。第一种方法对部分凸的下层函数采用二次正则化,而第二种方法对一般下层目标函数利用熵正则化。同时,被称为梯度一致性的性质,对于确保所设计的平滑算法能够全局子序列收敛到值函数重构的驻点至关重要。基于这一动机,我们证明了在下层函数满足某些条件时,所提出的光滑近似具有梯度一致性质。

英文摘要:

Bilevel programming has recently received a great deal of attention due to its abundant applications in many areas. The optimal value function approach provides a useful reformulation of the bilevel problem, but its utility is often limited due to the nonsmoothness of the value function even in cases when the associated lower-level function is smooth. In this paper, we present two smoothing strategies for the value function associated with lower-level functions that are not necessarily smooth but are Lipschitz continuous. The first method employs quadratic regularization for partially convex lower-level functions, while the second utilizes entropic regularization for general lower-level objective functions. Meanwhile, the property known as gradient consistency is crucial in ensuring that a designed smoothing algorithm is globally subsequentially convergent to stationary points of the value function reformulation. With this motivation, we prove that the proposed smooth approximations satisfy the gradient consistent property under certain conditions on the lower-level function.

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

↑