Symmetry of information and nonuniform lower bounds

  • Authors:
  • Sylvain Perifel

  • Affiliations:
  • LIP (UMR 5668 ENS Lyon, CNRS, UCBL, INRIA), École Normale Supérieure de Lyon

  • Venue:
  • CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

In the first part we provide an elementary proof of the result of Homer and Mocas [3] that for all constant c, the class EXP is not included in P/nc. The proof is based on a simple diagonalization, whereas it uses resource-bounded Kolmogorov complexity in [3]. In the second part, we investigate links between resource-bounded Kolmogorov complexity and nonuniform classes in computational complexity. Assuming a weak version of polynomial-time symmetry of information, we show that exponential-time problems do not have polynomialsize circuits (in symbols, EXP ⊄ P/poly).