Zuzana Kukelova, Martin Bujnak, Tomas Pajdla The Art of Solving Minimal Problems Tricks: Problem...
-
Upload
brian-gardner -
Category
Documents
-
view
220 -
download
0
Transcript of Zuzana Kukelova, Martin Bujnak, Tomas Pajdla The Art of Solving Minimal Problems Tricks: Problem...
![Page 1: Zuzana Kukelova, Martin Bujnak, Tomas Pajdla The Art of Solving Minimal Problems Tricks: Problem Formulation Microsoft Research Cambridge Czech Technical.](https://reader035.fdocuments.us/reader035/viewer/2022062401/5a4d1afc7f8b9ab0599844fb/html5/thumbnails/1.jpg)
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.](https://reader035.fdocuments.us/reader035/viewer/2022062401/5a4d1afc7f8b9ab0599844fb/html5/thumbnails/2.jpg)
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.](https://reader035.fdocuments.us/reader035/viewer/2022062401/5a4d1afc7f8b9ab0599844fb/html5/thumbnails/3.jpg)
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.](https://reader035.fdocuments.us/reader035/viewer/2022062401/5a4d1afc7f8b9ab0599844fb/html5/thumbnails/4.jpg)
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.](https://reader035.fdocuments.us/reader035/viewer/2022062401/5a4d1afc7f8b9ab0599844fb/html5/thumbnails/5.jpg)
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.](https://reader035.fdocuments.us/reader035/viewer/2022062401/5a4d1afc7f8b9ab0599844fb/html5/thumbnails/6.jpg)
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.](https://reader035.fdocuments.us/reader035/viewer/2022062401/5a4d1afc7f8b9ab0599844fb/html5/thumbnails/7.jpg)
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.](https://reader035.fdocuments.us/reader035/viewer/2022062401/5a4d1afc7f8b9ab0599844fb/html5/thumbnails/8.jpg)
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