English
Related papers

Related papers: VEST is W[2]-hard

200 papers

In the Vertex Cover Reconfiguration (VCR) problem, given a graph $G$, positive integers $k$ and $\ell$ and two vertex covers $S$ and $T$ of $G$ of size at most $k$, we determine whether $S$ can be transformed into $T$ by a sequence of at…

Computational Complexity · Computer Science 2020-12-11 Amer E. Mouawad , Naomi Nishimura , Venkatesh Raman , Sebastian Siebertz

We introduce the $k$-stellated spheres and consider the class ${\cal W}_k(d)$ of triangulated $d$-manifolds all whose vertex links are $k$-stellated, and its subclass ${\cal W}^{\ast}_k(d)$ consisting of the $(k+1)$-neighbourly members of…

Geometric Topology · Mathematics 2013-05-17 Bhaskar Bagchi , Basudeb Datta

The dichotomy conjecture for the parameterized embedding problem states that the problem of deciding whether a given graph $G$ from some class $K$ of "pattern graphs" can be embedded into a given graph $H$ (that is, is isomorphic to a…

Computational Complexity · Computer Science 2017-03-21 Yijia Chen , Martin Grohe , Bingkai Lin

We study the complexity of clustering curves under $k$-median and $k$-center objectives in the metric space of the Fr\'echet distance and related distance measures. Building upon recent hardness results for the minimum-enclosing-ball…

Computational Geometry · Computer Science 2020-02-18 Kevin Buchin , Anne Driemel , Martijn Struijs

Given a graph $G=(V,E)$, the dominating set problem asks for a minimum subset of vertices $D\subseteq V$ such that every vertex $u\in V\setminus D$ is adjacent to at least one vertex $v\in D$. That is, the set $D$ satisfies the condition…

Computational Geometry · Computer Science 2019-11-26 Sandip Banerjee , Sujoy Bhore

A set of vertices $W$ in a graph $G$ is called resolving if for any two distinct $x,y\in V(G)$, there is $v\in W$ such that ${\rm dist}_G(v,x)\neq{\rm dist}_G(v,y)$, where ${\rm dist}_G(u,v)$ denotes the length of a shortest path between…

Data Structures and Algorithms · Computer Science 2018-05-01 Gregory Gutin , M. S. Ramanujan , Felix Reidl , Magnus Wahlström

We study the parameterized complexity of separating a small set of vertices from a graph by a small vertex-separator. That is, given a graph $G$ and integers $k$, $t$, the task is to find a vertex set $X$ with $|X| \le k$ and $|N(X)| \le…

Data Structures and Algorithms · Computer Science 2013-10-02 Fedor V. Fomin , Petr A. Golovach , Janne H. Korhonen

The Metric Dimension problem asks for a minimum-sized resolving set in a given (unweighted, undirected) graph $G$. Here, a set $S \subseteq V(G)$ is resolving if no two distinct vertices of $G$ have the same distance vector to $S$. The…

Data Structures and Algorithms · Computer Science 2021-02-22 Shaohua Li , Marcin Pilipczuk

Two-stage stochastic linear optimization is known to be #P-hard when all involved random variables are independently and uniformly distributed over intervals, even with fixed recourse. We show that this problem is actually #P-hard in the…

Optimization and Control · Mathematics 2026-05-26 Christoph Buchheim

We prove that the Minimum Distance Problem (MDP) on linear codes over any fixed finite field and parameterized by the input distance bound is W[1]-hard to approximate within any constant factor. We also prove analogous results for the…

Computational Complexity · Computer Science 2024-02-28 Huck Bennett , Mahdi Cheraghchi , Venkatesan Guruswami , João Ribeiro

In Path Set Packing, the input is an undirected graph $G$, a collection $\calp$ of simple paths in $G$, and a positive integer $k$. The problem is to decide whether there exist $k$ edge-disjoint paths in $\calp$. We study the parameterized…

Data Structures and Algorithms · Computer Science 2024-06-03 N. R. Aravind , Roopam Saxena

The VC-dimension is a well-studied and fundamental complexity measure of a set system (or hypergraph) that is central to many areas of machine learning. We establish several new results on the complexity of computing the VC-dimension. In…

Computational Complexity · Computer Science 2025-10-24 Florent Foucaud , Harmender Gahlawat , Fionn Mc Inerney , Prafullkumar Tale

Let G=(V,E) be a graph. Let k < |V| be an integer. Let O_k be the number of edge induced subgraphs of G having k vertices and an odd number of edges. Let E_k be the number of edge induced subgraphs of G having k vertices and an even number…

Computational Complexity · Computer Science 2013-01-01 Giorgio Camerani

Let $G$ be a complete edge-weighted graph on $n$ vertices. To each subset of vertices of $G$ assign the cost of the minimum spanning tree of the subset as its weight. Suppose that $n$ is a multiple of some fixed positive integer $k$. The…

In this paper we study the hardness of the $k$-Center problem on inputs that model transportation networks. For the problem, a graph $G=(V,E)$ with edge lengths and an integer $k$ are given and a center set $C\subseteq V$ needs to be chosen…

Computational Complexity · Computer Science 2020-03-03 Andreas Emil Feldmann , Daniel Marx

The computational complexity class #P captures the difficulty of counting the satisfying assignments to a boolean formula. In this work, we use basic tools from quantum computation to give a proof that the SO(3) Witten-Reshetikhin-Turaev…

Computational Complexity · Computer Science 2017-03-21 Gorjan Alagic , Catharine Lo

We consider the $k$-Center problem and some generalizations. For $k$-Center a set of $k$ center vertices needs to be found in a graph $G$ with edge lengths, such that the distance from any vertex of $G$ to its nearest center is minimized.…

Data Structures and Algorithms · Computer Science 2019-04-29 Andreas Emil Feldmann

In this paper, we show that Bandwidth is hard for the complexity class $W[t]$ for all $t\in {\bf N}$, even for caterpillars with hair length at most three. As intermediate problem, we introduce the Weighted Path Emulation problem: given a…

Computational Complexity · Computer Science 2020-12-03 Hans L. Bodlaender

The central conjecture of parameterized complexity states that FPT is not equal to W[1], and is generally regarded as the parameterized counterpart to P != NP. We revisit the issue of the plausibility of FPT != W[1], focusing on two…

Computational Complexity · Computer Science 2018-07-20 Ralph C. Bottesch

In the Token Swapping problem we are given a graph with a token placed on each vertex. Each token has exactly one destination vertex, and we try to move all the tokens to their destinations, using the minimum number of swaps, i.e.,…

Computational Complexity · Computer Science 2018-01-08 Édouard Bonnet , Tillmann Miltzow , Paweł Rzążewski