English
Related papers

Related papers: Parameterizing the quantification of CMSO: model c…

200 papers

We prove new parameterized complexity results for the FO Model Checking problem on a well-known generalization of interval and circular-arc graphs: the class of $H$-graphs, for any fixed multigraph $H$. In particular, we research how the…

Computational Complexity · Computer Science 2025-10-27 Flavia Bonomo-Braberman , Nick Brettell , Noleen Köhler , Andrea Munaro , Daniël Paulusma

An instance of the graph-constrained max-cut (GCMC) problem consists of (i) an undirected graph G and (ii) edge-weights on a complete undirected graph on the same vertex set. The objective is to find a subset of vertices satisfying some…

Data Structures and Algorithms · Computer Science 2018-10-18 Jon Lee , Viswanath Nagarajan , Xiangkun Shen

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

Many recent works address the question of characterizing induced obstructions to bounded treewidth. In 2022, Lozin and Razgon completely answered this question for graph classes defined by finitely many forbidden induced subgraphs. Their…

A graph $H$ is an \emph{induced minor} of a graph $G$ if $H$ can be obtained from $G$ by a sequence of edge contractions and vertex deletions. Otherwise, $G$ is \emph{$H$-induced minor-free}. In this paper, we provide a different proof of…

Combinatorics · Mathematics 2026-01-19 Dibyayan Chakraborty

We develop a framework for applying treewidth-based dynamic programming on graphs with "hybrid structure", i.e., with parts that may not have small treewidth but instead possess other structural properties. Informally, this is achieved by…

Data Structures and Algorithms · Computer Science 2019-08-28 Eduard Eiben , Robert Ganian , Thekla Hamm , O-joung Kwon

For a well-studied family of domination-type problems, in bounded-treewidth graphs, we investigate whether it is possible to find faster algorithms. For sets $\sigma,\rho$ of non-negative integers, a $(\sigma,\rho)$-set of a graph $G$ is a…

Computational Complexity · Computer Science 2023-06-07 Jacob Focke , Dániel Marx , Fionn Mc Inerney , Daniel Neuen , Govind S. Sankar , Philipp Schepper , Philip Wellnitz

We characterize classes of graphs closed under taking vertex-minors and having no $P_n$ and no disjoint union of $n$ copies of the $1$-subdivision of $K_{1,n}$ for some $n$. Our characterization is described in terms of a tree of radius $2$…

Combinatorics · Mathematics 2021-01-19 O-joung Kwon , Sang-il Oum

We show that for every graph $H$, there is a hereditary weakly sparse graph class $\mathcal C_H$ of unbounded treewidth such that the $H$-free (i.e., excluding $H$ as an induced subgraph) graphs of $\mathcal C_H$ have bounded treewidth.…

Combinatorics · Mathematics 2025-04-02 Bogdan Alecu , Édouard Bonnet , Pedro Bureo Villafana , Nicolas Trotignon

We give an algorithm for finding the arboricity of a weighted, undirected graph, defined as the minimum number of spanning forests that cover all edges of the graph, in $\sqrt{n} m^{1+o(1)}$ time. This improves on the previous best bound of…

Data Structures and Algorithms · Computer Science 2025-07-22 Ruoxu Cen , Henry Fleischmann , George Z. Li , Jason Li , Debmalya Panigrahi

A variant of the Erd\H{o}s-S\'os conjecture, posed by Havet, Reed, Stein and Wood, states that every graph with minimum degree at least $\lfloor 2k/3 \rfloor$ and maximum degree at least $k$ contains a copy of every tree with $k$ edges.…

Combinatorics · Mathematics 2025-12-19 Alexey Pokrovskiy , Leo Versteegen , Ella Williams

We present an algorithm for min-cost flow in graphs with $n$ vertices and $m$ edges, given a tree decomposition of width $\tau$ and size $S$, and polynomially bounded, integral edge capacities and costs, running in…

Data Structures and Algorithms · Computer Science 2024-07-02 Sally Dong , Guanghao Ye

The twin-width of a graph measures its distance to co-graphs and generalizes classical width concepts such as tree-width or rank-width. Since its introduction in 2020 (Bonnet et. al. 2020), a mass of new results has appeared relating twin…

Combinatorics · Mathematics 2024-11-21 Irene Heinrich , Simon Raßmann

We investigate two recently introduced graph parameters, both of which measure the complexity of the tree decompositions of a given graph. Recall that the treewidth ${\rm tw}(G)$ of a graph $G$ measures the largest number of vertices…

Combinatorics · Mathematics 2026-01-21 Alex Koutsoutis , Kilian Krause , Chun-Hung Liu , Mirza Redzic , Torsten Ueckerdt

One of the major results of [N. Robertson and P. D. Seymour. Graph minors. XIII. The disjoint paths problem. J. Combin. Theory Ser. B, 63(1):65--110, 1995], also known as the weak structure theorem, revealed the local structure of graphs…

Combinatorics · Mathematics 2011-03-01 Archontia C. Giannopoulou , Dimitrios M. Thilikos

Inspired by a width invariant defined on permutations by Guillemot and Marx [SODA '14], we introduce the notion of twin-width on graphs and on matrices. Proper minor-closed classes, bounded rank-width graphs, map graphs, $K_t$-free unit…

Data Structures and Algorithms · Computer Science 2021-10-26 Édouard Bonnet , Eun Jung Kim , Stéphan Thomassé , Rémi Watrigant

We consider the max-cut and max-$k$-cut problems under graph-based constraints. Our approach can handle any constraint specified using monadic second-order (MSO) logic on graphs of constant treewidth. We give a $\frac{1}{2}$-approximation…

Computational Complexity · Computer Science 2018-10-19 Martin Koutecký , Jon Lee , Viswanath Nagarajan , Xiangkun Shen

A mixed dominating set for a graph $G = (V,E)$ is a set $S\subseteq V \cup E$ such that every element $x \in (V \cup E) \backslash S$ is either adjacent or incident to an element of $S$. The mixed domination number of a graph $G$, denoted…

Discrete Mathematics · Computer Science 2023-06-22 M. Rajaati , M. R. Hooshmandasl , M. J. Dinneen , A. Shakiba

Minimum Bisection denotes the NP-hard problem to partition the vertex set of a graph into two sets of equal sizes while minimizing the width of the bisection, which is defined as the number of edges between these two sets. We first consider…

Combinatorics · Mathematics 2017-08-23 Cristina G. Fernandes , Tina Janne Schmidt , Anusch Taraz

The vertex (resp. edge) metric dimension of a connected graph G; denoted by dim(G) (resp. edim(G)), is defined as the size of a smallest set S in V (G) which distinguishes all pairs of vertices (resp. edges) in G: Bounds dim(G) <=…

Combinatorics · Mathematics 2021-08-24 Jelena Sedlar , Riste Škrekovski