論文の概要: Mathematical Programming Algorithms for Convex Hull Approximation with a Hyperplane Budget
- arxiv url: http://arxiv.org/abs/2407.17341v2
- Date: Fri, 26 Jul 2024 19:34:11 GMT
- ステータス: 処理完了
- システム内更新日: 2024-07-30 20:22:03.405108
- Title: Mathematical Programming Algorithms for Convex Hull Approximation with a Hyperplane Budget
- Title(参考訳): ハイパープレーン予算を用いた凸ハル近似の数学的プログラミングアルゴリズム
- Authors: Michele Barbato, Alberto Ceselli, Rosario Messana,
- Abstract要約: 我々は、すべての正の点と負の点を含む、ほとんどのK面を持つ凸多面体を探索する。
この問題は純粋凸多面体近似の文献で知られている。
私たちの関心は、制約学習の応用の可能性に起因しています。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We consider the following problem in computational geometry: given, in the d-dimensional real space, a set of points marked as positive and a set of points marked as negative, such that the convex hull of the positive set does not intersect the negative set, find K hyperplanes that separate, if possible, all the positive points from the negative ones. That is, we search for a convex polyhedron with at most K faces, containing all the positive points and no negative point. The problem is known in the literature for pure convex polyhedral approximation; our interest stems from its possible applications in constraint learning, where points are feasible or infeasible solutions of a Mixed Integer Program, and the K hyperplanes are linear constraints to be found. We cast the problem as an optimization one, minimizing the number of negative points inside the convex polyhedron, whenever exact separation cannot be achieved. We introduce models inspired by support vector machines and we design two mathematical programming formulations with binary variables. We exploit Dantzig-Wolfe decomposition to obtain extended formulations, and we devise column generation algorithms with ad-hoc pricing routines. We compare computing time and separation error values obtained by all our approaches on synthetic datasets, with number of points from hundreds up to a few thousands, showing our approaches to perform better than existing ones from the literature. Furthermore, we observe that key computational differences arise, depending on whether the budget K is sufficient to completely separate the positive points from the negative ones or not. On 8-dimensional instances (and over), existing convex hull algorithms become computational inapplicable, while our algorithms allow to identify good convex hull approximations in minutes of computation.
- Abstract(参考訳): d-次元実空間において、正の点の集合と負の点の集合が与えられたとき、正の集合の凸包が負の集合と交わらないように、正の点と負の点の集合が与えられたとき、可能であればすべての正の点を負の集合から分離するK超平面を見つける。
すなわち、ほとんどのK面を持つ凸多面体を探索し、すべての正の点と負の点を含まない。
この問題は純粋凸多面体近似の文献で知られており、我々の関心は制約学習の応用に起因している。
この問題を最適化として,凸多面体内部の負点数を最小限に抑えた。
サポートベクトルマシンにインスパイアされたモデルを導入し、バイナリ変数を持つ2つの数学的プログラミング定式化を設計する。
我々はDantzig-Wolfe分解を利用して拡張定式化を行い、アドホックな価格ルーチンを持つ列生成アルゴリズムを考案する。
我々は、合成データセットに対する全てのアプローチで得られた計算時間と分離誤差値を比較し、数百から数千までのポイント数を比較し、文献の既存のものよりも優れたパフォーマンスを示す。
さらに、予算Kが正の点と負の点とを完全に分離するのに十分なかどうかによって、重要な計算上の違いが生じることを観察する。
8次元の場合(およびそれ以上の場合)、既存の凸船体アルゴリズムは計算不能となり、一方、我々のアルゴリズムは計算の数分で凸船体近似を識別できる。
関連論文リスト
- On Linear Convergence in Smooth Convex-Concave Bilinearly-Coupled Saddle-Point Optimization: Lower Bounds and Optimal Algorithms [17.227158587717934]
滑らかな凸凹型双線型結合型サドル点問題である $min_xmax_y f(x) + langle y,mathbfB xrangle - g(y)$ を再検討する。
この問題クラスに対して、第一低次複雑性境界と最適線形収束アルゴリズムを設計する。
論文 参考訳(メタデータ) (2024-11-21T22:06:25Z) - Obtaining Lower Query Complexities through Lightweight Zeroth-Order Proximal Gradient Algorithms [65.42376001308064]
複素勾配問題に対する2つの分散化ZO推定器を提案する。
我々は、現在最先端の機能複雑性を$mathcalOleft(minfracdn1/2epsilon2, fracdepsilon3right)$から$tildecalOleft(fracdepsilon2right)$に改善する。
論文 参考訳(メタデータ) (2024-10-03T15:04:01Z) - Computing Star Discrepancies with Numerical Black-Box Optimization
Algorithms [56.08144272945755]
我々は,L_infty$星差分問題に対する8つの一般的な数値ブラックボックス最適化アルゴリズムを比較した。
使用済みのソルバは、ほとんどのケースで非常にひどいパフォーマンスを示します。
我々は、最先端の数値ブラックボックス最適化手法が問題のグローバルな構造を捉えるのに失敗していると疑っている。
論文 参考訳(メタデータ) (2023-06-29T14:57:56Z) - Linearized Wasserstein dimensionality reduction with approximation
guarantees [65.16758672591365]
LOT Wassmap は、ワーッサーシュタイン空間の低次元構造を明らかにするための計算可能なアルゴリズムである。
我々は,LOT Wassmapが正しい埋め込みを実現し,サンプルサイズの増加とともに品質が向上することを示す。
また、LOT Wassmapがペア距離計算に依存するアルゴリズムと比較して計算コストを大幅に削減することを示す。
論文 参考訳(メタデータ) (2023-02-14T22:12:16Z) - Approximate Vanishing Ideal Computations at Scale [21.01267270902429]
私たちはOracle Approximate Vanishing Idealアルゴリズム(OAVI)のスケールアップに注力しています。
OAVIは大規模機械学習のための魅力的な前処理技術である。
論文 参考訳(メタデータ) (2022-07-04T07:17:28Z) - Sparse Quadratic Optimisation over the Stiefel Manifold with Application
to Permutation Synchronisation [71.27989298860481]
二次目的関数を最大化するスティーフェル多様体上の行列を求める非最適化問題に対処する。
そこで本研究では,支配的固有空間行列を求めるための,単純かつ効果的なスパーシティプロモーティングアルゴリズムを提案する。
論文 参考訳(メタデータ) (2021-09-30T19:17:35Z) - A Sketching Method for Finding the Closest Point on a Convex Hull [0.0]
我々は,データセットの凸殻上の点を,その外側の問合せ点に最も近いようにスケッチするアルゴリズムを開発した。
本手法は, 既成のアルゴリズムよりも高速な凸問題の最適解を導出する。
論文 参考訳(メタデータ) (2021-02-21T03:55:18Z) - Hybrid Trilinear and Bilinear Programming for Aligning Partially
Overlapping Point Sets [85.71360365315128]
多くの応用において、部分重なり合う点集合が対応するRPMアルゴリズムに不変であるようなアルゴリズムが必要である。
まず、目的が立方体有界関数であることを示し、次に、三線型および双線型単相変換の凸エンベロープを用いて、その下界を導出する。
次に、変換変数上の分岐のみを効率よく実行するブランチ・アンド・バウンド(BnB)アルゴリズムを開発する。
論文 参考訳(メタデータ) (2021-01-19T04:24:23Z) - Optimal oracle inequalities for solving projected fixed-point equations [53.31620399640334]
ヒルベルト空間の既知の低次元部分空間を探索することにより、確率観測の集合を用いて近似解を計算する手法を検討する。
本稿では,線形関数近似を用いた政策評価問題に対する時間差分学習手法の誤差を正確に評価する方法について述べる。
論文 参考訳(メタデータ) (2020-12-09T20:19:32Z) - Accelerated Algorithms for Convex and Non-Convex Optimization on
Manifolds [9.632674803757475]
距離における凸問題と非最適化問題の解法を提案する。
提案アルゴリズムは,目的関数における複雑性のレベルに適応する。
論文 参考訳(メタデータ) (2020-10-18T02:48:22Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。