ISOLATE
Efficient isolation of polynomial’s real roots. This paper revisits an algorithm isolating the real roots of a univariate polynomial using Descartes’ rule of signs. It follows work of Vincent, Uspensky, Collins and Akritas, Johnson, Krandick. Our first contribution is a generic algorithm which enables one to describe all the known algorithms based on Descartes’ rule of sign and the bisection strategy in a unified framework. Using that framework, a new algorithm is presented, which is optimal in terms of memory usage and as fast as both Collins and Akritas’ algorithm and Krandick’s variant, independently of the input polynomial. From this new algorithm, we derive an adaptive semi-numerical version, using multi-precision interval arithmetic. We finally show that these critical optimizations have important consequences since our new algorithm still works with huge polynomials, including orthogonal polynomials of degree 1000 and more, which were out of reach of previous methods.
Keywords for this software
References in zbMATH (referenced in 177 articles , 1 standard article )
Showing results 1 to 20 of 177.
Sorted by year (- Ayyildiz Akoglu, Tulay; Hauenstein, Jonathan D.; Szanto, Agnes: Certifying solutions to overdetermined and singular polynomial systems over $\mathbbQ$ (2018)
- Becker, Ruben; Sagraloff, Michael; Sharma, Vikram; Yap, Chee: A near-optimal subdivision algorithm for complex root isolation based on the Pellet test and Newton iteration (2018)
- Huang, Cheng-Chao; Li, Jing-Cao; Xu, Ming; Li, Zhi-Bin: Positive root isolation for poly-powers by exclusion and differentiation (2018)
- Koseleff, P.-V.; Pecker, D.; Rouillier, F.; Tran, C.: Computing Chebyshev knot diagrams (2018)
- Naldi, Simone: Solving rank-constrained semidefinite programs in exact arithmetic (2018)
- Safey El Din, Mohab; Schost, Éric: Bit complexity for multi-homogeneous polynomial system solving -- application to polynomial minimization (2018)
- Batra, Prashant; Sharma, Vikram: Near optimal subdivision algorithms for real root isolation (2017)
- Cifuentes, Diego; Parrilo, Pablo A.: Chordal networks of polynomial ideals (2017)
- Collins, George E.: On the maximum computing time of the bisection method for real root isolation (2017)
- Fan, Xinxin; Otemissov, Adilet; Sica, Francesco; Sidorenko, Andrey: Multiple point compression on elliptic curves (2017)
- Imbach, Rémi; Moroz, Guillaume; Pouget, Marc: A certified numerical algorithm for the topology of resultant and discriminant curves (2017)
- Alcázar, Juan Gerardo; Hermoso, Carlos: Involutions of polynomially parametrized surfaces (2016)
- Bates, Daniel J.; Hauenstein, Jonathan D.; Niemerg, Matthew E.; Sottile, Frank: Software for the Gale transform of fewnomial systems and a Descartes rule for fewnomials (2016)
- Boroujeni, Marziyeh; Basiri, Abdolali; Rahmany, Sajjad; Valibouze, Annick: Finding solutions of fuzzy polynomial equations systems by an algebraic method (2016)
- Bouzidi, Yacine; Lazard, Sylvain; Moroz, Guillaume; Pouget, Marc; Rouillier, Fabrice; Sagraloff, Michael: Solving bivariate systems using rational univariate representations (2016)
- Burr, Michael A.: Continuous amortization and extensions: with applications to bisection-based root isolation (2016)
- Henrion, Didier; Naldi, Simone; El Din, Mohab Safey: Exact algorithms for linear matrix inequalities (2016)
- Hu, Shenglong; Ye, Ke: Multiplicities of tensor eigenvalues (2016)
- Massri, César: Solving a sparse system using linear algebra (2016)
- Mehrabi, Esmaeil; Schost, Éric: A softly optimal Monte Carlo algorithm for solving bivariate polynomial systems over the integers (2016)