English
Related papers

Related papers: Dynamic Parameterized Problems and Algorithms

200 papers

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

The classic technique of Baker [J. ACM '94] is the most fundamental approach for designing approximation schemes on planar, or more generally topologically-constrained graphs, and it has been applied in a myriad of different variants and…

Data Structures and Algorithms · Computer Science 2023-11-01 Tuukka Korhonen , Wojciech Nadara , Michał Pilipczuk , Marek Sokołowski

We initiate the study of approximate maximum matching in the vertex partition model, for graphs subject to dynamic changes. We assume that the $n$ vertices of the graph are partitioned among $k$ players, who execute a distributed algorithm…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-01 Peter Robinson , Xianbin Zhu

The Subset Feedback Vertex Set problem generalizes the classical Feedback Vertex Set problem and asks, for a given undirected graph $G=(V,E)$, a set $S \subseteq V$, and an integer $k$, whether there exists a set $X$ of at most $k$ vertices…

Data Structures and Algorithms · Computer Science 2015-12-09 Eva-Maria C. Hols , Stefan Kratsch

The maximum matching problem in dynamic graphs subject to edge updates (insertions and deletions) has received much attention over the last few years; a multitude of approximation/time tradeoffs were obtained, improving upon the folklore…

Data Structures and Algorithms · Computer Science 2021-11-30 Mohammad Roghani , Amin Saberi , David Wajc

A kernelization algorithm for a computational problem is a procedure which compresses an instance into an equivalent instance whose size is bounded with respect to a complexity parameter. For the Boolean satisfiability problem (SAT), and…

Computational Complexity · Computer Science 2017-06-20 Victor Lagerkvist , Magnus Wahlström

An enumeration kernel as defined by Creignou et al. [Theory Comput. Syst. 2017] for a parameterized enumeration problem consists of an algorithm that transforms each instance into one whose size is bounded by the parameter plus a…

Data Structures and Algorithms · Computer Science 2021-01-12 Petr A. Golovach , Christian Komusiewicz , Dieter Kratsch , Van Bang Le

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

We study the \textsc{Labeled Contractibility} problem, where the input consists of two vertex-labeled graphs $G$ and $H$, and the goal is to determine whether $H$ can be obtained from $G$ via a sequence of edge contractions. Lafond and…

Data Structures and Algorithms · Computer Science 2026-02-12 Yashaswini Mathur , Prafullkumar Tale

Many learning algorithms are formulated in terms of finding model parameters which minimize a data-fitting loss function plus a regularizer. When the regularizer involves the l0 pseudo-norm, the resulting regularization path consists of a…

Machine Learning · Computer Science 2020-03-06 Toby Hocking , Joseph Vargovich

Many well-known NP-hard algorithmic problems on directed graphs resist efficient parametrisations with most known width measures for directed graphs, such as directed treewidth, DAG-width, Kelly-width and many others. While these focus on…

Discrete Mathematics · Computer Science 2019-05-31 Raphael Steiner , Sebastian Wiederrecht

A maximal matching can be maintained in fully dynamic (supporting both addition and deletion of edges) $n$-vertex graphs using a trivial deterministic algorithm with a worst-case update time of O(n). No deterministic algorithm that…

Data Structures and Algorithms · Computer Science 2013-02-19 Ofer Neiman , Shay Solomon

A graph is geometric 1-planar if it admits a straight-line drawing where each edge is crossed at most once. We provide the first systematic study of the parameterized complexity of recognizing geometric 1-planar graphs. By substantially…

Computational Complexity · Computer Science 2026-02-11 Alexander Firbas

In this work, we initiate the complexity study of Biclique Contraction and Balanced Biclique Contraction. In these problems, given as input a graph G and an integer k, the objective is to determine whether one can contract at most k edges…

Data Structures and Algorithms · Computer Science 2026-01-15 R. Krithika , V. K. Kutty Malu , Roohani Sharma , Prafullkumar Tale

We study a broad class of graph partitioning problems, where each problem is specified by a graph $G=(V,E)$, and parameters $k$ and $p$. We seek a subset $U\subseteq V$ of size $k$, such that $\alpha_1m_1 + \alpha_2m_2$ is at most (or at…

Data Structures and Algorithms · Computer Science 2014-03-04 Hadas Shachnai , Meirav Zehavi

Given a graph G, a matching is a subset of edges of G that do not share an endpoint. A matching M is uniquely restricted if the subgraph induced by the endpoints of the edges of M has exactly one perfect matching. Given a graph G and a…

Data Structures and Algorithms · Computer Science 2025-08-19 Juhi Chaudhary , Ignasi Sau , Meirav Zehavi

We investigate whether kernelization results can be obtained if we restrict kernelization algorithms to run in logarithmic space. This restriction for kernelization is motivated by the question of what results are attainable for…

Data Structures and Algorithms · Computer Science 2015-05-01 Stefan Fafianie , Stefan Kratsch

Research of cycles through specific vertices is a central topic in graph theory. In this context, we focus on a well-studied computational problem, \textsc{$T$-Cycle}: given an undirected $n$-vertex graph $G$ and a set of $k$ vertices…

Data Structures and Algorithms · Computer Science 2025-04-29 Harmender Gahlawat , Abhishek Rathod , Meirav Zehavi

The independent set problem is NP-hard and particularly difficult to solve in large sparse graphs. In this work, we develop an advanced evolutionary algorithm, which incorporates kernelization techniques to compute large independent sets in…

Data Structures and Algorithms · Computer Science 2015-09-03 Sebastian Lamm , Peter Sanders , Christian Schulz , Darren Strash , Renato F. Werneck

It has long been known that Feedback Vertex Set can be solved in time $2^{\mathcal{O}(w\log w)}n^{\mathcal{O}(1)}$ on $n$-vertex graphs of treewidth $w$, but it was only recently that this running time was improved to…

Data Structures and Algorithms · Computer Science 2021-08-27 Édouard Bonnet , Nick Brettell , O-joung Kwon , Dániel Marx