English
Related papers

Related papers: Space-Efficient FPT Algorithms

200 papers

We study "space efficient" FPT algorithms for graph problems with limited memory. Let n be the size of the input graph and k be the parameter. We present algorithms that run in time f(k)*poly(n) and use g(k)*polylog(n) working space, where…

Data Structures and Algorithms · Computer Science 2025-12-16 Sheikh Shakil Akhtar , Pranabendu Misra , Geevarghese Philip

Let XNLP be the class of parameterized problems such that an instance of size n with parameter k can be solved nondeterministically in time $f(k)n^{O(1)}$ and space $f(k)\log(n)$ (for some computable function f). We give a wide variety of…

Computational Complexity · Computer Science 2023-10-24 Hans L. Bodlaender , Carla Groenland , Jesper Nederlof , Céline M. F. Swennenhuis

In this paper, we introduce a new class of parameterized problems, which we call XALP: the class of all parameterized problems that can be solved in $f(k)n^{O(1)}$ time and $f(k)\log n$ space on a non-deterministic Turing Machine with…

Computational Complexity · Computer Science 2024-01-22 Hans L. Bodlaender , Carla Groenland , Hugo Jacob , Marcin Pilipczuk , Michał Pilipczuk

In the area of parameterized complexity, to cope with NP-Hard problems, we introduce a parameter k besides the input size n, and we aim to design algorithms (called FPT algorithms) that run in O(f(k)n^d) time for some function f(k) and…

Data Structures and Algorithms · Computer Science 2013-07-19 Yoichi Iwata , Keigo Oka , Yuichi Yoshida

We study the parameterized complexity of various classic vertex-deletion problems such as Odd cycle transversal, Vertex planarization, and Chordal vertex deletion under hybrid parameterizations. Existing FPT algorithms for these problems…

Data Structures and Algorithms · Computer Science 2022-07-19 Bart M. P. Jansen , Jari J. H. de Kroon , Michał Włodarczyk

We discuss approximability and inapproximability in FPT-time for a large class of subset problems where a feasible solution $S$ is a subset of the input data and the value of $S$ is $|S|$. The class handled encompasses many well-known…

Computational Complexity · Computer Science 2013-10-22 Edouard Bonnet , Vangelis Th. Paschos

Many NP-hard problems, such as Dominating Set, are FPT parameterized by clique-width. For graphs of clique-width $k$ given with a $k$-expression, Dominating Set can be solved in $4^k n^{O(1)}$ time. However, no FPT algorithm is known for…

Discrete Mathematics · Computer Science 2015-01-05 Sang-il Oum , Sigve Hortemo Sæther , Martin Vatshelle

The class XNLP consists of (parameterized) problems that can be solved nondeterministically in $f(k)n^{O(1)}$ time and $f(k)\log n$ space, where $n$ is the size of the input instance and $k$ the parameter. The class XALP consists of…

Computational Complexity · Computer Science 2025-01-09 Hans L. Bodlaender , Krisztina Szilágyi

This paper deals with the complexity of some natural graph problems when parametrized by {measures that are restrictions of} clique-width, such as modular-width and neighborhood diversity. The main contribution of this paper is to introduce…

Computational Complexity · Computer Science 2020-02-03 Gennaro Cordasco , Luisa Gargano , Adele Anna Rescigno

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

Parallel parameterized complexity theory studies how fixed-parameter tractable (fpt) problems can be solved in parallel. Previous theoretical work focused on parallel algorithms that are very fast in principle, but did not take into account…

Data Structures and Algorithms · Computer Science 2019-02-21 Max Bannach , Malte Skambath , Till Tantau

Many problems are NP-hard and, unless P = NP, do not admit polynomial-time exact algorithms. The fastest known exact algorithms exactly usually take time exponential in the input size. Much research effort has gone into obtaining faster…

Data Structures and Algorithms · Computer Science 2025-01-27 Stefan Kratsch , Pascal Kunz

We study the parameterized complexity of algorithmic problems whose input is an integer set $A$ in terms of the doubling constant $C := |A + A|/|A|$, a fundamental measure of additive structure. We present evidence that this new…

Data Structures and Algorithms · Computer Science 2024-07-26 Tim Randolph , Karol Węgrzycki

Deletion problems are those where given a graph $G$ and a graph property $\pi$, the goal is to find a subset of edges such that after its removal the graph $G$ will satisfy the property $\pi$. Typically, we want to minimize the number of…

Data Structures and Algorithms · Computer Science 2022-03-17 Tomáš Masařík , Tomáš Toufar

The lower and the upper irredundance numbers of a graph $G$, denoted $ir(G)$ and $IR(G)$ respectively, are conceptually linked to domination and independence numbers and have numerous relations to other graph parameters. It is a…

We introduce a general method for obtaining fixed-parameter algorithms for problems about finding paths in undirected graphs, where the length of the path could be unbounded in the parameter. The first application of our method is as…

Data Structures and Algorithms · Computer Science 2022-07-18 Fedor V. Fomin , Petr A. Golovach , Tuukka Korhonen , Kirill Simonov , Giannos Stamoulis

The parameterized complexity of a problem is considered "settled" once it has been shown to lie in FPT or to be complete for a class in the W-hierarchy or a similar parameterized hierarchy. Several natural parameterized problems have,…

Computational Complexity · Computer Science 2013-08-14 Christoph Stockhusen , Till Tantau

In the Vertex Cover problem we are given a graph $G=(V,E)$ and an integer $k$ and have to determine whether there is a set $X\subseteq V$ of size at most $k$ such that each edge in $E$ has at least one endpoint in $X$. The problem can be…

Data Structures and Algorithms · Computer Science 2016-11-22 Stefan Kratsch

Powerful results from the theory of integer programming have recently led to substantial advances in parameterized complexity. However, our perception is that, except for Lenstra's algorithm for solving integer linear programming in fixed…

Data Structures and Algorithms · Computer Science 2018-10-26 Tomáš Gavenčiak , Dušan Knop , Martin Koutecký

The Max-Cut problem is known to be NP-hard on general graphs, while it can be solved in polynomial time on planar graphs. In this paper, we present a fixed-parameter tractable algorithm for the problem on `almost' planar graphs: Given an…

Data Structures and Algorithms · Computer Science 2019-05-27 Yasuaki Kobayashi , Yusuke Kobayashi , Shuichi Miyazaki , Suguru Tamaki
‹ Prev 1 2 3 10 Next ›