超越 Gröbner 基础:最小求解器的基础选择
本文提出了一种基于稀疏 resultant 方法的奇异值问题转化方法,可以显著提高计算机视觉问题中多项式方程组求解方法的效率和稳定性。实验证明,该方法准确性与 Gröbner 基求解器相当,有些问题甚至可以得到更小和更稳定的求解器。
Dec, 2019
经过过去十年的发展,Gröbner 基础理论和自动生成求解器已经产生了大量解决几何视觉问题的解决方案。此论文首先展示了不同的变量或单项式排列可以导致不同的消除模板,从而在问题的某个实例中可能导致较大的准确性变化。然后证明了原始系数集中包含足够的信息来训练用于在线选择好的求解器的分类器,尤其只需很小的计算开销。通过通用的密集多项式问题求解器以及具体的几何视觉求解器,我们展示了其广泛适用性。
Jan, 2024
通过训练转化器实现了首次 Gröbner 基的计算,该训练需要多个多项式系统和相关 Gröbner 基的配对,从而引发了两个新的代数问题:Gröbner 基的随机生成和将其转化为非 Gröbner 多项式系统,称为 “反向 Gröbner 问题”。我们通过零维根理想解决了这些问题,并且实验证明,在五元情况下,所提出的数据集生成方法比朴素方法快了五个数量级,克服了在学习计算 Gröbner 基中的重要挑战。
Nov, 2023
该研究提出了一种新的最小解算器系统性生成方法,通过消除不出现在线性方程的未知数并通过升级实现线性化对完全非线性问题问题的求解,我们成功地提出了三个部分标定相机相对姿态计算问题的更有效解决方案,同时还发现了部分标定相机的基础矩阵的新约束关系。
Mar, 2017
本文描述了一种有效的逆算法,用于构造多项式理想的格罗布纳基础,该算法基于逆元分裂的概念,可以在计算固定的逆基础后输出一组降低的格罗布纳基础,这种算法比 Buchberger 算法具有更高的实验优越性。
Jan, 2005
本文提出了使用梯度的全数值方法来构建近似消失理想的基础算法,以解决现有算法需要使用不方便的单项式顺序或指数级昂贵的计算的问题,并实现了输入平移和缩放的一致输出,实现了非平凡冗余基础的删除。此外,该文针对此前的算法未能解决的问题,实现了数值完整的基础构建方法。
Nov, 2019
该论文提出了一种新的算法,用于检查给定的 Laurent 多项式是否足以构建消元模板,并基于此算法提出了一种自动生成 Laurent 多项式方程组求解器的方法,该发生器适用于具有正维度组件的理想,适用于几何计算视觉等多个领域,且速度快且数字精度高。
Jul, 2023
该研究提出了一种基于 RANSAC 框架求解几何优化问题的方法,通过设计一种学习策略,可以避免计算大量伪解,从而有效地解决了几何优化问题的难点。通过在相对位姿问题中使用该方法,在每个视图中使用四个点进行最小松弛,可以快速精确地计算出相机之间的相对位置。
Dec, 2021