inria-00116985, version 5
A note on the complexity of univariate root isolation
N° RR-6043 (2006)
Abstract: This paper presents the average-case bit complexity of subdivision-based univariate solvers, namely those named after Sturm, Descartes, and Bernstein. By real solving we mean real root isolation. We prove bounds of $\sOB(N^5)$ for all methods, where $N$ bounds the polynomial degree and the coefficient bitsize, whereas their worst-case complexity is in $\sOB(N^6)$. In the case of the Sturm solver, our bound depends on the number of real roots. Our work is a step towards understanding the practical complexity of real root isolation. This enables a better juxtaposition against numerical solvers, the latter having worst-case complexity in $\sOB(N^4)$. % Our approach extends to complex root isolation, where we offer a simple proof leading to bounds % for the number of steps that the subdivision algorithm performs on the worst and average-case complexities of $\sOB(N^7 )$ and $\sOB(N^6)$ respectively, where the latter is output-sensitive.
- a – National Kapodistrian University of Athens
- 1:
- (ERGA) Laboratory of algebraic and geometric algorithms and applications – National Kapodistrian University of Athens
- 2:
- INRIA
- Domain : Computer Science/Symbolic Computation
- Keywords : polynomial equation – Sturm – Descartes' rule – Bernstein basis – subdivision – average case – bit complexity – separation bound
- Internal note : RR-6043
- Available versions : v1 (2006-11-29) v2 (2006-11-30) v3 (2006-11-30) v4 (2006-12-04) v5 (2006-12-10)
- inria-00116985, version 5
- http://hal.inria.fr/inria-00116985
- oai:hal.inria.fr:inria-00116985
- From:
- Submitted on: Sunday, 10 December 2006 18:05:28
- Updated on: Wednesday, 1 October 2008 11:50:34





Associated documents
Export