中文
相关论文

相关论文: Parameterizations of Test Cover with Bounded Test …

200 篇论文

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.$…

计算复杂性 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

离散数学 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

数据结构与算法 · 计算机科学 2019-10-03 Daniel Lokshtanov , Amer E. Mouawad , Fahad Panolan , Sebastian Siebertz
‹ 上一页 1 2 3 10 下一页 ›