中文
相关论文

相关论文: On the Approximate Compressibility of Connected Ve…

200 篇论文

The CONNECTED VERTEX COVER problem asks for a vertex cover in a graph that induces a connected subgraph. The problem is known to be fixed-parameter tractable (FPT), and is unlikely to have a polynomial sized kernel (under complexity…

数据结构与算法 · 计算机科学 2018-10-08 R. Krithika , Diptapriyo Majumdar , Venkatesh Raman

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

We study the CONNECTED \eta-TREEDEPTH DELETION problem where the input instance is an undireted graph G = (V, E) and an integer k. The objective is to decide if G has a set S \subseteq V(G) of at most k vertices such that G - S has…

数据结构与算法 · 计算机科学 2022-12-02 Eduard Eiben , Diptapriyo Majumdar , M. S. Ramanujan

We extend the notion of lossy kernelization, introduced by Lokshtanov et al. [STOC 2017], to approximate Turing kernelization. An $\alpha$-approximate Turing kernel for a parameterized optimization problem is a polynomial-time algorithm…

数据结构与算法 · 计算机科学 2020-04-28 Eva-Maria C. Hols , Stefan Kratsch , Astrid Pieterse

In this paper we propose a new framework for analyzing the performance of preprocessing algorithms. Our framework builds on the notion of kernelization from parameterized complexity. However, as opposed to the original notion of…

数据结构与算法 · 计算机科学 2016-11-07 Daniel Lokshtanov , Fahad Panolan , M. S. Ramanujan , Saket Saurabh

We study the kernelization complexity of structural parameterizations of the Vertex Cover problem. Here, the goal is to find a polynomial-time preprocessing algorithm that can reduce any instance $(G,k)$ of the Vertex Cover problem to an…

数据结构与算法 · 计算机科学 2023-07-25 Marin Bougeret , Bart M. P. Jansen , Ignasi Sau

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

The technique of kernelization consists in extracting, from an instance of a problem, an essentially equivalent instance whose size is bounded in a parameter k. Besides being the basis for efficient param-eterized algorithms, this method…

人工智能 · 计算机科学 2017-02-09 Clément Carbonnel , Emmanuel Hébrard

We introduce and study two natural generalizations of the Connected VertexCover (VC) problem: the $p$-Edge-Connected and $p$-Vertex-Connected VC problem (where $p \geq 2$ is a fixed integer). Like Connected VC, both new VC problems are FPT,…

数据结构与算法 · 计算机科学 2022-08-23 Carl Einarson , Gregory Gutin , Bart M. P. Jansen , Diptapriyo Majumdar , Magnus Wahlstrom

Kernelization is an important tool in parameterized algorithmics. Given an input instance accompanied by a parameter, the goal is to compute in polynomial time an equivalent instance of the same problem such that the size of the reduced…

计算复杂性 · 计算机科学 2018-10-23 Till Fluschnik , George B. Mertzios , André Nichterlein

In the F-minor-free deletion problem we want to find a minimum vertex set in a given graph that intersects all minor models of graphs from the family F. The Vertex planarization problem is a special case of F-minor-free deletion for the…

数据结构与算法 · 计算机科学 2022-02-07 Bart M. P. Jansen , Michał Włodarczyk

We study efficient preprocessing for the undirected Feedback Vertex Set problem, a fundamental problem in graph theory which asks for a minimum-sized vertex set whose removal yields an acyclic graph. More precisely, we aim to determine for…

数据结构与算法 · 计算机科学 2022-06-10 David Dekker , Bart M. P. Jansen

In Maximum $k$-Vertex Cover (Max $k$-VC), the input is an edge-weighted graph $G$ and an integer $k$, and the goal is to find a subset $S$ of $k$ vertices that maximizes the total weight of edges covered by $S$. Here we say that an edge is…

数据结构与算法 · 计算机科学 2018-10-10 Pasin Manurangsi

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 parameterized complexity of the connected version of the vertex cover problem, where the solution set has to induce a connected subgraph. Although this problem does not admit a polynomial kernel for general graphs (unless NP is…

数据结构与算法 · 计算机科学 2011-10-11 Lukasz Kowalik , Marcin Pilipczuk , Karol Suchan

An induced subgraph is called an induced matching if each vertex is a degree-1 vertex in the subgraph. The \textsc{Almost Induced Matching} problem asks whether we can delete at most $k$ vertices from the input graph such that the remaining…

数据结构与算法 · 计算机科学 2024-02-22 Yuxi Liu , Mingyu Xiao

Given an ordering of the vertices of a graph, the cost of covering an edge is the smaller number of its two ends. The minimum sum vertex cover problem asks for an ordering that minimizes the total cost of covering all edges. We consider…

数据结构与算法 · 计算机科学 2024-04-16 Yixin Cao , Ling Gai , Jingyi Liu , Jianxin Wang

Kernelization algorithms are polynomial-time reductions from a problem to itself that guarantee their output to have a size not exceeding some bound. For example, d-Set Matching for integers d>2 is the problem of finding a matching of size…

数据结构与算法 · 计算机科学 2018-12-10 Holger Dell , Dániel Marx

Generally, a graph G, an independent set is a subset S of vertices in G such that no two vertices in S are adjacent (connected by an edge) and a vertex cover is a subset S of vertices such that each edge of G has at least one of its…

数据结构与算法 · 计算机科学 2009-09-02 Kamanashis Biswas , S. A. M. Harun

We investigate preprocessing for vertex-subset problems on graphs. While the notion of kernelization, originating in parameterized complexity theory, is a formalization of provably effective preprocessing aimed at reducing the total…

数据结构与算法 · 计算机科学 2022-07-04 Benjamin Merlin Bumpus , Bart M. P. Jansen , Jari J. H. de Kroon
‹ 上一页 1 2 3 10 下一页 ›