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

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.

[1]  Akira Nakamura,et al.  Some Systems for Map Generation , 1986 .

[2]  Sheila A. Greibach,et al.  A Two-Dimensional Generating System Modeling Growth by Binary Cell Division (Preliminary Report) , 1974, SWAT.

[3]  Hartmut Ehrig,et al.  Graph-Grammars and Their Application to Computer Science and Biology , 1978, Lecture Notes in Computer Science.

[4]  Grzegorz Rozenberg,et al.  The Book of L , 1986, Springer Berlin Heidelberg.

[5]  Azaria Paz,et al.  Geometry versus topology in map grammars , 1982, Graph-Grammars and Their Application to Computer Science.

[6]  A. Paz,et al.  Planar Map Generation by Parallel Binary Fission/Fusion Grammars , 1986 .

[7]  A. Lindenmayer Mathematical models for cellular interactions in development. I. Filaments with one-sided inputs. , 1968, Journal of theoretical biology.

[8]  Yoav Raz,et al.  Complexity of Pattern Generation by Map-L-Systems , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[9]  Jacqueline Lück,et al.  Unconventional Leaves (An Application of Map ol-Systems to Biology) , 1986 .

[10]  Manfred Nagl Bibliography on graph-rewriting systems (graph grammars) , 1982, Graph-Grammars and Their Application to Computer Science.