The recognizability of sets of graphs is a robust property - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2005

The recognizability of sets of graphs is a robust property

Résumé

Once the set of finite graphs is equipped with an algebra structure (arising from the definition of operations that generalize the concatenation of words), one can define the notion of a recognizable set of graphs in terms of finite congruences. Applications to the construction of efficient algorithms and to the theory of context-free sets of graphs follow naturally. The class of recognizable sets depends on the signature of graph operations. We consider three signatures related respectively to Hyperedge Replacement (HR) context-free graph grammars, to Vertex Replacement (VR) context-free graph grammars, and to modular decompositions of graphs. We compare the corresponding classes of recognizable sets. We show that they are robust in the sense that many variants of each signature (where in particular operations are defined by quantifier-free formulas, a quite flexible framework) yield the same notions of recognizability. We prove that for graphs without large complete bipartite subgraphs, HR-recognizability and VR-recognizability coincide. The same combinatorial condition equates HR-context-free and VR-context-free sets of graphs. Inasmuch as possible, results are formulated in the more general framework of relational structures.
Fichier principal
Vignette du fichier
BC-PW-article.pdf (628.9 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00096607 , version 1 (19-09-2006)

Identifiants

Citer

Bruno Courcelle, Pascal Weil. The recognizability of sets of graphs is a robust property. Theoretical Computer Science, 2005, 342, pp.173-228. ⟨hal-00096607⟩

Collections

CNRS INSMI
170 Consultations
90 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More