このホワイトペーパーでは、エピポーラ制約から調整されたカメラの相対ポーズ問題の非最小バージョンの最初の高速最適性認証者を紹介します。提案された認証者はラグランジュの双対性に基づいており、双対点の新しい閉形式表現に依存しています。また、元の問題の非凸領域の多様体に対して局所最適化を実行する効率的なソルバーを活用します。次に、ソリューションの最適性が、新しい高速認証者によってチェックされます。広範囲にわたって実施された実験は、そのシンプルさにもかかわらず、この証明可能なソルバーは合成データに対して優れたパフォーマンスを発揮し、(事後検定済み)最適解を繰り返し達成し、実際のデータに対して満足のいくパフォーマンスを示します。
In this paper we present the first fast optimality certifier for the non-minimal version of the Relative Pose problem for calibrated cameras from epipolar constraints. The proposed certifier is based on Lagrangian duality and relies on a novel closed-form expression for dual points. We also leverage an efficient solver that performs local optimization on the manifold of the original problem's non-convex domain. The optimality of the solution is then checked via our novel fast certifier. The extensive conducted experiments demonstrate that, despite its simplicity, this certifiable solver performs excellently on synthetic data, repeatedly attaining the (certified a posteriori) optimal solution and shows a satisfactory performance on real data.