On the complexity of isolating real roots and computing with certainty the topological degree

  • Authors:
  • B. Mourrain;M. N. Vrahatis;J. C. Yakoubsohn

  • Affiliations:
  • GALAAD, INRIA Sophia-Antipolis, B.P. 93, Sophia-Antipolis 06902, France;Department of Mathematics, University of Patras Artificial Intelligence Research Center, (UPAIRC), University of Patras, GR-261.10 Patras, Greece;Laboratoire MIP, Bureau 131, Université Paul Sabatier, 118 route de Narbonne, 31062 Toulouse Cedex, France

  • Venue:
  • Journal of Complexity
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this contribution the isolation of real roots and the computation of the topological degree in two dimensions are considered and their complexity is analyzed. In particular, we apply Stenger's degree computational method by splitting properly the boundary of the given region to obtain a sequence of subintervals along the boundary that forms a sufficient refinement. To this end, we properly approximate the function using univariate polynomials. Then we isolate each one of the zeros of these polynomials on the boundary of the given region in various subintervals so that these subintervals form a sufficiently refined boundary.