arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 2412.04625math.OC
收藏

有限函数集合之最小值的全局最小化

Global minimization of a minimum of a finite collection of functions

Guillaume Van Dessel, François Glineur

AI总结:

针对目标为有限函数片段逐点最小、约束众多的非凸最小结构优化问题,提出交替优化上、下模型的 ULO 算法,以避免枚举全部独立问题并保证指定全局精度。

摘要:

我们考虑一类特殊的最小结构优化问题的全局最小化,其中变量必须属于某个基本集合,可行域由大量函数约束的交集描述,而目标函数来源于一组函数片段的逐点最小值。除其他情形外,该设置包含所有非凸分段线性问题。最小结构问题的全局最小值可以通过一种简单的枚举方案来计算:依次求解一系列各自只涉及单个片段的独立问题,然后取这些独立最小值中的最小者。我们提出一种名为 Upper-Lower Optimization(ULO,上下优化)的新算法,用于处理上述类别中的问题。我们的方法不需要求解基线枚举方案中列出的每一个独立问题,因此有可能带来显著的计算收益。该算法在两类步骤之间交替:(a) 局部搜索步骤,用于最小化上模型;(b) 建议步骤,用于优化下模型。我们证明 ULO 能够返回满足任意预先指定全局最优精度的解。依据一个以求解独立问题的成本为基础的计算复杂度模型,我们分析了 ULO 在哪些实际场景中有望优于基线枚举方案。最后,我们在一组难度递增的分段线性规划(PL)上对该方法进行了实验验证。

英文摘要:

We consider the global minimization of a particular type of minimum structured optimization problems wherein the variables must belong to some basic set, the feasible domain is described by the intersection of a large number of functional constraints and the objective stems as the pointwise minimum of a collection of functional pieces. Among others, this setting includes all non-convex piecewise linear problems. The global minimum of a minimum structured problem can be computed using a simple enumeration scheme by solving a sequence of individual problems involving each a single piece and then taking the smallest individual minimum. We propose a new algorithm, called Upper-Lower Optimization (ULO), tackling problems from the aforementioned class. Our method does not require the solution of every individual problem listed in the baseline enumeration scheme, yielding potential substantial computational gains. It alternates between (a) local-search steps, which minimize upper models, and (b) suggestion steps, which optimize lower models. We prove that ULO can return a solution of any prescribed global optimality accuracy. According to a computational complexity model based on the cost of solving the individual problems, we analyze in which practical scenarios ULO is expected to outperform the baseline enumeration scheme. Finally, we empirically validate our approach on a set of piecewise linear programs (PL) of incremental difficulty.

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

↑