Resource-bounded strong dimension versus resource-bounded category

Authors:
John M. Hitchcock;A. Pavan
Affiliations:
Department of Computer Science, University of Wyoming, Laramie, WY;Department of Computer Science, Iowa State University, Ames, IA
Venue:
Information Processing Letters
Year:
2005

Citing 7
Cited 1

Category and measure in complexity classes

SIAM Journal on Computing
Almost everywhere high nonuniform complexity

Journal of Computer and System Sciences
Almost every set in exponential time is P-bi-immune

Theoretical Computer Science
Resource-bounded genericity

Computability, enumerability, unsolvability
Genericity and measure for exponential time

MFCS '94 Selected papers from the 19th international symposium on Mathematical foundations of computer science
Dimension in Complexity Classes

SIAM Journal on Computing
Effective Strong Dimension in Algorithmic Information and Computational Complexity

SIAM Journal on Computing

SIGACT news complexity theory column 48

ACM SIGACT News

Quantified Score

Hi-index	0.89

Visualization

Abstract

Classically it is known that any set with packing dimension less than 1 is meager in the sense of Baire category. We establish a resource-bounded extension: if a class X has Δ-strong dimension less than 1, then X is Δ-meager. This has the applications of explaining some of Lutz's simultaneous Δ-meager, Δ-measure 0 results and providing a new proof of a Gu's strong dimension result on infinitely-often classes.