 |
|
|
|
| HAL : hal-00287223, version 3 |
| Fiche détaillée |  Récupérer au format |
|
|
| Logical Methods in Computer Science (LMCS) 6, 2 (2010) 1-28 |
|
|
| Versions disponibles : | v1 (11-06-2008) | v2 (16-03-2009) | v3 (31-05-2010) |
|
|
|
|
| On the monadic second-order transduction hierarchy |
|
|
| Achim Blumensath 1Bruno Courcelle 2, 3 |
|
|
| (2010) |
|
|
|
| We compare classes of finite relational structures via monadic second-order transductions.More precisely, we study the preorder C < K : iff C is included in t(K) for some monadic second-order transduction t. If we only consider classes of incidence structures we can completely describe the resulting hierarchy. It is linear of order type omega + 3. Each level can be characterised in terms of a suitable variant of tree-width. Canonical representatives of the various levels are: the class of (i) all trees of height n, for finite n; (ii) all paths; (iii) all trees; and (iv) all grids. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Technische Universität Darmstadt, Mathematik |
|
|
|
Technische Universität Darmstadt |
|
|
| 2 : | Laboratoire Bordelais de Recherche en Informatique (LaBRI) |
|
|
|
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux – Université Victor Segalen - Bordeaux II |
|
|
| 3 : | Institut Universitaire de France (IUF) |
|
|
|
Ministère de l'Enseignement Supérieur et de la Recherche Scientifique |
|
|
|
|
|
|
|
|
|
| Méthodes Formelles |
|
|
|
|
| Domaine | : | Informatique/Logique en informatique |
|
|
| Monadic second-order transduction – graph minor – tree |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00287223, version 3 | |
| http://hal.archives-ouvertes.fr/hal-00287223 | |
| oai:hal.archives-ouvertes.fr:hal-00287223 | |
| Contributeur : Bruno Courcelle | |
| Soumis le : Mercredi 7 Avril 2010, 09:38:26 | |
| Dernière modification le : Lundi 31 Janvier 2011, 12:36:11 | |
