Definable decompositions for graphs of bounded linear cliquewidth
Abstract
We prove that for every positive integer k, there exists an MSO_1-transduction that given a graph of linear cliquewidth at most k outputs, nondeterministically, some cliquewidth decomposition of the graph of width bounded by a function of k. A direct corollary of this result is the equivalence of the notions of CMSO_1-definability and recognizability on graphs of bounded linear cliquewidth.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2018
- DOI:
- 10.48550/arXiv.1803.05937
- arXiv:
- arXiv:1803.05937
- Bibcode:
- 2018arXiv180305937B
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- Logical Methods in Computer Science, Volume 17, Issue 1 (January 25, 2021) lmcs:5295