Pré-Publication, Document De Travail Année : 2026

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.

Fichier principal
Vignette du fichier
main.pdf (583.21 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05445421 , version 1 (07-01-2026)

Licence

Identifiants

Citer

Colin Geniet, Fatemeh Ghasemi, Mamadou Moustapha Kanté. Transducing Linear Decompositions of Tournaments. 2026. ⟨hal-05445421⟩
415 Consultations
110 Téléchargements

Altmetric

Partager

  • More