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

DOI: 10.1007/3-540-18771-5_73

Part of the Lecture Notes in Computer Science book series (LNCS, volume 291)
Cite this paper as:
Carlyle J.W., Greibach S.A., Paz A. (1987) Complexity of pattern generation via planar parallel binary fission/fusion grammars. In: Ehrig H., Nagl M., Rozenberg G., Rosenfeld A. (eds) Graph-Grammars and Their Application to Computer Science. Graph Grammars 1986. Lecture Notes in Computer Science, vol 291. Springer, Berlin, Heidelberg

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.

Copyright information

© Springer-Verlag 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