English
Related papers

Related papers: Breaking the 2^n-Barrier for Irredundance: A Param…

200 papers

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

The 3-domatic number problem asks whether a given graph can be partitioned intothree dominating sets. We prove that this problem can be solved by a deterministic algorithm in time 2.695^n (up to polynomial factors). This result improves the…

Computational Complexity · Computer Science 2007-05-23 Tobias Riege , Jörg Rothe , Holger Spakowski , Masaki Yamamoto

We develop efficient parameterized, with additive error, approximation algorithms for the (Connected) $r$-Domination problem and the (Connected) $p$-Center problem for unweighted and undirected graphs. Given a graph $G$, we show how to…

Data Structures and Algorithms · Computer Science 2017-06-26 Arne Leitert , Feodor F. Dragan

We study the influence of a graph parameter called modular-width on the time complexity for optimally solving well-known polynomial problems such as Maximum Matching, Triangle Counting, and Maximum $s$-$t$ Vertex-Capacitated Flow. The…

Data Structures and Algorithms · Computer Science 2018-04-27 Stefan Kratsch , Florian Nelles

The previously fastest algorithm for deciding the existence of an independent cut had a runtime of $\mathcal{O}^*(1.4423^n)$, where $n$ is the order of the input graph. We improve this to $\mathcal{O}^*(1.4143^n)$. In fact, we prove a…

Data Structures and Algorithms · Computer Science 2025-05-22 Vsevolod Chernyshev , Johannes Rauch , Dieter Rautenbach , Liliia Redina

We consider the NP-hard problem of finding a spanning tree with a maximum number of internal vertices. This problem is a generalization of the famous Hamiltonian Path problem. Our dynamic-programming algorithms for general and…

Data Structures and Algorithms · Computer Science 2009-06-12 Henning Fernau , Serge Gaspers , Daniel Raible

We prove the following theorem. Given a planar graph $G$ and an integer $k$, it is possible in polynomial time to randomly sample a subset $A$ of vertices of $G$ with the following properties: (i) $A$ induces a subgraph of $G$ of treewidth…

Data Structures and Algorithms · Computer Science 2016-04-21 Fedor V. Fomin , Daniel Lokshtanov , Dániel Marx , Marcin Pilipczuk , Michał Pilipczuk , Saket Saurabh

We provide a number of algorithmic results for the following family of problems: For a given binary m\times n matrix A and integer k, decide whether there is a "simple" binary matrix B which differs from A in at most k entries. For an…

Data Structures and Algorithms · Computer Science 2018-03-19 Fedor V. Fomin , Petr A. Golovach , Fahad Panolan

Let ${\cal G}$ be a minor-closed graph class and let $G$ be an $n$-vertex graph. We say that $G$ is a $k$-apex of ${\cal G}$ if $G$ contains a set $S$ of at most $k$ vertices such that $G\setminus S$ belongs to ${\cal G}$. Our first result…

Data Structures and Algorithms · Computer Science 2024-08-14 Laure Morelle , Ignasi Sau , Giannos Stamoulis , Dimitrios M. Thilikos

For any $\varepsilon > 0$, we give a polynomial-time $n^\varepsilon$-approximation algorithm for Max Independent Set in graphs of bounded twin-width given with an $O(1)$-sequence. This result is derived from the following time-approximation…

Data Structures and Algorithms · Computer Science 2022-09-27 Pierre Bergé , Édouard Bonnet , Hugues Déprés , Rémi Watrigant

In a graph $G$, a vertex subset $S\subseteq V(G)$ is said to be a dominating set of $G$ if every vertex not in $S$ is adjacent to a vertex in $S$. A dominating set $S$ of a graph $G$ is called a paired-dominating set if the induced subgraph…

Data Structures and Algorithms · Computer Science 2014-01-30 Ching-Chi Lin , Hai-Lun Tu

We design the first subexponential-time (parameterized) algorithms for several cut and cycle-hitting problems on $H$-minor free graphs. In particular, we obtain the following results (where $k$ is the solution-size parameter). 1.…

Data Structures and Algorithms · Computer Science 2022-07-05 Sayan Bandyapadhyay , William Lochet , Daniel Lokshtanov , Saket Saurabh , Jie Xue

We show a method resulting in the improvement of several polynomial-space, exponential-time algorithms. An instance of the problem Max (r,2)-CSP, or simply Max 2-CSP, is parametrized by the domain size r (often 2), the number of variables n…

Data Structures and Algorithms · Computer Science 2017-11-20 Serge Gaspers , Gregory B. Sorkin

We show that there is no $2^{o(k^2)} n^{O(1)}$ time algorithm for Independent Set on $n$-vertex graphs with rank-width $k$, unless the Exponential Time Hypothesis (ETH) fails. Our lower bound matches the $2^{O(k^2)} n^{O(1)}$ time algorithm…

Data Structures and Algorithms · Computer Science 2022-12-09 Benjamin Bergougnoux , Tuukka Korhonen , Jesper Nederlof

An edge dominating set of a graph G=(V,E) is a subset M of edges in the graph such that each edge in E-M is incident with at least one edge in M. In an instance of the parameterized edge dominating set problem we are given a graph G=(V,E)…

Discrete Mathematics · Computer Science 2011-04-22 Mingyu Xiao , Ton Kloks , Sheung-Hung Poon

We give a fixed-parameter tractable algorithm that, given a parameter $k$ and two graphs $G_1,G_2$, either concludes that one of these graphs has treewidth at least $k$, or determines whether $G_1$ and $G_2$ are isomorphic. The running time…

Data Structures and Algorithms · Computer Science 2014-12-11 Daniel Lokshtanov , Marcin Pilipczuk , Michał Pilipczuk , Saket Saurabh

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

In the Edge Bipartization problem one is given an undirected graph $G$ and an integer $k$, and the question is whether $k$ edges can be deleted from $G$ so that it becomes bipartite. In 2006, Guo et al. [J. Comput. Syst. Sci.,…

Data Structures and Algorithms · Computer Science 2017-03-29 Marcin Pilipczuk , Michał Pilipczuk , Marcin Wrochna

We present an algorithm that takes as input an $n$-vertex planar graph $G$ and a $k$-vertex pattern graph $P$, and computes the number of (induced) copies of $P$ in $G$ in $2^{O(k/\log k)}n^{O(1)}$ time. If $P$ is a matching, independent…

Data Structures and Algorithms · Computer Science 2019-04-26 Jesper Nederlof

We develop two different methods to achieve subexponential time parameterized algorithms for problems on sparse directed graphs. We exemplify our approaches with two well studied problems. For the first problem, {\sc $k$-Leaf…

Data Structures and Algorithms · Computer Science 2010-01-07 Frederic Dorn , Fedor V. Fomin , Daniel Lokshtanov , Venkatesh Raman , Saket Saurabh