• Publications
  • Influence
The dimensions of individual strings and sequences
  • J. H. Lutz
  • Computer Science, Mathematics
  • Inf. Comput.
  • 12 March 2002
TLDR
A constructive version of Hausdorff dimension is developed using constructive supergales, which are betting strategies that generalize the constructive supermartingales used in the theory of individual random sequences and the Kolmogorov complexity of a string is proven to be the product of its length and its dimension. Expand
Dimension in complexity classes
  • J. H. Lutz
  • Mathematics, Computer Science
  • Proceedings 15th Annual IEEE Conference on…
  • 4 July 2000
A theory of resource-bounded dimension is developed using gales, which are natural generalizations of martin-gales. When the resource bound /spl Delta/(a parameter of the theory) is unrestricted, theExpand
Almost Everywhere High Nonuniform Complexity
  • J. H. Lutz
  • Mathematics, Computer Science
  • J. Comput. Syst. Sci.
  • 1 April 1992
TLDR
It is proved that almost every problem decidable in exponential space has essentially maximum circuit-size and space-bounded Kolmogorov complexity almost everywhere, and it is shown that infinite pseudorandom sequences have high nonuniform complexityalmost everywhere. Expand
Almost everywhere high nonuniform complexity
  • J. H. Lutz
  • Mathematics, Computer Science
  • [] Proceedings. Structure in Complexity Theory…
  • 19 June 1989
TLDR
The author proves that almost every problem decidable in exponential space has essentially maximum circuit-size and program-size complexity almost everywhere and proves that the strongest relativizable lower bounds hold almost everywhere for almost all problems. Expand
Effective Strong Dimension in Algorithmic Information and Computational Complexity
TLDR
The basic properties of effective strong dimensions are developed and a number of results relating them to fundamental aspects of randomness, Kolmogorov complexity, prediction, Boolean circuit-size complexity, polynomial-time degrees, and data compression are proved. Expand
Computational Depth and Reducibility
TLDR
It is shown that every weakly useful sequence is strongly deep, and this result implies that every high Turing degree contains strongly deep sequences. Expand
The quantitative structure of exponential time
  • J. H. Lutz
  • Mathematics, Computer Science
  • [] Proceedings of the Eigth Annual Structure in…
  • 18 May 1993
TLDR
The measure structure of these classes is seen to interact in informative ways with bi-immunity, complexity cores, /sub <or=/m/sup P/-reducibility, circuit-size complexity, Kolmogorov complexity, and the density of hard languages. Expand
Cook Versus Karp-Levin: Separating Completeness Notions if NP is not Small
Under the hypothesis that NP does not have p-measure 0 (roughly, that NP contains more than a negligible subset of exponential time), it is shown that there is a language that is ≤ T P -completeExpand
The Complexity and Distribution of Hard Problems
TLDR
Tight upper and lower bounds on the size of complexity cores of hard languages are derived and it is seen that the $\leq P}-hard languages for E are unusually simple, in the sense that they have smaller complexity cores than most languages in E. Expand
Twelve Problems in Resource-Bounded Measure
TLDR
A more recent snapshot of resource-bounded measure is given, focusing not so much on what has been achieved to date as on what the authors hope will be achieved in the near future. Expand
...
1
2
3
4
5
...