Lower bounds for some decision problems over C

  • Authors:
  • Gregorio Malajovich

  • Affiliations:
  • Univ. Federal do Rio de Naneiro, Rio de Janeiro, Brazil

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2002

Quantified Score

Hi-index 5.23

Visualization

Abstract

Lower bounds for some explicit decision problems over the complex numbers are given. The decision problems considered are certain zero-dimensional subsets of NC, and can be assimilated to a countable family of polynomials gi. More precisely, one should decide for input (i,x) if gi(x)=0. A lower bound for deciding if a polynomial gi vanishes at some x can be derived from a uniform lower bound for the evaluation of all f(gi). That bound is obtained by means of an arithmetic invariant of the roots of gi, the Newton diagram of f and other known techniques.