English
Related papers

Related papers: Enumeration of Minimal Hitting Sets Parameterized …

200 papers

We study the complexity of a generic hitting problem H-Subgraph Hitting, where given a fixed pattern graph $H$ and an input graph $G$, the task is to find a set $X \subseteq V(G)$ of minimum size that hits all subgraphs of $G$ isomorphic to…

Data Structures and Algorithms · Computer Science 2014-11-18 Marek Cygan , Dániel Marx , Marcin Pilipczuk , Michał Pilipczuk

A mixed dominating set is a collection of vertices and edges that dominates all vertices and edges of a graph. We study the complexity of exact and parameterized algorithms for \textsc{Mixed Dominating Set}, resolving some open questions.…

Data Structures and Algorithms · Computer Science 2023-06-22 Louis Dublois , Michael Lampis , Vangelis Th. Paschos

Given a graph $G = (V,E)$, a threshold function $t~ :~ V \rightarrow \mathbb{N}$ and an integer $k$, we study the Harmless Set problem, where the goal is to find a subset of vertices $S \subseteq V$ of size at least $k$ such that every…

Computational Complexity · Computer Science 2022-01-27 Ajinkya Gaikwad , Soumen Maity

For a finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION problem consists in, given a graph $G$ and an integer $k$, decide whether there exists $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain…

Data Structures and Algorithms · Computer Science 2021-03-12 Julien Baste , Ignasi Sau , Dimitrios M. Thilikos

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

We give alternative definitions for maximum matching width, e.g. a graph $G$ has $\operatorname{mmw}(G) \leq k$ if and only if it is a subgraph of a chordal graph $H$ and for every maximal clique $X$ of $H$ there exists $A,B,C \subseteq X$…

Data Structures and Algorithms · Computer Science 2015-07-10 Jisu Jeong , Sigve Hortemo Sæther , Jan Arne Telle

We give an algorithm that for an input n-vertex graph G and integer k>0, in time 2^[O(k)]n either outputs that the treewidth of G is larger than k, or gives a tree decomposition of G of width at most 5k+4. This is the first algorithm…

Data Structures and Algorithms · Computer Science 2013-04-24 Hans Bodlaender , Pål G. Drange , Markus S. Dregi , Fedor V. Fomin , Daniel Lokshtanov , Michał Pilipczuk

Bounded treewidth is one of the most cited combinatorial invariants, which was applied in the literature for solving several counting problems efficiently. A canonical counting problem is #SAT, which asks to count the satisfying assignments…

Artificial Intelligence · Computer Science 2023-06-22 Johannes K. Fichte , Markus Hecher , Patrick Thier , Stefan Woltran

A large number of NP-hard graph problems can be solved in $f(w)n^{O(1)}$ time and space when the input graph is provided together with a tree decomposition of width $w$, in many cases with a modest exponential dependence $f(w)$ on $w$.…

Data Structures and Algorithms · Computer Science 2026-03-26 Stefan Kratsch

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

A tree decomposition of a graph facilitates computations by grouping vertices into bags that are interconnected in an acyclic structure, hence their importance in a plethora of problems such as query evaluation over databases and inference…

Data Structures and Algorithms · Computer Science 2018-10-09 Noam Ravid , Dori Medini , Benny Kimelfeld

We obtain structure theorems for graphs excluding a fan (a path with a universal vertex) or a dipole ($K_{2,k}$) as a topological minor. The corresponding decompositions can be computed in FPT linear time. This is motivated by the study of…

Discrete Mathematics · Computer Science 2025-02-18 Hugo Jacob , William Lochet , Christophe Paul

Dynamic programming on various graph decompositions is one of the most fundamental techniques used in parameterized complexity. Unfortunately, even if we consider concepts as simple as path or tree decompositions, such dynamic programming…

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

For an arbitrary undirected simple graph G with m edges, we give an algorithm with running time O(m^4 |L|^2) to generate the set L of all minimal edge dominating sets of G. For bipartite graphs we obtain a better result; we show that their…

Data Structures and Algorithms · Computer Science 2012-10-24 Petr A. Golovach , Pinar Heggernes , Dieter Kratsch , Yngve Villanger

We study the problem of low-stretch spanning trees in graphs of bounded width: bandwidth, cutwidth, and treewidth. We show that any simple connected graph $G$ with a linear arrangement of bandwidth $b$ can be embedded into a distribution…

Data Structures and Algorithms · Computer Science 2020-04-20 Glencora Borradaile , Erin Wolf Chambers , David Eppstein , William Maxwell , Amir Nayyeri

We consider global problems, i.e. problems that take at least diameter time, even when the bandwidth is not restricted. We show that all problems considered admit efficient solutions in low-treewidth graphs. By ``efficient'' we mean that…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-31 Taisuke Izumi , Naoki Kitamura , Takamasa Naruse , Gregory Schwartzman

In this paper we study a scheduling problem arising from executing numerical simulations on HPC architectures. With a constant number of parallel machines, the objective is to minimize the makespan under memory constraints for the machines.…

Data Structures and Algorithms · Computer Science 2022-02-18 Eric Angel , Sébastien Morais , Damien Regnault

Parameterized algorithms are a way to solve hard problems more efficiently, given that a specific parameter of the input is small. In this paper, we apply this idea to the field of answer set programming (ASP). To this end, we propose two…

Logic in Computer Science · Computer Science 2017-02-10 Johannes Fichte , Markus Hecher , Michael Morak , Stefan Woltran

In this paper, we present a Branch and Bound algorithm called QuickBB for computing the treewidth of an undirected graph. This algorithm performs a search in the space of perfect elimination ordering of vertices of the graph. The algorithm…

Data Structures and Algorithms · Computer Science 2012-07-19 Vibhav Gogate , Rina Dechter