Making Minimal Solvers Fast

Zuzana Kukelova (CTU Prague, Czech Republic)

Abstract:

In this presentation we present methods for speeding up minimal solvers based on Groebner bases and action matrix eigenvalue computations. Almost all existing Groebner basis solvers spend most time in the eigenvalue computation. We present two methods which speed up this phase of Groebner basis solvers: (1) a method based on a modified FGLM algorithm for transforming Groebner bases which results in a single-variable polynomial followed by direct calculationof its roots using Sturm-sequences and, for larger problems, (2) fast calculation of the characteristic polynomial of an action matrix, again solved using Strum-sequences.

We enhanced the FGLM method by replacing time consuming polynomial division performed in standard FGLM algorithm with efficient matrix-vector multiplication and we show how this method is related to the characteristic polynomial method. Our approaches allow computing roots only in some feasible interval and in desired precision. Proposed methods can significantly speedup many existing solvers. We demonstrate them on several important minimal computer vision problems.