论文信息 - The obstructions of a minor-closed set of graphs defined by a context-free grammar

The obstructions of a minor-closed set of graphs defined by a context-free grammar

We establish that the finite set of obstructions of a minor-closed set of graphs given by a hyperedge replacement grammar can be effectively constructed. Our proof uses an auxiliary result stating that the system of equations associated with a proper hyperedge replacement grammar has a unique solution.

Bruno Courcelle | Géraud Sénizergues | B. Courcelle | Géraud Sénizergues

[1] Robin Thomas,et al. Quickly Excluding a Planar Graph , 1994, J. Comb. Theory, Ser. B.

[2] Bruno Courcelle,et al. The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic , 1997, Handbook of Graph Grammars.

[3] Bruno Courcelle,et al. Graph grammars, monadic second-order logic and the theory of graph minors , 1991, Graph Structure Theory.

[4] Annegret Habel,et al. Hyperedge Replacement: Grammars and Languages , 1992, Lecture Notes in Computer Science.

[5] Michael A. Harrison,et al. Introduction to formal language theory , 1978 .

[6] Bruno Courcelle,et al. On Constructing Obstruction Sets of Words , 1991, Bull. EATCS.

[7] Bruno Courcelle,et al. The Monadic Second-Order Logic of Graphs V: On Closing the Gap Between Definability and Recognizability , 1991, Theor. Comput. Sci..

[8] Michael R. Fellows,et al. An analogue of the Myhill-Nerode theorem and its use in computing finite-basis characterizations , 1989, 30th Annual Symposium on Foundations of Computer Science.

[9] Eugene L. Lawler,et al. The Recognition of Series Parallel Digraphs , 1982, SIAM J. Comput..

[10] Bruno Courcelle,et al. The monadic second-order logic of graphs III: tree-decompositions, minor and complexity issues , 1992, RAIRO Theor. Informatics Appl..

[11] Bruno Courcelle,et al. The Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite Graphs , 1990, Inf. Comput..