English
Related papers

Related papers: Designing Deterministic Polynomial-Space Algorithm…

200 papers

We consider a class of pattern matching problems where a normalising transformation is applied at every alignment. Normalised pattern matching plays a key role in fields as diverse as image processing and musical information processing…

Data Structures and Algorithms · Computer Science 2015-03-19 Ayelet Butman , Peter Clifford , Raphael Clifford , Markus Jalsenius , Noa Lewenstein , Benny Porat , Ely Porat , Benjamin Sach

We introduce a general approach for solving partition problems where the goal is to represent a given set as a union (either disjoint or not) of subsets satisfying certain properties. Many NP-hard problems can be naturally stated as such…

Data Structures and Algorithms · Computer Science 2014-10-13 Alexander Golovnev , Alexander S. Kulikov , Ivan Mihajlin

We consider the k-strong conflict-free coloring of a set of points on a line with respect to a family of intervals: Each point on the line must be assigned a color so that the coloring has to be conflict-free, in the sense that in every…

Data Structures and Algorithms · Computer Science 2015-03-20 Luisa Gargano , Adele A. Rescigno

In this paper we study polynomial identity testing of sums of $k$ read-once algebraic branching programs ($\Sigma_k$-RO-ABPs), generalizing the work in (Shpilka and Volkovich 2008,2009), who considered sums of $k$ read-once formulas…

Computational Complexity · Computer Science 2009-12-15 Maurice Jansen , Youming Qiao , Jayalal Sarma

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

We present a faster symbolic algorithm for the following central problem in probabilistic verification: Compute the maximal end-component (MEC) decomposition of Markov decision processes (MDPs). This problem generalizes the SCC…

Logic in Computer Science · Computer Science 2021-04-16 Krishnendu Chatterjee , Wolfgang Dvořák , Monika Henzinger , Alexander Svozil

In this paper, we consider tree decompositions, branch decompositions, and clique decompositions. We improve the running time of dynamic programming algorithms on these graph decompositions for a large number of problems as a function of…

Data Structures and Algorithms · Computer Science 2018-06-06 Johan M. M. van Rooij , Hans L. Bodlaender , Erik Jan van Leeuwen , Peter Rossmanith , Martin Vatshelle

The metric $k$-median problem is a textbook clustering problem. As input, we are given a metric space $V$ of size $n$ and an integer $k$, and our task is to find a subset $S \subseteq V$ of at most $k$ `centers' that minimizes the total…

Data Structures and Algorithms · Computer Science 2026-03-31 Martín Costa , Ermiya Farokhnejad

Let $n$ be the size of a parameterized problem and $k$ the parameter. We present kernels for Feedback Vertex Set, Path Contraction and Cluster Editing/Deletion whose sizes are all polynomial in $k$ and that are computable in polynomial time…

Data Structures and Algorithms · Computer Science 2024-02-21 Frank Kammer , Andrej Sajenko

The last five years of research on distributed graph algorithms have seen huge leaps of progress, both regarding algorithmic improvements and impossibility results: new strong lower bounds have emerged for many central problems and…

Data Structures and Algorithms · Computer Science 2025-01-08 Sebastian Brandt , Yannic Maus , Ananth Narayanan , Florian Schager , Jara Uitto

The Exact Matching (EM) problem asks whether there exists a perfect matching which uses a prescribed number of red edges in a red/blue edge-colored graph. While there exists a randomized polynomial-time algorithm for the problem, only some…

Data Structures and Algorithms · Computer Science 2025-10-15 Nicolas El Maalouly , Kostas Lakis

An unweighted, undirected graph $G$ on $n$ nodes is said to have \emph{bandwidth} at most $k$ if its nodes can be labelled from $0$ to $n - 1$ such that no two adjacent nodes have labels that differ by more than $k$. It is known that one…

Data Structures and Algorithms · Computer Science 2026-02-03 Luis M. B. Varona

For interior-point algorithms in linear programming, it is well-known that the selection of the centering parameter is crucial for proving polynomility in theory and for efficiency in practice. However, the selection of the centering…

Optimization and Control · Mathematics 2021-10-05 Yaguang Yang

We propose a new class of space-time block codes based on finite-field rank-metric codes in combination with a rank-metric-preserving mapping to the set of Eisenstein integers. It is shown that these codes achieve maximum diversity order…

Information Theory · Computer Science 2017-05-30 Sven Puchinger , Sebastian Stern , Martin Bossert , Robert F. H. Fischer

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

In this paper we initiate a systematic study of exact algorithms for well-known clustering problems, namely $k$-Median and $k$-Means. In $k$-Median, the input consists of a set $X$ of $n$ points belonging to a metric space, and the task is…

Data Structures and Algorithms · Computer Science 2022-08-16 Fedor V. Fomin , Petr A. Golovach , Tanmay Inamdar , Nidhi Purohit , Saket Saurabh

The importance of classifying connections in large graphs has been the motivation for a rich line of work on distributed subgraph finding that has led to exciting recent breakthroughs. A crucial aspect that remained open was whether…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-09-27 Keren Censor-Hillel , Dean Leitersdorf , David Vulakh

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

We give algorithms with running time $2^{O({\sqrt{k}\log{k}})} \cdot n^{O(1)}$ for the following problems. Given an $n$-vertex unit disk graph $G$ and an integer $k$, decide whether $G$ contains (1) a path on exactly/at least $k$ vertices,…

Data Structures and Algorithms · Computer Science 2017-04-25 Fedor V. Fomin , Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Meirav Zehavi

We study a natural variant of scheduling that we call \emph{partial scheduling}: In this variant an instance of a scheduling problem along with an integer $k$ is given and one seeks an optimal schedule where not all, but only $k$ jobs, have…

Data Structures and Algorithms · Computer Science 2020-10-02 Jesper Nederlof , Céline Swennenhuis
‹ Prev 1 4 5 6 7 8 10 Next ›