Lune

LICS2025Top-tier venue

Graphs of unbounded linear cliquewidth must transduce all trees

Mikolaj Bojanczyk, Pierre Ohlmann

2025Year

Abstract

The Pathwidth Theorem states that if a class of graphs has unbounded pathwidth, then it contains all trees as graph minors. We prove a similar result for dense graphs. More precisely, we give a finite family of tree-like patterns and prove that every graph class of bounded cliquewidth and unbounded linear cliquewidth contains arbitrarily large patterns as induced subgraphs. These patterns mso transduce all trees, and fo transduce subdivisions of all binary trees. In particular, our result provides the missing piece in establishing that the cmso transduction order is total over classes of finite graphs.

Ask about this paper

Your agent reads all of it.

Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.

Questions to start from

Your agent calls

Luneget_paper_fulltext

Ask in Lune

Free to start. No credit card required.

lune papers fulltext 46355891-3c18-4313-8e7b-b11f9c3a64ee

Builds on2

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines