论文标题
通过隐藏变量来计算稳定的基于结果的最小求解器
Computing stable resultant-based minimal solvers by hiding a variable
论文作者
论文摘要
许多计算机视觉应用需要对摄像机几何形状进行强大而有效的估计。强大的估计通常是基于从最小数量的输入数据测量值(即在RANSAC风格的框架中解决最小问题)来解决摄像机几何问题。最小问题通常会导致复杂的多项式方程系统。解决此类系统的现有最新方法是基于Gröbner碱基和Action Matrix方法,这些方法已在近年来对这些方法进行了广泛的研究和优化,或者是最近提出的方法,基于使用额外可变的稀疏产生计算。 在本文中,我们研究了一种有趣的替代性稀疏产生方法,用于通过隐藏一个变量来解决多项式方程的稀疏系统。这种方法导致比动作矩阵和基于稀疏的稀疏方法更大的特征值问题。但是,它不需要计算可能在数字上不稳定的大型矩阵的逆或消除。拟议的方法包括对标准稀疏产生算法的几种改进,这大大提高了基于隐藏的可变结果求解器的效率和稳定性,因为我们在几个有趣的计算机视觉问题上证明了这一点。我们表明,对于所研究的问题,与最先进的基于Gröbner的求解器以及现有的基于稀疏的基于结果的求解器相比,我们基于稀疏的基于结果的方法可导致更稳定的求解器,尤其是在关键配置附近。我们的新方法可以完全自动化,并将其纳入现有工具中,以自动生成有效的最小求解器。
Many computer vision applications require robust and efficient estimation of camera geometry. The robust estimation is usually based on solving camera geometry problems from a minimal number of input data measurements, i.e., solving minimal problems, in a RANSAC-style framework. Minimal problems often result in complex systems of polynomial equations. The existing state-of-the-art methods for solving such systems are either based on Gröbner bases and the action matrix method, which have been extensively studied and optimized in the recent years or recently proposed approach based on a sparse resultant computation using an extra variable. In this paper, we study an interesting alternative sparse resultant-based method for solving sparse systems of polynomial equations by hiding one variable. This approach results in a larger eigenvalue problem than the action matrix and extra variable sparse resultant-based methods; however, it does not need to compute an inverse or elimination of large matrices that may be numerically unstable. The proposed approach includes several improvements to the standard sparse resultant algorithms, which significantly improves the efficiency and stability of the hidden variable resultant-based solvers as we demonstrate on several interesting computer vision problems. We show that for the studied problems, our sparse resultant based approach leads to more stable solvers than the state-of-the-art Gröbner bases-based solvers as well as existing sparse resultant-based solvers, especially in close to critical configurations. Our new method can be fully automated and incorporated into existing tools for the automatic generation of efficient minimal solvers.