A note on quadratic residuosity and UP

  • Authors:
  • Jin-Yi Cai;Robert A. Threlfall

  • Affiliations:
  • Computer Sciences Department, University of Wisconsin, 1210 West Dayton St, Madison, WI 53706, USA;B & C Group International, 955 Broadway Drive, Sun Prairie, WI 53590, USA

  • Venue:
  • Information Processing Letters
  • Year:
  • 2004

Quantified Score

Hi-index 0.89

Visualization

Abstract

UP is the class of languages accepted by polynomial-time nondeterministic Turing machines that have at most one accepting path. We show that the quadratic residue problem belongs to UP@?coUP. This answers affirmatively an open problem, discussed in Theory of Computational Complexity (Du and Ko, 2000), of whether the quadratic nonresidue problem is in NP. We generalize to higher powers and show the higher power residue problem also belongs to UP@?coUP.