zuzana kukelova, martin bujnak, tomas pajdla the art of solving minimal problems tricks: problem...

8
Zuzana Kukelova, Martin Bujnak, Tomas Pajdla The Art of Solving Minimal Problems Tricks: Problem Formulation Microsoft Research Cambridge Czech Technical University in Prague Capturing Reality s.r.o. CapturingRealit

Upload: brian-gardner

Post on 17-Jan-2018

220 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Zuzana Kukelova, Martin Bujnak, Tomas Pajdla The Art of Solving Minimal Problems Tricks: Problem Formulation Microsoft Research Cambridge Czech Technical

Zuzana Kukelova, Martin Bujnak, Tomas Pajdla

The Art of Solving Minimal Problems Tricks: Problem FormulationMicrosoft Research CambridgeCzech Technical University in PragueCapturing Reality s.r.o.

CapturingReality

Page 2: Zuzana Kukelova, Martin Bujnak, Tomas Pajdla The Art of Solving Minimal Problems Tricks: Problem Formulation Microsoft Research Cambridge Czech Technical

How important is the problem formulation?

“The mere formulation of a problem is often far more essential than its solution, which may be merely a matter of mathematical or experimental skills. ….”

- Albert Einstein

Page 3: Zuzana Kukelova, Martin Bujnak, Tomas Pajdla The Art of Solving Minimal Problems Tricks: Problem Formulation Microsoft Research Cambridge Czech Technical

Problem formulationThe formulation of the problem may significantly influence

• Complexity of the final “online” solver

• Sparsity of the elimination template

• Numerical stability

• Number of solutions

Page 4: Zuzana Kukelova, Martin Bujnak, Tomas Pajdla The Art of Solving Minimal Problems Tricks: Problem Formulation Microsoft Research Cambridge Czech Technical

P4P+fAbsolute pose of a camera with unknown focal length

• Over-constrained system – 3.5 points sufficient• Different strategies for selecting equations

Page 5: Zuzana Kukelova, Martin Bujnak, Tomas Pajdla The Art of Solving Minimal Problems Tricks: Problem Formulation Microsoft Research Cambridge Czech Technical

P4P+fDifferent formulations• Using distances

• Using ratios of distances

• Rotation matrix parametrized using quaternions

• DIAC – dual image of the absolute quadric

Page 6: Zuzana Kukelova, Martin Bujnak, Tomas Pajdla The Art of Solving Minimal Problems Tricks: Problem Formulation Microsoft Research Cambridge Czech Technical

P4P+fPerformance of different solvers and different formulations

Page 7: Zuzana Kukelova, Martin Bujnak, Tomas Pajdla The Art of Solving Minimal Problems Tricks: Problem Formulation Microsoft Research Cambridge Czech Technical

Problem formulationHow important is the problem formulation?

• Success = good formulation + good solver

• Finding a good solution one have to try many formulations & solvers

• Easy with automatic solver generators

Page 8: Zuzana Kukelova, Martin Bujnak, Tomas Pajdla The Art of Solving Minimal Problems Tricks: Problem Formulation Microsoft Research Cambridge Czech Technical

P4P+fUsing an automatic generator we can quite quickly test and evaluate different, formulations, different orderings of variables or monomials

Polynomial system

Evaluation Solver source code