多くのコンピューター ビジョン アプリケーションでは、最小数の入力データ測定値からカメラ ジオメトリを堅牢かつ効率的に推定する必要があります。つまり、RANSAC フレームワークで最小限の問題を解決する必要があります。最小問題は通常、多項式の複雑なシステムとして定式化されます。最先端の効率的な多項式ソルバーの多くは、近年自動化され高度に最適化されたアクション マトリックス法に基づいています。この論文では、最小ソルバーを生成するためのスパース結果の理論を調査し、特別な形式で余分な多項式を使用することに基づく新しいアプローチを提案します。一部のカメラ ジオメトリの問題について、追加の多項式ベースの方法により、最先端のグレブナー基底ベースのソルバーよりも小さく安定したソルバーが得られることを示します。提案された方法は完全に自動化され、効率的な多項式ソルバーの自動生成のために既存のツールに組み込まれます。これは、コンピューター ビジョンの最小の問題に対して、一般的なグレブナー基底ベースの方法に代わる競争力のある代替手段を提供します。さらに、最先端のアクションマトリックスベースの方法と提案された余分な多項式の結果ベースの方法によって生成された最小ソルバーが同等である条件を研究します。具体的には、アクション マトリックスとスパース結果に基づくアプローチを段階的に比較した後、同等の最小ソルバーにつながる置換のセットを検討します。
Many computer vision applications require robust and efficient estimation of camera geometry from a minimal number of input data measurements, ie, solving minimal problems in a RANSAC framework. Minimal problems are usually formulated as complex systems of polynomial equations. Many state-of-the-art efficient polynomial solvers are based on the action matrix method that has been automated and highly optimised in recent years. In this paper we explore the theory of sparse resultants for generating minimal solvers and propose a novel approach based on a using an extra polynomial with a special form. We show that for some camera geometry problems our extra polynomial-based method leads to smaller and more stable solvers than the state-of-the-art Gröbner basis-based solvers. The proposed method can be fully automated and incorporated into existing tools for automatic generation of efficient polynomial solvers. It provides a competitive alternative to popular Gröbner basis-based methods for minimal problems in computer vision. Additionally, we study the conditions under which the minimal solvers generated by the state-of-the-art action matrix-based methods and the proposed extra polynomial resultant-based method, are equivalent. Specifically we consider a step-by-step comparison between the approaches based on the action matrix and the sparse resultant, followed by a set of substitutions, which would lead to equivalent minimal solvers.