 |
|
|
|
| HAL : hal-00649990, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
|
|
| Monadic second-order definable graph orderings |
|
|
| Achim Blumensath 1Bruno Courcelle 2, 3 |
|
|
| (08/12/2011) |
|
|
|
| We examine combinatorial consitions of a graph class making it possible to define a linear order of each of its graphs by monadic second-order formulas, with or without edge quantifications. Our results concern graph classes excluding a minor and particular classes of cographs and chordal graphs. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA) |
|
|
|
CNRS : UMR7089 – Université Paris VII - Paris Diderot |
|
|
| 2 : | Laboratoire Bordelais de Recherche en Informatique (LaBRI) |
|
|
|
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II |
|
|
| 3 : | Institut Universitaire de France (IUF) |
|
|
|
Ministère de l'Enseignement Supérieur et de la Recherche Scientifique |
|
|
|
|
|
|
|
|
|
| LIAFA |
|
|
|
|
| Domaine | : | Informatique/Logique en informatique |
|
|
| monadic second-order logic – minor – linear order – chordal graph – cograph – clique-width |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00649990, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00649990 | |
| oai:hal.archives-ouvertes.fr:hal-00649990 | |
| Contributeur : Bruno Courcelle | |
| Soumis le : Vendredi 9 Décembre 2011, 11:42:54 | |
| Dernière modification le : Vendredi 9 Décembre 2011, 13:39:19 | |
