English
Related papers

Related papers: A note on clique-width and tree-width for structur…

200 papers

The celebrated theorem of Robertson and Seymour states that in the family of minor-closed graph classes, there is a unique minimal class of graphs of unbounded tree-width, namely, the class of planar graphs. In the case of tree-width, the…

Combinatorics · Mathematics 2017-02-01 A. Collins , J. Foniok , N. Korpelainen , V. Lozin , V. Zamaraev

Parameterized complexity seeks to use input structure to obtain faster algorithms for NP-hard problems. This has been most successful for graphs of low treewidth: Many problems admit fast algorithms relative to treewidth and many of them…

Computational Complexity · Computer Science 2022-12-20 Falko Hegerfeld , Stefan Kratsch

In Graph Minors III, Robertson and Seymour write: "It seems that the tree-width of a planar graph and the tree-width of its geometric dual are approximately equal - indeed, we have convinced ourselves that they differ by at most one". They…

Discrete Mathematics · Computer Science 2011-12-02 Frédéric Mazoit

We consider a variant of treewidth that we call clique-partitioned treewidth in which each bag is partitioned into cliques. This is motivated by the recent development of FPT-algorithms based on similar parameters for various problems. With…

Data Structures and Algorithms · Computer Science 2023-02-20 Thomas Bläsius , Maximilian Katzmann , Marcus Wilhelm

We present a new characterization of $k$-trees based on their reduced clique graphs and $(k+1)$-line graphs, which are block graphs. We explore structural properties of these two classes, showing that the number of clique-trees of a…

Combinatorics · Mathematics 2026-02-17 Lilian Markenzon , Allana S. S. Oliveira , Cybele T. M. Vinagre

We continue the study of $(\mathrm{tw},\omega)$-bounded graph classes, that is, hereditary graph classes in which the treewidth can only be large due to the presence of a large clique, with the goal of understanding the extent to which this…

Combinatorics · Mathematics 2023-12-19 Clément Dallard , Martin Milanič , Kenny Štorgel

We present a Rice-like complexity lower bound for any MSO-definable problem on binary structures succinctly encoded by circuits. This work extends the framework recently developed as a counterpoint to Courcelle's theorem for graphs encoded…

Computational Complexity · Computer Science 2026-02-23 Colin Geniet , Aliénor Goubault-Larrecq , Kévin Perrot

Quasi-trees generalize trees in that the unique "path" between two nodes may be infinite and have any countable order type. They are used to define the rank-width of a countable graph in such a way that it is equal to the least upper-bound…

Logic in Computer Science · Computer Science 2023-06-22 Bruno Courcelle

Algorithms for computing or approximating optimal decompositions for decompositional parameters such as treewidth or clique-width have so far traditionally been tailored to specific width parameters. Moreover, for mim-width, no efficient…

Data Structures and Algorithms · Computer Science 2021-10-01 Eduard Eiben , Robert Ganian , Thekla Hamm , Lars Jaffke , O-Joung Kwon

Tree-width has been proven to be a useful parameter to design fast and efficient algorithms for intractable problems. However, while tree-width is low on relatively sparse graphs can be arbitrary high on dense graphs. Therefore, we…

Data Structures and Algorithms · Computer Science 2021-11-04 Chris Aronis

Seese's conjecture for finite graphs states that monadic second-order logic (MSO) is undecidable on all graph classes of unbounded clique-width. We show that to establish this it would suffice to show that grids of unbounded size can be…

Logic in Computer Science · Computer Science 2023-08-04 Anuj Dawar , Abhisekh Sankaran

To each link $L$ in $S^3$ we associate a collection of certain labelled directed trees, called width trees. We interpret some classical and new topological link invariants in terms of these width trees and show how the geometric structure…

Geometric Topology · Mathematics 2021-09-28 Qidong He , Scott A. Taylor

Bounded infinite graphs are defined on the basis of natural physical requirements. When specialized to trees this definition leads to a natural conjecture that the average connectivity dimension of bounded trees cannot exceed two. We verify…

Condensed Matter · Physics 2009-11-07 Claudio Destri , Luca Donetti

We define a special case of tree decompositions for planar graphs that respect a given embedding of the graph. We study the analogous width of the resulting decomposition we call the embedded-width of a plane graph. We show both upper…

Discrete Mathematics · Computer Science 2017-03-23 Glencora Borradaile , Jeff Erickson , Hung Le , Robbie Weber

This paper studies the structure of graphs with given tree-width and excluding a fixed complete bipartite subgraph, which generalises the bounded degree setting. We give a new structural description of such graphs in terms of so-called…

Combinatorics · Mathematics 2025-12-15 Chun-Hung Liu , David R. Wood

We propose a generic framework for establishing the decidability of a wide range of logical entailment problems (briefly called querying), based on the existence of countermodels that are structurally simple, gauged by certain types of…

Logic in Computer Science · Computer Science 2025-04-30 Thomas Feller , Tim S. Lyon , Piotr Ostropolski-Nalewaja , Sebastian Rudolph

By measuring or calculating coalescence times for several models of coalescence or evolution, with and without selection, we show that the ratios of these coalescence times become universal in the large size limit and we identify a few…

Disordered Systems and Neural Networks · Physics 2009-11-13 Eric Brunet , Bernard Derrida , Damien Simon

A hereditary class of graphs has bounded clique-width if and only if its prime members do, but this lifting property fails for linear clique-width. We prove that a hereditary class has bounded linear clique-width if and only if its prime…

Combinatorics · Mathematics 2026-02-26 Robert Brignall , Michal Opler , Vincent Vatter

Treewidth is an important graph invariant, relevant for both structural and algorithmic reasons. A necessary condition for a graph class to have bounded treewidth is the absence of large cliques. We study graph classes closed under taking…

Combinatorics · Mathematics 2021-11-09 Clément Dallard , Martin Milanič , Kenny Štorgel

In this paper, we relate the seemingly unrelated concepts of treewidth and boxicity. Our main result is that, for any graph G, boxicity(G) <= treewidth(G) + 2. We also show that this upper bound is (almost) tight. Our result leads to…

Combinatorics · Mathematics 2007-05-23 L. Sunil Chandran , Naveen Sivadasan