English
Related papers

Related papers: Algorithmic Meta-Theorems for Graphs of Bounded Ve…

200 papers

It is known that problems like Vertex Cover, Feedback Vertex Set and Odd Cycle Transversal are polynomial time solvable in the class of chordal graphs. We consider these problems in a graph that has at most $k$ vertices whose deletion…

Data Structures and Algorithms · Computer Science 2020-02-25 Ashwin Jacob , Fahad Panolan , Venkatesh Raman , Vibha Sahlot

We consider combinatorial problems that can be solved in polynomial time for graphs of bounded treewidth but where the order of the polynomial that bounds the running time is expected to depend on the treewidth bound. First we review some…

Data Structures and Algorithms · Computer Science 2015-03-19 Stefan Szeider

Given a graph $G$, let $vc(G)$ and $vc^+(G)$ be the sizes of a minimum and a maximum minimal vertex covers of $G$, respectively. We say that $G$ is well covered if $vc(G)=vc^+(G)$ (that is, all minimal vertex covers have the same size).…

Data Structures and Algorithms · Computer Science 2023-06-22 Rafael Araujo , Eurinardo Costa , Sulamita Klein , Rudini Sampaio , Ueverton S. Souza

We consider the fundamental problems of determining the rooted and global edge and vertex connectivities (and computing the corresponding cuts) in directed graphs. For rooted (and hence also global) edge connectivity with small integer…

Data Structures and Algorithms · Computer Science 2021-04-16 Chandra Chekuri , Kent Quanrud

$H$-Packing is the problem of finding a maximum number of vertex-disjoint copies of $H$ in a given graph $G$. $H$-Partition is the special case of finding a set of vertex-disjoint copies that cover each vertex of $G$ exactly once. Our goal…

Data Structures and Algorithms · Computer Science 2025-09-09 Barış Can Esmer , Dániel Marx

We consider distributed model-checking of Monadic Second-Order logic (MSO) on graphs which constitute the topology of communication networks. The graph is thus both the structure being checked and the system on which the distributed…

Logic in Computer Science · Computer Science 2009-04-14 Stephane Grumbach , Zhilin Wu

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

Given a graph $G = (V, E)$ with $n$ vertices and $m$ edges, the DominatingSet problem asks for a set $D \subseteq V$ of minimal cardinality such that every vertex either is in $D$ or adjacent to a member of $D$. Although there is little…

Data Structures and Algorithms · Computer Science 2025-12-03 Lukas Geis , Alexander Leonhardt , Johannes Meintrup , Ulrich Meyer , Manuel Penschuck , Lukas Retschmeier

In this work, we prove a $\tilde{\Omega}(\lg^{3/2} n )$ unconditional lower bound on the maximum of the query time and update time for dynamic data structures supporting reachability queries in $n$-node directed acyclic graphs under edge…

Data Structures and Algorithms · Computer Science 2023-04-19 Kasper Green Larsen , Huacheng Yu

The maximum common subtree isomorphism problem asks for the largest possible isomorphism between subtrees of two given input trees. This problem is a natural restriction of the maximum common subgraph problem, which is ${\sf NP}$-hard in…

Data Structures and Algorithms · Computer Science 2016-08-23 Andre Droschinsky , Nils M. Kriege , Petra Mutzel

In this work we contribute to the study of the fine-grained complexity of problems parameterized by multi-clique-width, which was initiated by F\"urer [ITCS 2017] and pursued further by Chekan and Kratsch [MFCS 2023]. Multi-clique-width is…

Data Structures and Algorithms · Computer Science 2026-04-29 Benjamin Bergougnoux , Vera Chekan , Stefan Kratsch

Recently, Daligault, Rao and Thomass\'e asked in [3] if every hereditary class which is well-quasi-ordered by the induced subgraph relation is of bounded clique-width. There are two reasons why this questions is interesting. First, it…

Combinatorics · Mathematics 2015-08-26 Aistis Atminas , Vadim V. Lozin , Igor Razgon

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

We extend the notion of lossy kernelization, introduced by Lokshtanov et al. [STOC 2017], to approximate Turing kernelization. An $\alpha$-approximate Turing kernel for a parameterized optimization problem is a polynomial-time algorithm…

Data Structures and Algorithms · Computer Science 2020-04-28 Eva-Maria C. Hols , Stefan Kratsch , Astrid Pieterse

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ć

Transductions are a general formalism for expressing transformations of graphs (and more generally, of relational structures) in logic. We prove that a graph class $\mathscr{C}$ can be $\mathsf{FO}$-transduced from a class of bounded-height…

Combinatorics · Mathematics 2022-04-01 Michał Pilipczuk , Patrice Ossona de Mendez , Sebastian Siebertz

We study the dominating set problem in an online setting. An algorithm is required to guarantee competitiveness against an adversary that reveals the input graph one node at a time. When a node is revealed, the algorithm learns about the…

Data Structures and Algorithms · Computer Science 2021-05-04 Hovhannes Harutyunyan , Denis Pankratov , Jesse Racicot

The bandwidth of a $n$-vertex graph $G$ is the smallest integer $b$ such that there exists a bijective function $f : V(G) \rightarrow \{1,...,n\}$, called a layout of $G$, such that for every edge $uv \in E(G)$, $|f(u) - f(v)| \leq b$. In…

Data Structures and Algorithms · Computer Science 2014-05-01 Markus Sortland Dregi , Daniel Lokshtanov

We give an algorithmic and lower-bound framework that facilitates the construction of subexponential algorithms and matching conditional complexity bounds. It can be applied to intersection graphs of similarly-sized fat objects, yielding…

Computational Geometry · Computer Science 2020-12-18 Mark de Berg , Hans L. Bodlaender , Sándor Kisfaludi-Bak , Dániel Marx , Tom C. van der Zanden

We consider classes of arbitrary (finite or infinite) graphs of bounded shrub-depth, specifically the classes $\mathrm{TM}_r(d)$ of arbitrary graphs that have tree models of height $d$ and $r$ labels. We show that the graphs of…

Combinatorics · Mathematics 2022-02-15 Abhisekh Sankaran