A Lower Bound for Primality

  • Authors:
  • Eric Allender;Michael Saks;Igor Shparlinski

  • Affiliations:
  • -;-;-

  • Venue:
  • COCO '99 Proceedings of the Fourteenth Annual IEEE Conference on Computational Complexity
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

Recent work by Bernasconi, Damm and Shparlinski proved lower bounds on the circuit complexity of the square-free numbers, and raised as an open question if similar (or stronger) lower bounds could be proved for the set of prime numbers. In this short note, we answer this question affirmatively, by showing that the set of prime numbers (represented in the usual binary notation) is not contained in AC^0[mod p] for any prime p. Similar lower bounds are presented for the set of square-free numbers, and for the problem of computing the greatest common divisor of two numbers.