Advertisement

Complexity of pattern generation via planar parallel binary fission/fusion grammars

abridged version
  • Jack W. Carlyle
  • Sheila A. Greibach
  • Azaria Paz
Part II Technical Contributions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 291)

Abstract

In two previous works [74CGP,86CGP], we defined and studied a scheme for grammar-based generation of planar maps, using deterministic parallel (in the sense of Lindenmayer) derivation rules of tow types — binary splitting of countries (fission) and binary merging (fusion). Countries would be visualized as cells in applications to modeling the development of (planar) biological organisms, for example. We are concerned primarily with intrinsic properties of our model (rather than specific applications), including its power as measured by the complexity of parallel generation of the class of all legal (well-formed) planar maps. Our previous work showed that, with fission added to fusion, the complexity decreases from linear to logarithmic in the size of the map. The present paper is a sequel, giving a more complete treatment of several aspects of these basic results and related questions. In particular, we examine: the effect of merging under grammar constraints; constructions involving Hamiltonian and semi-Hamiltonian paths (tours of countries) and spanning trees (with countries as nodes), which are used as intermediate phases in reaching the general logarithmic complexity result; and neighborhood (crowdedness) control in the generations.

Key words

cell-division complexity fission fusion Hamiltonian linear time logarithmic time pattern planarity graph grammar Lindenmayer system map parallel derivation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [68Li]
    A. Lindenmayer, "Mathematical models for cellular interactions in development, Part I, Part II," Journal of Theoretical Biology, vol. 18, pp. 280–299 and 300–315, 1968.CrossRefPubMedGoogle Scholar
  2. [74CGP]
    J. W. Carlyle, S. Greibach, and A. Paz, "A two-dimensional generating system modeling growth by binary cell division," IEEE Conference Record of the 15th Annual Symposium on Switching and Automata Theory, pp. 1–12, 1974.Google Scholar
  3. [79PR]
    A. Paz and Y. Raz, "Complexity of pattern generation by MAP-L systems," pp. 367–378 in Graph-Grammars and Their Application to Computer Science and Biology, V. Claus et al, eds., Springer-Verlag, Berlin, 1979.Google Scholar
  4. [83CGP]
    J. W. Carlyle, S. Greibach, and A. Paz, "Matching and spanning in certain planar graphs," Math. Systems Theory, vol. 16, pp. 159–183, 1983.CrossRefGoogle Scholar
  5. [83Na]
    M. Nagl, "Bibliography on graph rewriting systems (graph-grammars)," pp. 415–448 in Graph-Grammars and Their Application to Computer Science (2nd International Workshop), H. Ehrig et al, eds., Springer-Verlag, Berlin, 1983.Google Scholar
  6. [83Pa]
    A. Paz, "Geometry versus topology in map grammars," pp. 288–296 in Graph-Grammars and Their Application to Computer Science (2nd International Workshop), H. Ehrig et al, eds., Springer-Verlag, Berling, 1983.Google Scholar
  7. [86CGP]
    J. Carlyle, S. Greibach, and A. Paz, "Planar Map Generation by Parallel Binary Fission/Fusion Grammars," pp. 29–44 in The Book of L, G. Rozenberg and A. Salomaa, eds., Springer-Verlag, Berlin, 1986.Google Scholar
  8. [86NLA]
    A. Nakamura, A. Lindenmayer, and K. Aizawa, "Some Systems for Map Generation," pp. 323–332 in The Book of L, G. Rozenberg and A. Salomaa, eds., Springer-Verlag, Berlin, 1986.Google Scholar
  9. [86LL]
    H. Luck and J. Luck, "Unconventional Leaves," pp. 275–289 in The Book of L, G. Rozenberg and A. Salomaa, eds., Springer-Verlag, Berlin, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Jack W. Carlyle
    • 1
  • Sheila A. Greibach
    • 1
  • Azaria Paz
    • 2
  1. 1.Computer Science Department 3731G Boelter Hall School of Engineering and Applied ScienceUniversity of California, Los AngelesLos AngelesUSA
  2. 2.Department of Computer Science TechnionIsrael Institute of TechnologyTechnion City, HaifaIsrael

Personalised recommendations