English
Related papers

Related papers: Parameterizations of Test Cover with Bounded Test …

200 papers

The input of the Test Cover problem consists of a set $V$ of vertices, and a collection ${\cal E}=\{E_1,..., E_m\}$ of distinct subsets of $V$, called tests. A test $E_q$ separates a pair $v_i,v_j$ of vertices if $|\{v_i,v_j\}\cap E_q|=1.$…

Computational Complexity · Computer Science 2012-04-20 G. Gutin , G. Muciaccia , A. Yeo

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

In the {\sc Hitting Set} problem, we are given a collection $\cal F$ of subsets of a ground set $V$ and an integer $p$, and asked whether $V$ has a $p$-element subset that intersects each set in $\cal F$. We consider two parameterizations…

Data Structures and Algorithms · Computer Science 2011-07-11 Gregory Gutin , Mark Jones , Anders Yeo

In the NP-hard Edge Dominating Set problem (EDS) we are given a graph $G=(V,E)$ and an integer $k$, and need to determine whether there is a set $F\subseteq E$ of at most $k$ edges that are incident with all (other) edges of $G$. It is…

Data Structures and Algorithms · Computer Science 2019-01-14 Eva-Maria C. Hols , Stefan Kratsch

Graph Burning asks, given a graph $G = (V,E)$ and an integer $k$, whether there exists $(b_{0},\dots,b_{k-1}) \in V^{k}$ such that every vertex in $G$ has distance at most $i$ from some $b_{i}$. This problem is known to be NP-complete even…

Data Structures and Algorithms · Computer Science 2020-09-29 Yasuaki Kobayashi , Yota Otachi

A graph $H$ is {\em $p$-edge colorable} if there is a coloring $\psi: E(H) \rightarrow \{1,2,\dots,p\}$, such that for distinct $uv, vw \in E(H)$, we have $\psi(uv) \neq \psi(vw)$. The {\sc Maximum Edge-Colorable Subgraph} problem takes as…

Discrete Mathematics · Computer Science 2020-08-19 Akanksha Agrawal , Madhumita Kundu , Abhishek Sahu , Saket Saurabh , Prafullkumar Tale

Capacitated Vertex Cover is the hard-capacitated variant of Vertex Cover: given a graph, a capacity for every vertex, and an integer $k$, the task is to select at most $k$ vertices that cover all edges and assign each edge to one of its…

Data Structures and Algorithms · Computer Science 2026-04-22 Michael Lampis , Manolis Vasilakis

We study the well-known Vertex Cover problem parameterized above and below tight bounds. We show that two of the parameterizations (both were suggested by Mahajan, Raman and Sikdar, J. Computer and System Sciences, 75(2):137--153, 2009) are…

Computational Complexity · Computer Science 2009-08-28 Gregory Gutin , Eun Jung Kim , Michael Lampis , Valia Mitsou

We investigate structural parameterizations of two identification problems: LOCATING-DOMINATING SET and TEST COVER. In the first problem, an input is a graph $G$ on $n$ vertices and an integer $k$, and one asks if there is a subset $S$ of…

Data Structures and Algorithms · Computer Science 2024-11-28 Dipayan Chakraborty , Florent Foucaud , Diptapriyo Majumdar , Prafullkumar Tale

In the Vertex Cover problem we are given a graph $G=(V,E)$ and an integer $k$ and have to determine whether there is a set $X\subseteq V$ of size at most $k$ such that each edge in $E$ has at least one endpoint in $X$. The problem can be…

Data Structures and Algorithms · Computer Science 2016-11-22 Stefan Kratsch

In this paper we study the problem of finding a small safe set $S$ in a graph $G$, i.e. a non-empty set of vertices such that no connected component of $G[S]$ is adjacent to a larger component in $G - S$. We enhance our understanding of the…

Computational Complexity · Computer Science 2019-02-01 Rémy Belmonte , Tesshu Hanaka , Ioannis Katsikarelis , Michael Lampis , Hirotaka Ono , Yota Otachi

The field of kernelization studies polynomial-time preprocessing routines for hard problems in the framework of parameterized complexity. Although a framework for proving kernelization lower bounds has been discovered in 2008 and…

Data Structures and Algorithms · Computer Science 2011-11-03 Marek Cygan , Stefan Kratsch , Marcin Pilipczuk , Michał Pilipczuk , Magnus Wahlström

We prove a number of results around kernelization of problems parameterized by the size of a given vertex cover of the input graph. We provide three sets of simple general conditions characterizing problems admitting kernels of polynomial…

Data Structures and Algorithms · Computer Science 2013-09-27 Fedor V. Fomin , Bart M. P. Jansen , Michal Pilipczuk

We study the NP-complete Minimum Shared Edges (MSE) problem. Given an undirected graph, a source and a sink vertex, and two integers p and k, the question is whether there are p paths in the graph connecting the source with the sink and…

Computational Complexity · Computer Science 2016-02-05 Till Fluschnik , Stefan Kratsch , Rolf Niedermeier , Manuel Sorge

The Vertex Cover problem plays an essential role in the study of polynomial kernelization in parameterized complexity, i.e., the study of provable and efficient preprocessing for NP-hard problems. Motivated by the great variety of positive…

Computational Complexity · Computer Science 2019-05-10 Eva-Maria C. Hols , Stefan Kratsch , Astrid Pieterse

Let $({\bf U},{\bf S},d)$ be an instance of Set Cover Problem, where ${\bf U}=\{u_1,...,u_n\}$ is a $n$ element ground set, ${\bf S}=\{S_1,...,S_m\}$ is a set of $m$ subsets of ${\bf U}$ satisfying $\bigcup_{i=1}^m S_i={\bf U}$ and $d$ is a…

Computational Complexity · Computer Science 2011-10-11 Hao Chen

For a fixed graph $H$, the $H$-Coloring problem asks whether a given graph admits an edge-preserving function from its vertex set to that of $H$. A seminal theorem of Hell and Ne\v{s}et\v{r}il asserts that the $H$-Coloring problem is…

Data Structures and Algorithms · Computer Science 2025-07-18 Yael Berkman , Ishay Haviv

We investigate the following above-guarantee parameterization of the classical Vertex Cover problem: Given a graph $G$ and $k\in\mathbb{N}$ as input, does $G$ have a vertex cover of size at most $(2LP-MM)+k$? Here $MM$ is the size of a…

Data Structures and Algorithms · Computer Science 2015-09-15 Shivam Garg , Geevarghese Philip

The concept of space-bounded computability has become significantly important in handling vast data sets on memory-limited computing devices. To replenish the existing short list of NL-complete problems whose instance sizes are dictated by…

Computational Complexity · Computer Science 2022-06-22 Tomoyuki Yamakami

In a reconfiguration version of an optimization problem $\mathcal{Q}$ the input is an instance of $\mathcal{Q}$ and two feasible solutions $S$ and $T$. The objective is to determine whether there exists a step-by-step transformation between…

Data Structures and Algorithms · Computer Science 2019-10-03 Daniel Lokshtanov , Amer E. Mouawad , Fahad Panolan , Sebastian Siebertz
‹ Prev 1 2 3 10 Next ›