Feasible Depth

  • Authors:
  • David Doty;Philippe Moser

  • Affiliations:
  • Department of Computer Science, Iowa State University, Ames, IA 50011, USA;Dept de Informática e Ingeniería de Sistemas, Centro Politécnico Superior, Zaragoza, Spain

  • Venue:
  • CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper introduces two complexity-theoretic formulations of Bennett's logical depth: finite-state depthand polynomial-time depth. It is shown that for both formulations, trivial and random infinite sequences are shallow, and a slow growth lawholds, implying that deep sequences cannot be created easily from shallow sequences. Furthermore, the Eanalogue of the halting language is shown to be polynomial-time deep, by proving a more general result: every language to which a nonnegligible subset of Ecan be reduced in uniform exponential time is polynomial-time deep.