[论文解读] A Generalized Sylvester Problem and a Generalized Fermat-Torricelli Problem: Existence and Uniqueness of Optimal Solutions

Nguyen Mau Nam, Nguyen Hoang|arXiv (Cornell University)|Mar 14, 2012

Advanced Numerical Analysis Techniques被引用 1

一句话总结

本文在赋范空间中引入了广义的西尔维斯特问题和广义的费马-托里切利问题，旨在约束集中寻找一个中心点，使其所确定的球体半径最小化，该球体需包含一组集合并相交另一组集合。主要贡献在于，在集合和赋范空间满足较弱条件时，证明了最优解的存在性与唯一性。

ABSTRACT

In this paper, we introduce and study the following problem and its further generalizations: given two finite collections of sets in a normed space, find a ball whose center lies in a given constraint set with the smallest radius that encloses all the sets in the first collection and intersects all the sets in the second one. This problem can be considered as a generalized version of the Sylvester smallest enclosing circle problem introduced in the 19th century by Sylvester which asks for the circle of smallest radius enclosing a given set of finite points in the plane. We also consider a generalized version of the Fermat-Torricelli problem: given two finite collections of sets in a normed space, find a point in a given constraint set that minimizes the sum of the farthest distances to the sets in the first collection and shortest distances (distances) to the sets in the second collection.

研究动机与目标

• 将经典的西尔维斯特最小包围圆问题推广至赋范空间中涉及多组集合与约束集的广义设定。
• 将广义费马-托里切利问题表述为：最小化至第一组集合的最远距离之和与至第二组集合的最近距离之和。
• 建立最优解存在且唯一的条件，适用于上述两个广义问题。
• 利用赋范空间的框架统一并推广经典几何优化问题。
• 为设施选址、鲁棒优化和计算几何等应用提供理论基础。

提出的方法

• 将广义西尔维斯特问题形式化为：在约束集中最小化一个以该点为中心、包含第一组所有集合并相交第二组所有集合的球体的半径。
• 将广义费马-托里切利问题定义为：最小化至第一组集合的上确界距离之和与至第二组集合的下确界距离之和。
• 运用凸分析与度量几何工具，分析赋范空间设定下目标函数的结构。
• 建立目标函数的下极限连续性与凸性性质，以确保极小化点的存在性。
• 在范数严格凸且约束集紧致的假设下，证明最优解的唯一性。
• 应用不动点与变分技术，分析广义框架下的最优性条件。

实验结果

研究问题

• RQ1 在何种条件下，赋范空间中的广义西尔维斯特问题存在解？
• RQ2 在存在多组包围与相交集合时，广义西尔维斯特问题的最优中心何时唯一？
• RQ3 广义费马-托里切利问题在目标函数结构上如何扩展经典定位问题？
• RQ4 赋范空间的几何结构——特别是严格凸性——在确保解的唯一性方面起什么作用？
• RQ5 所提出的框架能否统一并推广经典几何优化中的已知结果？

主要发现

• 在约束集及给定集合满足紧致性与闭性假设时，广义西尔维斯特问题至少存在一个最优解。
• 若赋范空间是严格凸的且约束集是紧致的，则最优中心的唯一性得以保证。
• 当目标函数是下极限连续的且约束集是紧致时，广义费马-托里切利问题有解。
• 若范数是严格凸的且第一组集合是紧致的，则广义费马-托里切利问题的最优解唯一。
• 存在性与唯一性结果将经典最小包围圆与费马-托里切利点的结果推广至更广泛的集合与空间类别。
• 该框架为包含包围与相交约束的混合优化问题提供了统一的理论基础。