## Effective strong dimension in algorithmic information and computational complexity (2004)

### Cached

### Download Links

- [www.cs.uwyo.edu]
- [www.cs.iastate.edu]
- [www.cs.uwyo.edu]
- [arxiv.org]
- [arxiv.org]
- [webdiis.unizar.es]
- [www.cs.iastate.edu]
- DBLP

### Other Repositories/Bibliography

Venue: | SIAM Journal on Computing |

Citations: | 79 - 29 self |

### BibTeX

@INPROCEEDINGS{Athreya04effectivestrong,

author = {Krishna B. Athreya and John M. Hitchcock and Jack H. Lutz and Elvira Mayordomo},

title = {Effective strong dimension in algorithmic information and computational complexity},

booktitle = {SIAM Journal on Computing},

year = {2004},

pages = {632--643},

publisher = {Springer-Verlag}

}

### Years of Citing Articles

### OpenURL

### Abstract

The two most important notions of fractal dimension are Hausdorff dimension, developed by Hausdorff (1919), and packing dimension, developed independently by Tricot (1982) and Sullivan (1984). Both dimensions have the mathematical advantage of being defined from measures, and both have yielded extensive applications in fractal geometry and dynamical systems. Lutz (2000) has recently proven a simple characterization of Hausdorff dimension in terms of gales, which are betting strategies that generalize martingales. Imposing various computability and complexity constraints on these gales produces a spectrum of effective versions of Hausdorff dimension, including constructive, computable, polynomial-space, polynomial-time, and finite-state dimensions. Work by several investigators has already used these effective dimensions to shed significant new light on a variety of topics in theoretical computer science. In this paper we show that packing dimension can also be characterized in terms of gales. Moreover, even though the usual definition of packing dimension is considerably more complex than that of Hausdorff dimension, our gale characterization of packing dimension is an exact dual