Abstract
A relationship between the fractal geometry and the analysis of recursive (divide-and-conquer) algorithms is investigated. It is shown that the dynamic structure of a recursive algorithm which might call other algorithms in a mutually recursive fashion can be geometrically captured as a fractal (self-similar) image. This fractal image is defined as the attractor of a mutually recursive function system. It then turns out that the Hausdorff-Besikovitch dimension D of such an image is precisely the exponent in the time complexity of the algorithm being modeled. That is, if Hausdorff D-dimensional measure of the image is finite then it serves as the constant of proportionality and the time complexity is of the form gQ(n D), else it implies that the time complexity is of the form θ(n D logp n) where p is an easily determined constant.
Preview
Unable to display preview. Download preview PDF.
References
A. V. Aho, J. E. Hopcroft and J. D. Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley, 1974.
M. F. Barnsley, Fractals Everywhere, Academic Press, 1988.
M. F. Barnsley, J. H. Elton and D. P. Hardin, “Recurrent Iterated Function Systems,” Constructive Approximation, 5, 3–31 (1989).
M. F. Barnsley, R. L. Devaney, B. B. Mandelbrot, H-O. Peitgen, De Saupe, and R. F. Voss, Science of Fractal Images, Springer-Verlag, 1988.
J. L. Bentley, D. Haken and J. B. Saxe, “A General Method for Solving Divideand-Conquer Recurrences,” SIGACT News, 12, 36–44 (1980).
T. H. Cormen, C. E. Leiserson and R. L. Rivest, Introduction to Algorithms, MIT Press, 1990.
K. Culik II and S. Dube, “Affine Automata and Related Techniques for Generation of Complex Images,” Theoretical Computer Science 116, 373–398 (1993).
K. Culik II and S. Dube, “Rational and Affine Expressions for Image Synthesis.” Discrete Applied Mathematics 41, 85–120 (1993).
K. Culik II and S. Dube, “Balancing Order and Chaos in Image Generation,” Preliminary version in Proc. of ICALP'91. Lecture notes in Computer Science 510, Springer-Verlag, pp. 600–614. Computer and Graphics, to appear.
S. Dube, “Using Fractal Geometry for Solving Divide-and-Conquer Recurrences,” Technical Report 93-70, Dept of Math, Stat and Comp Sci, University of New England at Armidale, Australia.
R. L. Graham, D. E. Knuth and O. Patashnik, Concrete Mathematics, Addison-Wesley, 1989.
D. H. Greene and D. E. Knuth, Mathematics for the Analysis of Algorithms, Birkhäuser Boston, 1982.
B. Mandelbrot, The Fractal Geometry of Nature, W. H. Freeman and Co., San Francisco, 1982.
R. D. Mauldin and S. C. Williams, “Hausdorff Dimension in Graph Directed Constructions,” Transactions of American Mathematical Society, 309, 811–829 (1988).
P. W. Purdom, Jr. and C. A. Brown, The Analysis of Algorithms, Holt, Rinehart and Winston, 1985.
L. Staiger, “Quadtrees and the Hausdorff Dimension of Pictures,” Workshop on Geometrical Problems of Image Processing (GEOBILD'89), Math. Research No. 51, Akademie-Verlag, Berlin, pp. 173–178 (1989).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dube, S. (1993). Using fractal geometry for solving divide-and-conquer recurrences. In: Ng, K.W., Raghavan, P., Balasubramanian, N.V., Chin, F.Y.L. (eds) Algorithms and Computation. ISAAC 1993. Lecture Notes in Computer Science, vol 762. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57568-5_249
Download citation
DOI: https://doi.org/10.1007/3-540-57568-5_249
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57568-9
Online ISBN: 978-3-540-48233-8
eBook Packages: Springer Book Archive