English
Related papers

Related papers: Fundamental Problems on Bounded-Treewidth Graphs: …

200 papers

We prove essentially tight lower bounds, conditionally to the Exponential Time Hypothesis, for two fundamental but seemingly very different cutting problems on surface-embedded graphs: the Shortest Cut Graph problem and the Multiway Cut…

Computational Complexity · Computer Science 2021-02-18 Vincent Cohen-Addad , Éric Colin de Verdière , Daniel Marx , Arnaud de Mesmay

Treewidth is a parameter that emerged from the study of minor closed classes of graphs (i.e. classes closed under vertex and edge deletion, and edge contraction). It in some sense describes the global structure of a graph. Roughly, a graph…

Combinatorics · Mathematics 2022-02-02 Tara Abrishami , Maria Chudnovsky , Kristina Vušković

We study connectivity problems from a fine-grained parameterized perspective. Cygan et al. (TALG 2022) obtained algorithms with single-exponential running time $\alpha^{tw} n^{O(1)}$ for connectivity problems parameterized by treewidth…

Data Structures and Algorithms · Computer Science 2023-03-01 Falko Hegerfeld , Stefan Kratsch

In 2020, we initiated a systematic study of graph classes in which the treewidth can only be large due to the presence of a large clique, which we call $(\mathrm{tw},\omega)$-bounded. While $(\mathrm{tw},\omega)$-bounded graph classes are…

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

A \emph{$t$-treewidth-modulator} of a graph $G$ is a set $X \subseteq V(G)$ such that the treewidth of $G-X$ is at most some constant $t-1$. In this paper, we present a novel algorithm to compute a decomposition scheme for graphs $G$ that…

Data Structures and Algorithms · Computer Science 2012-08-02 Eun Jung Kim , Alexander Langer , Christophe Paul , Felix Reidl , Peter Rossmanith , Ignasi Sau , Somnath Sikdar

A stable or locally-optimal cut of a graph is a cut whose weight cannot be increased by changing the side of a single vertex. In this paper we study Minimum Stable Cut, the problem of finding a stable cut of minimum weight. Since this…

Computational Complexity · Computer Science 2026-04-08 Michael Lampis

Many hard graph problems, such as Hamiltonian Cycle, become FPT when parameterized by treewidth, a parameter that is bounded only on sparse graphs. When parameterized by the more general parameter clique-width, Hamiltonian Cycle becomes…

Data Structures and Algorithms · Computer Science 2014-11-24 Sigve Hortemo Sæther

For graphs $G$ and $H$, a \emph{homomorphism} from $G$ to $H$ is an edge-preserving mapping from the vertex set of $G$ to the vertex set of $H$. For a fixed graph $H$, by \textsc{Hom($H$)} we denote the computational problem which asks…

Computational Complexity · Computer Science 2020-02-20 Karolina Okrasa , Paweł Rzążewski

The Tree Decomposition Conjecture by Bar\'at and Thomassen states that for every tree $T$ there exists a natural number $k(T)$ such that the following holds: If $G$ is a $k(T)$-edge-connected simple graph with size divisible by the size of…

Combinatorics · Mathematics 2016-03-02 Martin Merker

Given a family $\mathcal{H}$ of graphs, we say that a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Let $S_{t,t,t}$ be the graph obtained from $K_{1,3}$ by subdividing each edge…

Combinatorics · Mathematics 2025-02-10 Maria Chudnovsky , Julien Codsi , Daniel Lokshtanov , Martin Milanič , Varun Sivashankar

For any fixed graph $G$, the subgraph isomorphism problem asks whether an $n$-vertex input graph has a subgraph isomorphic to $G$. A well-known algorithm of Alon, Yuster and Zwick (1995) efficiently reduces this to the "colored" version of…

Computational Complexity · Computer Science 2020-11-04 Gregory Rosenthal

Parameterized complexity theory has enabled a refined classification of the difficulty of NP-hard optimization problems on graphs with respect to key structural properties, and so to a better understanding of their true difficulties. More…

Data Structures and Algorithms · Computer Science 2017-10-19 David Coudert , Guillaume Ducoffe , Alexandru Popa

We show that for any fixed dense graph G and bounded-degree tree T on the same number of vertices, a modest random perturbation of G will typically contain a copy of T . This combines the viewpoints of the well-studied problems of embedding…

Combinatorics · Mathematics 2025-05-30 Michael Krivelevich , Matthew Kwan , Benny Sudakov

Many hard graph problems can be solved efficiently when restricted to graphs of bounded treewidth, and more generally to graphs of bounded clique-width. But there is a price to be paid for this generality, exemplified by the four problems…

Data Structures and Algorithms · Computer Science 2014-05-01 Sigve Hortemo Sæther , Jan Arne Telle

An independent set in a graph $G$ is a set of pairwise non-adjacent vertices. A tree decomposition of $G$ is a pair $(T, \chi)$ where $T$ is a tree and $\chi : V(T) \rightarrow 2^{V(G)}$ is a function satisfying the following two axioms:…

Combinatorics · Mathematics 2026-05-07 Maria Chudnovsky , Ajaykrishnan E S , Daniel Lokshtanov

Treewidth is a measure of how tree-like a graph is. It has many important algorithmic applications because many NP-hard problems on general graphs become tractable when restricted to graphs of bounded treewidth. Algorithms for problems on…

Data Structures and Algorithms · Computer Science 2020-06-03 Johan M. M. van Rooij

The maximum/minimum bisection problems are, given an edge-weighted graph, to find a bipartition of the vertex set into two sets whose sizes differ by at most one, such that the total weight of edges between the two sets is…

Data Structures and Algorithms · Computer Science 2020-09-17 Tesshu Hanaka , Yasuaki Kobayashi , Taiga Sone

We revisit two well-studied problems, Bounded Degree Vertex Deletion and Defective Coloring, where the input is a graph $G$ and a target degree $\Delta$ and we are asked either to edit or partition the graph so that the maximum degree…

Data Structures and Algorithms · Computer Science 2024-05-07 Michael Lampis , Manolis Vasilakis

A resolving set $S$ of a graph $G$ is a subset of its vertices such that no two vertices of $G$ have the same distance vector to $S$. The Metric Dimension problem asks for a resolving set of minimum size, and in its decision form, a…

Computational Complexity · Computer Science 2019-07-19 Édouard Bonnet , Nidhi Purohit

The Strong Exponential Time Hypothesis (SETH) is a standard assumption in (fine-grained) parameterized complexity and many tight lower bounds are based on it. We consider a number of reasonable weakenings of the SETH, with sources from (i)…

Computational Complexity · Computer Science 2025-10-14 Michael Lampis