Model Checking on Interpretations of Classes of Bounded Local Cliquewidth - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Model Checking on Interpretations of Classes of Bounded Local Cliquewidth

Résumé

We present a fixed-parameter tractable algorithm for first-order model checking on interpretations of graph classes with bounded local cliquewidth. Notably, this includes interpretations of planar graphs, and more generally, of classes of bounded genus. To obtain this result we develop a new tool which works in a very general setting of dependent classes and which we believe can be an important ingredient in achieving similar results in the future.
Fichier principal
Vignette du fichier
arxiv.pdf (520.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03751012 , version 1 (13-08-2022)

Identifiants

Citer

Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, et al.. Model Checking on Interpretations of Classes of Bounded Local Cliquewidth. 37th Annual ACM/IEEE Symposium on Logic in Computer Science ( LICS 2022 ), Aug 2022, Haifa, Israel. ⟨10.1145/3531130.3533367⟩. ⟨hal-03751012⟩
19 Consultations
89 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More