An observation on time-storage trade off

  • Authors:

  • Stephen A. Cook

  • Affiliations:

  • -

  • Venue:
  • STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
  • Year:
  • 1973

Quantified Score

Hi-index 0.03

Visualization

Abstract

Recently there have been several attempts to prove that every set of strings in @@@@ (i.e., recognizable in deterministic polynomial time) can be recognized in deterministic storage (log n)2. The methods used in the attempts were based on that of [1], in which it is shown that every context free language can be accepted in storage (log n)2 Our thesis in the present paper is that these attempts must fail. We define a specific set SP of strings which is clearly in @@@@, but in a certain well-defined sense cannot be recognized in storage (log n)2 using the techniques in [1]. We conjecture that no Turing machine recognizes SP within storage (log n)2, and show that if this conjecture is false, then in fact every member of @@@@ can be recognized within storage (log n)2.