Transducing Linear Decompositions of Tournaments
Résumé
Bojańczyk, Pilipczuk, and Grohe [LICS '18] proved that for graphs of bounded linear clique-width, clique-decompositions of bounded width can be produced by a CMSO transduction. We show that in the case of tournaments, a first-order transduction suffices. This implies that the logics CMSO and existential MSO are equivalent over bounded linear clique-width tournaments.
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |