We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Logic in Computer Science

Title: Labelled Well Quasi Ordered Classes of Bounded Linear Clique Width

Authors: Aliaume Lopez
Abstract: We provide an algorithm to decide whether a class of finite graphs that has bounded linear clique width is well-quasi-ordered by the induced subgraph relation in the presence of a labelling of the vertices, where the class is given by an $\mathsf{MSO}$-transduction from finite words. This study leverages tools from automata theory, and the proof scheme allows to derive a weak version of the Pouzet conjecture for classes of bounded linear clique-width. We also provide an automata based characterization of which classes of $\mathsf{NLC}$ graphs are labelled-well-quasi-ordered by the induced subgraph relation, where we recover the results of Daligault Rao and Thomass\'e by encoding the models into trees with the gap embedding relation of Dershowitz and Tzameret.
Comments: 24 pages
Subjects: Logic in Computer Science (cs.LO)
Cite as: arXiv:2405.10894 [cs.LO]
  (or arXiv:2405.10894v1 [cs.LO] for this version)

Submission history

From: Aliaume Lopez [view email]
[v1] Fri, 17 May 2024 16:33:43 GMT (239kb,D)

Link back to: arXiv, form interface, contact.