Reducing P to a Sparse Set using a Constant Number of Queries Collapses P to L

  • Authors:

  • Dieter Van Melkebeek

  • Affiliations:

  • -

  • Venue:
  • CCC '96 Proceedings of the 11th Annual IEEE Conference on Computational Complexity
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

We prove that there is no sparse hard set for P under logspace computable bounded truth-table reductions unless P = L. In case of reductions computable in NC1, the collapse goes down to P = NC1. We generalize this result by parameterizing the sparseness condition, the space bound and the number of queries of the reduction, apply the proof technique to NL and L, and extend all these theorems to two-sided error randomized reductions in the multiple access model, for which we also obtain new results for NP.