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

Download:

Current browse context:

cs.DM

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 > Discrete Mathematics

Title: Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes

Authors: Jan Dreier
Abstract: The concept of bounded expansion provides a robust way to capture sparse graph classes with interesting algorithmic properties. Most notably, every problem definable in first-order logic can be solved in linear time on bounded expansion graph classes. First-order interpretations and transductions of sparse graph classes lead to more general, dense graph classes that seem to inherit many of the nice algorithmic properties of their sparse counterparts. In this paper, we show that one can encode graphs from a class with structurally bounded expansion via lacon-, shrub- and parity-decompositions from a class with bounded expansion. These decompositions are useful for lifting properties from sparse to structurally sparse graph classes.
Comments: published in the proceedings of LICS 2021
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)
Cite as: arXiv:2104.10446 [cs.DM]
  (or arXiv:2104.10446v2 [cs.DM] for this version)

Submission history

From: Jan Dreier [view email]
[v1] Wed, 21 Apr 2021 10:25:15 GMT (29kb)
[v2] Thu, 27 Jan 2022 10:18:36 GMT (29kb)

Link back to: arXiv, form interface, contact.