English
Related papers

Related papers: Connectivity augmentation is fixed-parameter tract…

200 papers

Fixed-parameter tractable (FPT) algorithms have been successfully applied to many intractable problems -- with a focus on decision and optimization problems. Their aim is to confine the exponential explosion to some parameter, while the…

Computational Complexity · Computer Science 2026-01-08 Nadia Creignou , Timo Camillo Merkl , Reinhard Pichler , Daniel Unterberger

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

We study the linearizability monitoring problem, which asks whether a given concurrent history of a data structure is equivalent to some sequential execution of the same data structure. In general, this problem is $\textsf{NP}$-hard, even…

Programming Languages · Computer Science 2026-05-26 Lee Zheng Han , Umang Mathur

In the Telephone Broadcast problem we are given a graph $G=(V,E)$ with a designated source vertex $s\in V$. Our goal is to transmit a message, which is initially known only to $s$, to all vertices of the graph by using a process where in…

Data Structures and Algorithms · Computer Science 2025-04-21 Yudai Egami , Tatsuya Gima , Tesshu Hanaka , Yasuaki Kobayashi , Michael Lampis , Valia Mitsou , Edouard Nemery , Yota Otachi , Manolis Vasilakis , Daniel Vaz

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

Repair operators are often used for constraint handling in constrained combinatorial optimization. We investigate the (1+1)~EA equipped with a tailored jump-and-repair operation that can be used to probabilistically repair infeasible…

Neural and Evolutionary Computing · Computer Science 2023-01-24 Luke Branson , Andrew M. Sutton

We study {\sc Cluster Edge Modification} problems with constraints on the size of the clusters. A graph $G$ is a cluster graph if every connected component of $G$ is a clique. In a typical {\sc Cluster Edge Modification} problem such as the…

Data Structures and Algorithms · Computer Science 2024-09-05 Jayakrishnan Madathil , Kitty Meeks

Dynamic connectivity is a well-studied problem, but so far the most compelling progress has been confined to the edge-update model: maintain an understanding of connectivity in an undirected graph, subject to edge insertions and deletions.…

Data Structures and Algorithms · Computer Science 2008-08-11 Timothy M. Chan , Mihai Patrascu , Liam Roditty

A graph $G$ is called a \emph{block graph} if each maximal $2$-connected component of $G$ is a clique. In this paper we study the Block Graph Vertex Deletion from the perspective of fixed parameter tractable (FPT) and kernelization…

Data Structures and Algorithms · Computer Science 2015-10-29 Akanksha Agrawal , Sudeshna Kolay , Daniel Lokshtanov , Saket Saurabh

We consider the Shallow-Light Steiner Network problem from a fixed-parameter perspective. Given a graph $G$, a distance bound $L$, and $p$ pairs of vertices $(s_1,t_1),\cdots,(s_p,t_p)$, the objective is to find a minimum-cost subgraph $G'$…

Data Structures and Algorithms · Computer Science 2018-03-01 Amy Babay , Michael Dinitz , Zeyu Zhang

The paper deals with the Feedback Vertex Set problem parameterized by the solution size. Given a graph $G$ and a parameter $k$, one has to decide if there is a set $S$ of at most $k$ vertices such that $G-S$ is acyclic. Assuming the…

Data Structures and Algorithms · Computer Science 2026-01-16 Gaétan Berthe , Marin Bougeret , Daniel Gonçalves , Jean-Florent Raymond

We give an $\tilde{O}(m)$-time algorithm for the edge connectivity augmentation problem and the closely related edge splitting-off problem. This is optimal up to lower order terms and closes the long line of work on these problems.

Data Structures and Algorithms · Computer Science 2022-05-11 Ruoxu Cen , Jason Li , Debmalya Panigrahi

Grid graphs, and, more generally, $k\times r$ grid graphs, form one of the most basic classes of geometric graphs. Over the past few decades, a large body of works studied the (in)tractability of various computational problems on grid…

Data Structures and Algorithms · Computer Science 2021-07-01 Siddharth Gupta , Guy Sa'ar , Meirav Zehavi

We study graph connectivity problem in MPC model. On an undirected graph with $n$ nodes and $m$ edges, $O(\log n)$ round connectivity algorithms have been known for over 35 years. However, no algorithms with better complexity bounds were…

Data Structures and Algorithms · Computer Science 2018-05-09 Alexandr Andoni , Clifford Stein , Zhao Song , Zhengyu Wang , Peilin Zhong

We consider a generalized version of the (weighted) one-center problem on graphs. Given an undirected graph $G$ of $n$ vertices and $m$ edges and a positive integer $k\leq n$, the problem aims to find a point in $G$ so that the maximum…

Data Structures and Algorithms · Computer Science 2025-01-22 Jingru Zhang

For the well-known Survivable Network Design Problem (SNDP) we are given an undirected graph $G$ with edge costs, a set $R$ of terminal vertices, and an integer demand $d_{s,t}$ for every terminal pair $s,t\in R$. The task is to compute a…

Data Structures and Algorithms · Computer Science 2022-11-09 Andreas Emil Feldmann , Anish Mukherjee , Erik Jan van Leeuwen

In the classical partial vertex cover problem, we are given a graph $G$ and two positive integers $R$ and $L$. The goal is to check whether there is a subset $V'$ of $V$ of size at most $R$, such that $V'$ covers at least $L$ edges of $G$.…

Discrete Mathematics · Computer Science 2021-04-23 Vahan Mkrtchyan , Garik Petrosyan

We study two "above guarantee" versions of the classical Longest Path problem on undirected and directed graphs and obtain the following results. In the first variant of Longest Path that we study, called Longest Detour, the task is to…

Data Structures and Algorithms · Computer Science 2022-01-11 Fedor V. Fomin , Petr A. Golovach , William Lochet , Danil Sagunov , Kirill Simonov , Saket Saurabh

In this work, we study the Induced Matching problem: Given an undirected graph $G$ and an integer $\ell$, is there an induced matching $M$ of size at least $\ell$? An edge subset $M$ is an induced matching in $G$ if $M$ is a matching such…

Data Structures and Algorithms · Computer Science 2022-12-29 Tomohiro Koana

The Secluded Path problem models a situation where a sensitive information has to be transmitted between a pair of nodes along a path in a network. The measure of the quality of a selected path is its exposure, which is the total weight of…

Data Structures and Algorithms · Computer Science 2015-04-22 Fedor V. Fomin , Petr A. Golovach , Nikolay Karpov , Alexander S. Kulikov