[論文レビュー] 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.

研究の動機と目的

• 古典的なシルベスター最小包含円問題を、ノルム空間における複数の集合と制約集合を含む一般化された設定に拡張すること。
• 最初の集合の集合への最も遠い距離の和と、2番目の集合の集合への最も近い距離の和を最小化する一般化されたフェルマー＝トリコリ問題を定式化すること。
• 両方の一般化問題に対して最適解が存在し、かつ一意であるための条件を確立すること。
• ノルム空間の枠組みを用いて、古典的な幾何最適化問題を統一的かつ一般化すること。
• 施設配置、ロバスト最適化、計算幾何学への応用のための理論的基盤を提供すること。

提案手法

• 制約集合に中心を持つ球が最初の集合の集合をすべて含み、2番目の集合の集合とすべて交差するような球の半径を最小化する一般化されたシルベスター問題として定式化すること。
• 一般化されたフェルマー＝トリコリ問題を、最初の集合の集合への本質的距離（上確界）の和と、2番目の集合の集合への本質的距離（下確界）の和を最小化する問題として定義すること。
• 凸解析および距離幾何の道具を用いて、ノルム空間設定における目的関数の構造を分析すること。
• 最小化子の存在を保証するため、目的関数の下方連続性および凸性の性質を確立すること。
• ノルムの厳密な凸性と制約集合のコンパクト性の仮定のもとで、最適解の一意性を証明すること。
• 不動点および変分的技法を用いて、一般化された枠組みにおける最適性条件を分析すること。

実験結果

リサーチクエスチョン

• RQ1 ノルム空間における一般化されたシルベスター問題に対して、どのような条件下で解が存在するか？
• RQ2 複数の包含および交差集合を含む一般化されたシルベスター問題において、最適中心はいつ一意的か？
• RQ3 一般化されたフェルマー＝トリコリ問題は、目的関数の構造において古典的な配置問題をどのように拡張するか？
• RQ4 ノルム空間の幾何構造、特に厳密な凸性が解の一意性を保証するために果たす役割は何か？
• RQ5 提案された枠組みは、古典的幾何最適化における既知の結果を統一的かつ一般化できるか？

主な発見

• 制約集合および与えられた集合がコンパクトかつ閉じているという仮定のもとで、一般化されたシルベスター問題は少なくとも1つの最適解を有する。
• ノルム空間が厳密に凸であり、制約集合がコンパクトである限り、最適中心の一意性が保証される。
• 目的関数が下方連続であり、制約集合がコンパクトである限り、一般化されたフェルマー＝トリコリ問題には解が存在する。
• ノルムが厳密に凸であり、最初の集合の集合がコンパクトである限り、一般化されたフェルマー＝トリコリ問題の最適解は一意的である。
• 存在および一意性の結果は、最小包含円およびフェルマー＝トリコリ点に関する古典的結果を、より広い集合および空間のクラスへと拡張する。
• この枠組みは、包含および交差制約を併せ持つ混合最適化問題を解くための統一的理論的基盤を提供する。