mirror of
https://github.com/opencv/opencv.git
synced 2025-06-18 08:05:23 +08:00
023d14ecc4
Improve solveCubic accuracy #27347 ### Pull Request Readiness Checklist Fix #27323 ``` 2e-13 * x^3 + x^2 - 2 * x + 1 = 0 -> x^3 + 5e12 * x^2 - 1e13 * x + 5e12 = 0 ``` The problem that coefficients have quite big magnitudes and current calculations are subject to round-off error ``` Q = (a1 * a1 - 3 * a2) * (1./9) R = (2 * a1 * a1 * a1 - 9 * a1 * a2 + 27 * a3) * (1./54) Qcubed = Q * Q * Q = a1^6/729 - (a1^4 a2)/81 + (a1^2 a2^2)/27 - a2^3/27 R * R = R^2 = a1^6/729 - (a1^4 a2)/81 + (a1^2 a2^2)/36 + (a1^3 a3)/27 - (a1 a2 a3)/6 + a3^2/4 d = Qcubed - R * R ``` Let `a1`, `a2`, `a3` have quite big same magnitudes, then we see that `Qcubed` and `R * R` have same terms `a1^6/729` and `-(a1^4 a2)/81` (which will be reduced in `d`), but they level out the other terms (these terms have `6`th and `5`th degree and other terms - less or equal than `4`th degree). So, if these terms will participate in the calculation, this will lead to a huge round-off error. But if we expand the expression, then round-off error should be less ``` d = Qcubed - R * R = 1/108 (a1^2 a2^2 - 4 a2^3 - 4 a1^3 a3 + 18 a1 a2 a3 - 27 a3^2) ``` See details at https://github.com/opencv/opencv/wiki/How_to_contribute#making-a-good-pull-request - [x] I agree to contribute to the project under Apache 2 License. - [x] To the best of my knowledge, the proposed patch is not based on a code under GPL or another license that is incompatible with OpenCV - [x] The PR is proposed to the proper branch - [x] There is a reference to the original bug report and related work - [x] There is accuracy test, performance test and test data in opencv_extra repository, if applicable Patch to opencv_extra has the same branch name. - [x] The feature is well documented and sample code can be built with the project CMake |
||
|---|---|---|
| .. | ||
| ocl | ||
| ref_reduce_arg.impl.hpp | ||
| test_allocator.cpp | ||
| test_arithm.cpp | ||
| test_async.cpp | ||
| test_concatenation.cpp | ||
| test_conjugate_gradient.cpp | ||
| test_countnonzero.cpp | ||
| test_cuda.cpp | ||
| test_downhill_simplex.cpp | ||
| test_ds.cpp | ||
| test_dxt.cpp | ||
| test_eigen.cpp | ||
| test_hal_core.cpp | ||
| test_hasnonzero.cpp | ||
| test_intrin128.simd.hpp | ||
| test_intrin256.simd.hpp | ||
| test_intrin512.simd.hpp | ||
| test_intrin_emulator.cpp | ||
| test_intrin_utils.hpp | ||
| test_intrin.cpp | ||
| test_io.cpp | ||
| test_logger_replace.cpp | ||
| test_logtagconfigparser.cpp | ||
| test_logtagmanager.cpp | ||
| test_lpsolver.cpp | ||
| test_main.cpp | ||
| test_mat.cpp | ||
| test_math.cpp | ||
| test_misc.cpp | ||
| test_opencl.cpp | ||
| test_operations.cpp | ||
| test_precomp.hpp | ||
| test_ptr.cpp | ||
| test_quaternion.cpp | ||
| test_rand.cpp | ||
| test_rotatedrect.cpp | ||
| test_umat.cpp | ||
| test_utils_tls.impl.hpp | ||
| test_utils.cpp | ||