English
Related papers

Related papers: Totally $\Delta$-Modular Tree Decompositions of Gr…

200 papers

A graph has tree-width at most $k$ if it can be obtained from a set of graphs each with at most $k+1$ vertices by a sequence of clique sums. We refine this definition by, for each non-negative integer $\theta$, defining the…

Combinatorics · Mathematics 2016-09-30 Jim Geelen , Benson Joeris

In this paper, we give a constructive proof of the fact that the treewidth of a graph is at most its divisorial gonality. The proof gives a polynomial time algorithm to construct a tree decomposition of width at most $k$, when an effective…

Discrete Mathematics · Computer Science 2020-05-13 Hans L. Bodlaender , Josse van Dobben de Bruyn , Dion Gijswijt , Harry Smit

In this paper, we study Reiter's propositional default logic when the treewidth of a certain graph representation (semi-primal graph) of the input theory is bounded. We establish a dynamic programming algorithm on tree decompositions that…

Artificial Intelligence · Computer Science 2018-01-03 Johannes K. Fichte , Markus Hecher , Irina Schindler

We present a new algorithm, Fractional Decomposition Tree (FDT) for finding a feasible solution for an integer program (IP) where all variables are binary. FDT runs in polynomial time and is guaranteed to find a feasible integer solution…

Discrete Mathematics · Computer Science 2020-08-12 Robert D. Carr , Arash Haddadan , Cynthia A. Phillips

Decompositional parameters such as treewidth are commonly used to obtain fixed-parameter algorithms for NP-hard graph problems. For problems that are W[1]-hard parameterized by treewidth, a natural alternative would be to use a suitable…

Data Structures and Algorithms · Computer Science 2022-03-01 Cornelius Brand , Esra Ceylan , Christian Hatschka , Robert Ganian , Viktoriia Korchemna

For a tree decomposition $\mathcal{T}$ of a graph $G$, by $\mu(\mathcal{T})$ we denote the size of a largest induced matching in $G$ all of whose edges intersect one bag of $\mathcal{T}$. Induced matching treewidth of a graph $G$ is the…

Data Structures and Algorithms · Computer Science 2024-02-27 Paloma T. Lima , Martin Milanič , Peter Muršič , Karolina Okrasa , Paweł Rzążewski , Kenny Štorgel

We show that every connected graph $G$ has a tree decomposition indexed by a tree $T$ such that $T$ is a subgraph of $G$ and the width of the tree decomposition is bounded from above by a function of the pathwidth of $G$. This answers a…

Combinatorics · Mathematics 2026-03-02 Romain Bourneuf , Gwenaël Joret , Piotr Micek , Martin Milanič , Michał Pilipczuk

An integer matrix $\mathbf{A}$ is $\Delta$-modular if the determinant of each $\text{rank}(\mathbf{A}) \times \text{rank}(\mathbf{A})$ submatrix of $\mathbf{A}$ has absolute value at most $\Delta$. The study of $\Delta$-modular matrices…

Optimization and Control · Mathematics 2022-12-08 Joseph Paat , Ingo Stallknecht , Zach Walsh , Luze Xu

Reduced parameters [BKW, JCTB '26; BKRT, SODA '22] are defined via contraction sequences. Based on this framework, we introduce the reduced component max-leaf, denoted by $\operatorname{cml}^\downarrow$, where component max-leaf is the…

Data Structures and Algorithms · Computer Science 2026-04-22 Édouard Bonnet , Yeonsu Chang , Julien Duron , Colin Geniet , O-joung Kwon

Spanning tree modulus is a generalization of effective resistance that is closely related to graph strength and fractional arboricity. The optimal edge density associated with spanning tree modulus is known to produce two hierarchical…

Combinatorics · Mathematics 2024-07-26 Nathan Albin , Kapila Kottegoda , Pietro Poggi-Corradini

We introduce monomial divisibility diagrams (MDDs), a data structure for monomial ideals that supports insertion of new generators and fast membership tests. MDDs stem from a canonical tree representation by maximally sharing equal…

Symbolic Computation · Computer Science 2026-05-13 Pierre Lairez , Rafael Mohr , Théo Ternier

The local tree-width of a graph G=(V,E) is the function ltw^G: N -> N that associates with every natural number r the maximal tree-width of an r-neighborhood in G. Our main graph theoretic result is a decomposition theorem for graphs with…

Combinatorics · Mathematics 2007-05-23 Martin Grohe

It is known that a number of natural graph problems which are FPT parameterized by treewidth become W-hard when parameterized by clique-width. It is therefore desirable to find a different structural graph parameter which is as general as…

Data Structures and Algorithms · Computer Science 2013-08-15 Jakub Gajarský , Michael Lampis , Sebastian Ordyniak

The notion of treewidth, introduced by Robertson and Seymour in their seminal Graph Minors series, turned out to have tremendous impact on graph algorithmics. Many hard computational problems on graphs turn out to be efficiently solvable in…

Data Structures and Algorithms · Computer Science 2019-09-24 Michał Ziobro , Marcin Pilipczuk

In Graph Theory a number of results were devoted to studying the computational complexity of the number modulo 2 of a graph's edge set decompositions of various kinds, first of all including its Hamiltonian decompositions, as well as the…

Discrete Mathematics · Computer Science 2010-05-14 Greg Cohen

We introduce a series of graph decompositions based on the modulator/target scheme of modification problems that enable several algorithmic applications that parametrically extend the algorithmic potential of planarity. In the core of our…

Data Structures and Algorithms · Computer Science 2025-10-17 Fedor V. Fomin , Petr A. Golovach , Laure Morelle , Dimitrios M. Thilikos

Let F be a finite family of graphs. In the F-Deletion problem, one is given a graph G and an integer k, and the goal is to find k vertices whose deletion results in a graph with no minor from the family F. This may be regarded as a…

Data Structures and Algorithms · Computer Science 2026-01-21 Roohani Sharma , Michał Włodarczyk

We give an algorithm that takes as input an $n$-vertex graph $G$ and an integer $k$, runs in time $2^{O(k^2)} n^{O(1)}$, and outputs a tree decomposition of $G$ of width at most $k$, if such a decomposition exists. This resolves the…

Data Structures and Algorithms · Computer Science 2023-08-21 Tuukka Korhonen , Daniel Lokshtanov

We introduce a dense counterpart of graph degeneracy, which extends the recently-proposed invariant symmetric difference. We say that a graph has sd-degeneracy (for symmetric-difference degeneracy) at most $d$ if it admits an elimination…

Data Structures and Algorithms · Computer Science 2024-05-16 Édouard Bonnet , Julien Duron , John Sylvester , Viktor Zamaraev

The constraint complexity of a graphical realization of a linear code is the maximum dimension of the local constraint codes in the realization. The treewidth of a linear code is the least constraint complexity of any of its cycle-free…

Information Theory · Computer Science 2011-03-28 Navin Kashyap , Andrew Thangaraj