論文の概要: GAPS: Generator for Automatic Polynomial Solvers
- arxiv url: http://arxiv.org/abs/2004.11765v1
- Date: Fri, 24 Apr 2020 14:11:28 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-10 04:27:35.402992
- Title: GAPS: Generator for Automatic Polynomial Solvers
- Title(参考訳): GAPS: 自動多項式解法用発電機
- Authors: Bo Li and Viktor Larsson
- Abstract要約: 異なる係数のインスタンスで繰り返されるシステムを考えると、従来のGr"オブナー基底または正規形式ベースの解は非常に非効率である。
このような構造をオフラインでプリ計算することで、Gr"オブナーベースとシステムソリューションをオンライン上で自動的に効率よく解決することができる。
Larssonらによる最新のツールオートゲンは、解決効率の最先端性能を持つこれらのツールの代表である。
- 参考スコア(独自算出の注目度): 39.33174230839823
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Minimal problems in computer vision raise the demand of generating efficient
automatic solvers for polynomial equation systems. Given a polynomial system
repeated with different coefficient instances, the traditional Gr\"obner basis
or normal form based solution is very inefficient. Fortunately the Gr\"obner
basis of a same polynomial system with different coefficients is found to share
consistent inner structure. By precomputing such structures offline, Gr\"obner
basis as well as the polynomial system solutions can be solved automatically
and efficiently online. In the past decade, several tools have been released to
generate automatic solvers for a general minimal problems. The most recent tool
autogen from Larsson et al. is a representative of these tools with
state-of-the-art performance in solver efficiency. GAPS wraps and improves
autogen with more user-friendly interface, more functionality and better
stability. We demonstrate in this report the main approach and enhancement
features of GAPS. A short tutorial of the software is also included.
- Abstract(参考訳): コンピュータビジョンにおける最小問題は多項式方程式系に対する効率的な自動解法生成の需要を増大させる。
多項式系が異なる係数のインスタンスで繰り返されると、従来のgr\"obner基底または正規形式に基づく解は非常に非効率である。
幸運なことに、異なる係数を持つ同じ多項式系のGr\"オブナー基底は、一貫した内部構造を共有する。
このような構造をオフラインでプリ計算することで、Gr\"オブナーベースと多項式系解をオンラインで自動的に効率的に解ける。
過去10年間で、一般的な最小限の問題に対する自動解法を生成するツールがいくつかリリースされている。
larssonらによる最新のツールautogenは、最先端のパフォーマンスとソルバ効率を備えたツールの代表である。
gapsはautogenをラップし、よりユーザフレンドリーなインターフェース、より多くの機能と安定性で改善する。
本報告ではGAPSの主なアプローチと拡張機能について述べる。
ソフトウェアの簡単なチュートリアルも含まれている。
関連論文リスト
- Online Stability Improvement of Groebner Basis Solvers using Deep
Learning [29.805408457645886]
異なる変数や単項順序が異なる消去テンプレートにつながることを示す。
次に、元の係数の集合が、優れた解法の選択を訓練するのに十分な情報を含むことを証明した。
論文 参考訳(メタデータ) (2024-01-17T16:51:28Z) - Automatic Solver Generator for Systems of Laurent Polynomial Equations [1.7188280334580197]
同じ単項構造であるが様々な係数を持つ三角系(ローラン系)が与えられたとき、任意の族に対する解をできるだけ早く計算する解法を見つける。
ローラン方程式系に対する自動解法生成器を提案する。
論文 参考訳(メタデータ) (2023-07-01T12:12:52Z) - RGCVAE: Relational Graph Conditioned Variational Autoencoder for
Molecule Design [70.59828655929194]
ディープグラフ変分自動エンコーダは、この問題に対処可能な、最も強力な機械学習ツールの1つである。
i)新しい強力なグラフ同型ネットワークを利用した符号化ネットワーク,(ii)新しい確率的復号化コンポーネントを提案する。
論文 参考訳(メタデータ) (2023-05-19T14:23:48Z) - Sparse resultant based minimal solvers in computer vision and their
connection with the action matrix [17.31412310131552]
いくつかのカメラ幾何問題に対して、我々の余剰手法は、最先端のGrobnerベースベースの解法よりも小さく、より安定な解法をもたらすことを示した。
コンピュータビジョンにおける最小限の問題に対して、一般的なベースベースの方法に代わる競争力のある代替手段を提供する。
論文 参考訳(メタデータ) (2023-01-16T14:25:19Z) - Symmetric Tensor Networks for Generative Modeling and Constrained
Combinatorial Optimization [72.41480594026815]
ポートフォリオ最適化からロジスティクスに至るまで、制約付き最適化問題は業界に多い。
これらの問題の解決における主要な障害の1つは、有効な検索空間を制限する非自明なハード制約の存在である。
本研究では、Ax=bという形の任意の整数値等式制約をU(1)対称ネットワーク(TN)に直接エンコードし、それらの適用性を量子に着想を得た生成モデルとして活用する。
論文 参考訳(メタデータ) (2022-11-16T18:59:54Z) - Transformers Learn Shortcuts to Automata [52.015990420075944]
低深度変換器は任意の有限状態オートマトンを計算できる。
我々は,$O(log T)$レイヤを持つ変換器が,長さ$T$の入力シーケンス上で,オートマトンを正確に再現可能であることを示す。
さらに、これらの解の脆性について検討し、潜在的な緩和を提案する。
論文 参考訳(メタデータ) (2022-10-19T17:45:48Z) - Sparse Polynomial Optimization: Theory and Practice [5.27013884159732]
本書は、この課題に重要な科学的意味を持って取り組むためのいくつかの取り組みを提示している。
これは計算複雑性の観点からうまくスケールする代替の最適化スキームを提供する。
制約のない問題や制約のない問題に対して、緩和の疎開的階層を提示する。
論文 参考訳(メタデータ) (2022-08-23T18:56:05Z) - Mind Your Solver! On Adversarial Attack and Defense for Combinatorial
Optimization [111.78035414744045]
我々は,最適解法に対する敵攻撃と防御のメカニズムの開発を主導する。
本稿では, グラフ構造を改良し, 解法の堅牢性を高めるための, 単純かつ効果的な防衛戦略を提案する。
論文 参考訳(メタデータ) (2021-12-28T15:10:15Z) - Efficient and Modular Implicit Differentiation [68.74748174316989]
最適化問題の暗黙的な微分のための統一的で効率的かつモジュール化されたアプローチを提案する。
一見単純な原理は、最近提案された多くの暗黙の微分法を復元し、新しいものを簡単に作成できることを示している。
論文 参考訳(メタデータ) (2021-05-31T17:45:58Z) - Computing stable resultant-based minimal solvers by hiding a variable [20.402488757146692]
コンピュータビジョンアプリケーションは、最小数の入力データ測定からカメラ幾何学を頑健に推定する必要がある。
本稿では,1つの変数を隠蔽することにより,方程式のスパース系を解くための興味深い代替スパース法について検討する。
研究結果から,提案手法は現状のGr"オブザーバベースの解法よりも安定な解法に導かれることが示された。
論文 参考訳(メタデータ) (2020-07-17T07:40:10Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。