Over the past decade, the Gr\"obner basis theory and automatic solver
generation have lead to a large number of solutions to geometric vision
problems. In practically all cases, the derived solvers apply a fixed
elimination template to calculate the Gr\"obner basis and thereby identify the
zero-dimensional variety of the original polynomial constraints. However, it is
clear that different variable or monomial orderings lead to different
elimination templates, and we show that they may present a large variability in
accuracy for a certain instance of a problem. The present paper has two
contributions. We first show that for a common class of problems in geometric
vision, variable reordering simply translates into a permutation of the columns
of the initial coefficient matrix, and that -- as a result -- one and the same
elimination template can be reused in different ways, each one leading to
potentially different accuracy. We then prove that the original set of
coefficients may contain sufficient information to train a classifier for
online selection of a good solver, most notably at the cost of only a small
computational overhead. We demonstrate wide applicability at the hand of
generic dense polynomial problem solvers, as well as a concrete solver from
geometric vision.

经过过去十年的发展，Gröbner 基础理论和自动生成求解器已经产生了大量解决几何视觉问题的解决方案。此论文首先展示了不同的变量或单项式排列可以导致不同的消除模板，从而在问题的某个实例中可能导致较大的准确性变化。然后证明了原始系数集中包含足够的信息来训练用于在线选择好的求解器的分类器，尤其只需很小的计算开销。通过通用的密集多项式问题求解器以及具体的几何视觉求解器，我们展示了其广泛适用性。