 |
|
|
|
| HAL : hal-00287223, version 2 |
| Fiche détaillée |  Récupérer au format |
|
|
| Versions disponibles : | v1 (11-06-2008) | v2 (16-03-2009) |
|
|
|
|
| On the monadic second-order transduction hierarchy |
|
|
| Achim Blumensath 1Bruno Courcelle 2, 3 |
|
|
| (11/06/2008) |
|
|
|
| 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 |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique |
|
|
| Monadic second-order transduction – graph minor – tree |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00287223, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00287223/fr/ | |
| oai:hal.archives-ouvertes.fr:hal-00287223_v2 | |
| Contributeur : Bruno Courcelle | |
| Soumis le : Lundi 16 Mars 2009, 11:14:39 | |
| Dernière modification le : Lundi 16 Mars 2009, 11:17:27 | |
