English
Related papers

Related papers: On the Parameterized Complexity of Reconfiguration…

200 papers

Subgraph reconfiguration is a family of problems focusing on the reachability of the solution space in which feasible solutions are subgraphs, represented either as sets of vertices or sets of edges, satisfying a prescribed graph structure…

Data Structures and Algorithms · Computer Science 2018-03-19 Tesshu Hanaka , Takehiro Ito , Haruka Mizuta , Benjamin Moore , Naomi Nishimura , Vijay Subramanya , Akira Suzuki , Krishna Vaidyanathan

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

We carry out a systematic study of a natural covering problem, used for identification across several areas, in the realm of parameterized complexity. In the {\sc Test Cover} problem we are given a set $[n]=\{1,...,n\}$ of items together…

Data Structures and Algorithms · Computer Science 2012-12-04 R. Crowston , G. Gutin , M. Jones , S. Saurabh , A. Yeo

Graph constraint logic is a framework introduced by Hearn and Demaine, which provides several problems that are often a convenient starting point for reductions. We study the parameterized complexity of Constraint Graph Satisfiability and…

Computational Complexity · Computer Science 2015-09-10 Tom C. van der Zanden

Suppose that we are given two dominating sets $D_s$ and $D_t$ of a graph $G$ whose cardinalities are at most a given threshold $k$. Then, we are asked whether there exists a sequence of dominating sets of $G$ between $D_s$ and $D_t$ such…

Discrete Mathematics · Computer Science 2015-03-04 Arash Haddadan , Takehiro Ito , Amer E. Mouawad , Naomi Nishimura , Hirotaka Ono , Akira Suzuki , Youcef Tebbal

For a family of graphs $\cal F$, the $\mathcal{F}$-Contraction problem takes as an input a graph $G$ and an integer $k$, and the goal is to decide if there exists $S \subseteq E(G)$ of size at most $k$ such that $G/S$ belongs to $\cal F$.…

Data Structures and Algorithms · Computer Science 2017-08-03 Akanksha Agrawal , Saket Saurabh , Prafullkumar Tale

Parameterized complexity attempts to give a more fine-grained analysis of the complexity of problems: instead of measuring the running time as a function of only the input size, we analyze the running time with respect to additional…

Data Structures and Algorithms · Computer Science 2019-11-22 Rajesh Chitnis , Graham Cormode

Combinatorial reconfiguration is a growing research field studying problems on the transformability between a pair of solutions of a search problem. We consider the approximability of optimization variants of reconfiguration problems; e.g.,…

Discrete Mathematics · Computer Science 2025-01-07 Naoto Ohsaka

We study the problem Symmetric Directed Multicut from a parameterized complexity perspective. In this problem, the input is a digraph $D$, a set of cut requests $C=\{(s_1,t_1),\ldots,(s_\ell,t_\ell)\}$ and an integer $k$, and the task is to…

Data Structures and Algorithms · Computer Science 2022-08-22 Eduard Eiben , Clément Rambaud , Magnus Wahlström

Shifted combinatorial optimization is a new nonlinear optimization framework which is a broad extension of standard combinatorial optimization, involving the choice of several feasible solutions at a time. This framework captures well…

Computational Complexity · Computer Science 2021-02-25 Jakub Gajarský , Petr Hliněný , Martin Koutecký , Shmuel Onn

For many constraint satisfaction problems, the algorithm which chooses a random assignment achieves the best possible approximation ratio. For instance, a simple random assignment for {\sc Max-E3-Sat} allows 7/8-approximation and for every…

Data Structures and Algorithms · Computer Science 2011-10-17 Eun Jung Kim , Ryan Williams

Fixed-parameter algorithms and kernelization are two powerful methods to solve $\mathsf{NP}$-hard problems. Yet, so far those algorithms have been largely restricted to static inputs. In this paper we provide fixed-parameter algorithms and…

Data Structures and Algorithms · Computer Science 2017-07-04 Josh Alman , Matthias Mnich , Virginia Vassilevska Williams

We study reconfiguration problems for cliques in a graph, which determine whether there exists a sequence of cliques that transforms a given clique into another one in a step-by-step fashion. As one step of a transformation, we consider…

Data Structures and Algorithms · Computer Science 2014-12-15 Takehiro Ito , Hirotaka Ono , Yota Otachi

Hitting Set is a classic problem in combinatorial optimization. Its input consists of a set system F over a finite universe U and an integer t; the question is whether there is a set of t elements that intersects every set in F. The Hitting…

Data Structures and Algorithms · Computer Science 2015-07-27 Bart M. P. Jansen

A vertex set $S$ of a graph $G$ is geodetic if every vertex of $G$ lies on a shortest path between two vertices in $S$. Given a graph $G$ and $k \in \mathbb N$, the NP-hard Geodetic Set problem asks whether there is a geodetic set of size…

Data Structures and Algorithms · Computer Science 2020-10-01 Leon Kellerhals , Tomohiro Koana

While graphs and abstract data structures can be large and complex, practical instances are often regular or highly structured. If the instance has sufficient structure, we might hope to compress the object into a more succinct…

Computational Complexity · Computer Science 2024-12-02 Shreya Gupta , Boyang Huang , Russell Impagliazzo , Stanley Woo , Christopher Ye

Given a graph $G = (V,E)$, a set $T$ of vertex pairs, and an integer $k$, Hitting Geodesic Intervals asks whether there is a set $S \subseteq V$ of size at most $k$ such that for each terminal pair $\{u,v\} \in T$, the set $S$ intersects at…

Data Structures and Algorithms · Computer Science 2025-09-03 Tatsuya Gima , Yasuaki Kobayashi , Yuto Okada , Yota Otachi , Hayato Takaike

Reconfiguration problems require finding a step-by-step transformation between a pair of feasible solutions for a particular problem. The primary concern in Theoretical Computer Science has been revealing their computational complexity for…

Data Structures and Algorithms · Computer Science 2021-11-30 Naoto Ohsaka , Tatsuya Matsuoka

For fixed integers $r,\ell \geq 0$, a graph $G$ is called an {\em $(r,\ell)$-graph} if the vertex set $V(G)$ can be partitioned into $r$ independent sets and $\ell$ cliques. The class of $(r, \ell)$ graphs generalizes $r$-colourable graphs…

Data Structures and Algorithms · Computer Science 2015-12-15 Sudeshna Kolay , Fahad Panolan , Venkatesh Raman , Saket Saurabh

Feedback Vertex Set is a classic combinatorial optimization problem that asks for a minimum set of vertices in a given graph whose deletion makes the graph acyclic. From the point of view of parameterized algorithms and fixed-parameter…

Data Structures and Algorithms · Computer Science 2018-11-14 Krzysztof Kiljan , Marcin Pilipczuk