Abstract
Graph grammars are widely used in order to define classes of graphs having some inductive and narrow structure. It is known, that graph classes defined by context-free graph grammars have bounded clique-width, but this general observation does not give the bound on the clique-width explicitly.
We investigate here the explicit relationship between various not necessarily context-free Neighborhood Controlled Embedding (NCE) graph grammars and the clique-width of graphs generated by them. We show that all the graphs, generated by any given NCE graph grammar, have an explicitly computable bounded clique-width (where the bound depends only on parameters of the grammar), and provide the corresponding algorithms (based on dynamic programming techniques) for finding clique-width expression based on given derivation tree.
All the results are first obtained for Node Label Controlled (NLC) grammars, but can be generalized to both NCE grammars and edNCE grammars (for directed graphs with dynamic edge relabelling).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bodlaender, H.: Treewidth: Algorithmic techniques and results. In: Privara, I., Ružička, P. (eds.) MFCS 1997. LNCS, vol. 1295, pp. 29–36. Springer, Heidelberg (1997)
Bodlaender, H.L.: A partial k-arboretum of graphs with bounded treewidth. Theoret. Comput. Sci. 209, 1–45 (1998)
Courcelle, B., Engelfriet, J.: A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Mathematical Systems Theory 28, 515–552 (1995)
Courcelle, B., Engelfriet, J., Rozenberg, G.: Handle-rewriting hypergraph grammars. Journal of computer and system sciences 46, 218–270 (1993)
Corneil, D., Habib, M., Lanlignel, J., Read, B., Rotics, U.: Polynomial time recogntion of clique-width ≤ 3 graphs. LNCS, vol. 1726, pp. 126–134 (2000)
Courcelle, B., Olariu, S.: Upper bounds to the clique-width of graphs. Discrete Applied Mathematics 101, 77–114 (2000)
Courcelle, B., Makowsky, J.A., Rotics, U.: Linear time solvable optimization problems on graphs of bounded clique-width. Theory Comput. Systems 33, 125–150 (2000)
Courcelle, B., Makowsky, J.A.: Fusion on relational structures and the verification of monadic second order properties. Mathematical Structures in Computer Science, 12 (2002) (in print)
Corneil, D., Rotics, U.: On the relationship between clique-width and tree-width. In: Brandstädt, A., Le, V.B. (eds.) WG 2001. LNCS, vol. 2204, pp. 78–90. Springer, Heidelberg (2001)
Courcelle, B.: Monadic second-order logic of graphs VII: Graphs as relational structures. Theoretical Computer Science 101, 3–33 (1992)
Courcelle, B.: Structural properties of context-free sets of graphs generated by vertex replacement. Information and Computation 116, 275–293 (1995)
Drewes, F., Kreowski, H.-J., Habel, H.: Hyperedge replacement. In: Rozenberg, G. (ed.) Handbook of graph grammars and computing by graph transformations, Foundations, vol. 1, pp. 95–162. World Scientific, Singapore (1997)
Engelfriet, J.: Context-free graph grammars. In: Handbook of formal languages, Beyond Words, vol. 3, pp. 125–213. Springer, Heidelberg (1997)
Ebbinghaus, H.D., Flum, J.: Finite Model Theory. Perspectives in Mathematical Logic. Springer, Heidelberg (1995)
Engelfriet, J., Rozenberg, G.: A comparison of boundary graph grammars and context-free hypergraph grammars. Information and Computation 84, 163–206 (1990)
Engelfriet, J., van Oostrom, V.: Logical description of context-free graphlanguages. Journal of Computer and System Sciences 55, 489–503 (1997)
Flasiński, M.: Power properties of NLC graph grammars with a polynomial membership problem. Theoretical Computer Science 201, 189–231 (1998)
Feder, T., Vardi, M.: The computational structure of monotone monadic SNP and constraint satisfaction. In: STOC 1993, pp. 612–622. ACM, New York (1993)
Golumbic, M.C., Rotics, U.: On the clique-width of some perfect graph classes. Internation Journal of Foundations of Computer Science 11, 423–443 (2000)
Glikson, A.: M. Sc. thesis. The Technion, Israeli Institute of Technology (2003), http://www.cs.technion.ac.il/admlogic/readme.html
Kim, C.: A hierarchy of eNCE families of graph languages. Theoretical Computer Science 186, 157–169 (1997)
Kim, C.: Efficient recogniztion algorithms for boundary and linear eNCE graph languages. Acta Informatica 37, 619–623 (2001)
Kim, C., Jeong, T.E.: HRNCE grammars - a hypergraph generating system with an eNCE way of rewriting. Theoretical Computer Science 223, 143–178 (1999)
Lautemann, C.: Decomposition trees: structured graph representation and efficient algorithms. In: Dauchet, M., Nivat, M. (eds.) CAAP 1988. LNCS, vol. 299, pp. 28–39. Springer, Heidelberg (1988)
Makowsky, J.A.: Algorithmic uses of the Feferman-Vaught theorem. Submitted to the Special Issue of APAL with papers from the Tarski Centennary Conference (January 2003)
Robertson, N., Seymour, P.D.: Graph Minors. II. Algorithmic Aspects of Treewidth. J. Algorithms 7, 309–322 (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Glikson, A., Makowsky, J.A. (2003). NCE Graph Grammars and Clique-Width. In: Bodlaender, H.L. (eds) Graph-Theoretic Concepts in Computer Science. WG 2003. Lecture Notes in Computer Science, vol 2880. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39890-5_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-39890-5_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20452-7
Online ISBN: 978-3-540-39890-5
eBook Packages: Springer Book Archive