Real Analysis Exchange

Computational Complexity of Fractal Sets

Kamo Hiroyasu, Takeuti Izumi, and Kawamura Kiko

Full-text: Open access


In studies on fractal geometry, it is important to determine whether the classification by means of computational complexity is independent of the classification by means of fractal dimension. In this paper, we show that each self-similar set defined by polynomial time computable functions is polynomial time computable, if the self-similar set satisfies a polynomial time open set condition. This fact provides us examples of sets whose computational complexity are polynomial time computable, and which have non integer Hausdorff dimension. We also construct a set with computational complexity NP-complete and with an integer Hausdorff dimension. These two examples establish the independence of computational complexity and Hausdorff dimension.

Article information

Real Anal. Exchange, Volume 26, Number 2 (2000), 773-794.

First available in Project Euclid: 27 June 2008

Permanent link to this document

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 03F60: Constructive and recursive analysis [See also 03B30, 03D45, 03D78, 26E40, 46S30, 47S30] 28A80: Fractals [See also 37Fxx] 03D15: Complexity of computation (including implicit computational complexity) [See also 68Q15, 68Q17] 68Q25: Analysis of algorithms and problem complexity [See also 68W40]

Time complexity Fractals Self-similar sets


Hiroyasu, Kamo; Kiko, Kawamura; Izumi, Takeuti. Computational Complexity of Fractal Sets. Real Anal. Exchange 26 (2000), no. 2, 773--794.

Export citation


  • K. J. Falconer, The Geometry of Fractal Sets, Cambridge University Press, 1985.
  • M. Hata, On the structure of self-similar sets, Japan J. appl. Math., 2 (1985) 381–414
  • J. E. Hutchinson, Fractals and self-similarity, Indiana Univ. Math. J., 30(5) (1981), 713–747.
  • Hiroyasu Kamo and Kiko Kawamura, Computability of self-similar sets, Mathematical Logic Quarterly, 45(1)(1999), 23–30.
  • Kiko Kawamura and Hiroyasu Kamo, Computability of self-affine sets, Annual Reports of Graduate School of Human Culture, Nara Women's University, 12(1997), 135–150.
  • Ker-I Ko, On the computability of fractal dimensions and hausdorff measure, Annals of Pure and Applied Logic, 93, 1998.
  • D. R. Morse, J. H. Lawton, M. M. Dodson, and M. H. Williamson, Fractal dimension of vegetation and the distribution of arthropod body lengths, Nature, 314, 1985.
  • M. B. Pour-El and J. I. Rechards, Computability in Analysis and Physics. Springer-Verlag, Berlin, Heidelberg, 1989.
  • T. G. Smith Jr., W. B. Marks, G. D. Lange, W. H. Sheriff Jr., and E. A. Neale, A fractal analysis of cell images, J. Neurosci Met, 27, 1989.
  • Klaus Weihrauch, Computability, Springer-Verlag, Berlin, Heidelberg, 1987.
  • Klaus Weihrauch, A simple introduction to computable analysis, Technical report, Fern Universität, Hagen, 1995.
  • Klaus Weihrauch, A foundation of computable analysis, Proceedings of DMTCS '96, 1996.