Search arXivSearch

arXiv · 2601.04040

Trade-off between spread and width for tree decompositions

Abstract

The spread of a vertex $v$ in a tree decomposition is the number of bags that contain $v$. We study the trade-off between spread and width in tree decompositions, answering every open question from Wood [arXiv:2509.01140]. First, Wood asked for the infimum of $c > 0$ such that there exists $c'$ such that each graph $G$ has a tree decomposition of width $c \cdot tw(G)$ in which each vertex $v$ has spread at most $c'(d(v)+1)$. We show that the answer is $3$. Second, we prove a conjecture of Wood, stating that every tree-decomposition of the $(n \times n)$-grid with width $n$ has a vertex with spread $Ω(n)$. Finally, we answer the last question of Wood by showing that near-optimal average spread can be achieved simultaneously with width $O(tw(G))$.

Explore related subjects

Keep this discovery

BibTeXRIS

Hans L. Bodlaender, Carla Groenland, Sergey Norin, Neil Rahman. 2026-09-04. Trade-off between spread and width for tree decompositions. https://arxiv.org/abs/2601.04040

Cite the original work for its findings. Save a collection to share your selection of sources.

Discover connections

Connections use source metadata and explicit phrase matches, not verified experimental comparisons.

KEEP EXPLORING

Related papers

It's Hard to PArcK

We show that Partizan Arc Kayles (PArcK), a generalization of Domineering to graphs, is PSPACE-complete via a reduction from Positive CNF and with recently-discovered techniques for creating PArcK positions with high temperature. The reduction uses only red and blue edges.

cs.CC

Column Number of Delta-modular matrices: Refined Analysis via Sauer Matrices

In this paper, we build upon the analysis initiated by Gennadiy Averkov and Matthias Schymura (2022) and establish that the number of distinct columns of a $Δ$-modular matrix $A \in \mathbb{Z}^{m \times n}$ of rank $m$ is $O(m^3 Δ)$. This upper bound was previously known only for odd values of $Δ$. Recall that a matrix is called $Δ$-modular if the maximum of the absolute values of its $m \times m$ minors equals $Δ$.

math.CO