Note: Improved hardness amplification in NP

  • Authors:
  • Chi-Jen Lu;Shi-Chun Tsai;Hsin-Lung Wu

  • Affiliations:
  • Institute of Information Science, Academia Sinica, Taipei, Taiwan;Department of Computer Science, National Chiao Tung University, Hsinchu 30050, Taiwan;Department of Computer Science, National Chiao Tung University, Hsinchu 30050, Taiwan

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2007

Quantified Score

Hi-index 5.23

Visualization

Abstract

We study the problem of hardness amplification in NP. We prove that if there is a balanced function in NP such that any circuit of size s(n)=2^@W^(^n^) fails to compute it on a 1/poly(n) fraction of inputs, then there is a function in NP such that any circuit of size s^'(n) fails to compute it on a 1/2-1/s^'(n) fraction of inputs, with s^'(n)=2^@W^(^n^^^2^^^/^^^3^). This improves the result of Healy et al. (STOC'04), which only achieves s^'(n)=2^@W^(^n^^^1^^^/^^^2^) for the case with s(n)=2^@W^(^n^).