中文
相关论文

相关论文: Breaking the 2^n-Barrier for Irredundance: A Param…

200 篇论文

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…

计算几何 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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.…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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)…

离散数学 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

计算复杂性 · 计算机科学 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.,…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 2010-01-07 Frederic Dorn , Fedor V. Fomin , Daniel Lokshtanov , Venkatesh Raman , Saket Saurabh