A Deterministic Algorithm to Compute Approximate Roots of Polynomial Systems in Polynomial Average Time


DOI: 10.1007/s10208-016-9319-7

Cite this article as:
Lairez, P. Found Comput Math (2016). doi:10.1007/s10208-016-9319-7


We describe a deterministic algorithm that computes an approximate root of n complex polynomial equations in n unknowns in average polynomial time with respect to the size of the input, in the Blum–Shub–Smale model with square root. It rests upon a derandomization of an algorithm of Beltrán and Pardo and gives a deterministic affirmative answer to Smale’s 17th problem. The main idea is to make use of the randomness contained in the input itself.


Polynomial system Homotopy continuation Complexity  Smale’s 17th problem Derandomization 

Mathematics Subject Classification

Primary 68Q25 Secondary 65H10 65H20 65Y20 

Copyright information

© SFoCM 2016

Authors and Affiliations

  1. 1.Institut für MathematikTechnische Universität BerlinBerlinGermany

Personalised recommendations