On the model-checking of monadic second-order formulas with edge set quantifications.
Résumé
In order to obtain fixed-parameter tractable model-checking algorithms for monadic second-order graph properties that depend on the multiplicities of edges, we extend clique-width to graphs with multiple edges, and we extend counting monadic second-order logic accordingly. For monadic second-order graph properties that need edge set quantifications in their logical expressions, we define a graph complexity measure called special tree-width. Its value is between path-width and tree-width. We study its main properties and we explain why it is better that tree-width.
Domaines
Logique en informatique [cs.LO]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...