paperbot · PL 论文追踪

RSS

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

LMCS vol.Volume 19, Issue 22023
Jan Dreier

尚未生成 AI 速览(可能缺少 API key 或等待下次运行补跑)。

原文摘要(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.

链接与引用

DOI 原文 ·

BibTeX
@article{paperbot2213,
  title = {Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes},
  author = {Jan Dreier},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 19, Issue 2},
  year = {2023},
  doi = {10.46298/lmcs-19(2:14)2023}
}