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

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

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

Computer Science > Logic in Computer Science

Title: Treelike decompositions for transductions of sparse graphs

Abstract: We give new decomposition theorems for classes of graphs that can be transduced in first-order logic from classes of sparse graphs -- more precisely, from classes of bounded expansion and from nowhere dense classes. In both cases, the decomposition takes the form of a single colored rooted tree of bounded depth where, in addition, there can be links between nodes that are not related in the tree. The constraint is that the structure formed by the tree and the links has to be sparse. Using the decomposition theorem for transductions of nowhere dense classes, we show that they admit low-shrubdepth covers of size $O(n^\varepsilon)$, where $n$ is the vertex count and $\varepsilon>0$ is any fixed~real. This solves an open problem posed by Gajarsk\'y et al. (ACM TOCL '20) and also by Bria\'nski et al. (SIDMA '21).
Comments: 39 pages, 2 figures
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
Cite as: arXiv:2201.11082 [cs.LO]
  (or arXiv:2201.11082v1 [cs.LO] for this version)

Submission history

From: Michał Pilipczuk [view email]
[v1] Wed, 26 Jan 2022 17:42:21 GMT (422kb,D)

Link back to: arXiv, form interface, contact.