中文
相关论文

相关论文: How much does a treedepth modulator help to obtain…

200 篇论文

We prove that for every positive integer $r$ and for every graph class $\mathcal G$ of bounded expansion, the $r$-Dominating Set problem admits a linear kernel on graphs from $\mathcal G$. Moreover, when $\mathcal G$ is only assumed to be…

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

Meta-theorems for polynomial (linear) kernels have been the subject of intensive research in parameterized complexity. Heretofore, meta-theorems for linear kernels exist on graphs of bounded genus, $H$-minor-free graphs, and…

We study the existence of polynomial kernels, for parameterized problems without a polynomial kernel on general graphs, when restricted to graphs of bounded twin-width. Our main result is that a polynomial kernel for $k$-Dominating Set on…

数据结构与算法 · 计算机科学 2021-09-15 Édouard Bonnet , Eun Jung Kim , Amadeus Reinald , Stéphan Thomassé , Rémi Watrigant

We study kernelization of classic hard graph problems when the input graphs fulfill triadic closure properties. More precisely, we consider the recently introduced parameters closure number $c$ and the weak closure number $\gamma$ [Fox et…

数据结构与算法 · 计算机科学 2021-03-09 Tomohiro Koana , Christian Komusiewicz , Frank Sommer

We give the first linear kernels for the (Connected) Dominating Set problems on H-topological minor free graphs. We prove the existence of polynomial time algorithms that, for a given H-topological-minor-free graph G and a positive integer…

数据结构与算法 · 计算机科学 2017-10-26 Fedor V. Fomin , Daniel Lokshtanov , Saket Saurabh , Dimitrios M. Thilikos

Meta-kernelization theorems are general results that provide polynomial kernels for large classes of parameterized problems. The known meta-kernelization theorems, in particular the results of Bodlaender et al. (FOCS'09) and of Fomin et al.…

数据结构与算法 · 计算机科学 2013-04-22 Robert Ganian , Friedrich Slivovsky , Stefan Szeider

In this paper, we study the parameterized complexity of a generalized domination problem called the [${\sigma}, {\rho}$] Dominating Set problem. This problem generalizes a large number of problems including the Minimum Dominating Set…

计算复杂性 · 计算机科学 2022-11-10 Pradeesha Ashok , Rajath Rao , Avi Tomar

For $\alpha > 1$, an $\alpha$-approximate (bi-)kernel is a polynomial-time algorithm that takes as input an instance $(I, k)$ of a problem $\mathcal{Q}$ and outputs an instance $(I',k')$ (of a problem $\mathcal{Q}'$) of size bounded by a…

数据结构与算法 · 计算机科学 2018-02-23 Eduard Eiben , Mithilesh Kumar , Amer E. Mouawad , Fahad Panolan , Sebastian Siebertz

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

Kernelization investigates exact preprocessing algorithms with performance guarantees. The most prevalent type of parameters used in kernelization is the solution size for optimization problems; however, also structural parameters have been…

数据结构与算法 · 计算机科学 2015-07-21 Eduard Eiben , Robert Ganian , Stefan Szeider

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

Nowhere dense classes of graphs are very general classes of uniformly sparse graphs with several seemingly unrelated characterisations. From an algorithmic perspective, a characterisation of these classes in terms of uniform quasi-wideness,…

离散数学 · 计算机科学 2018-09-06 Stephan Kreutzer , Roman Rabinovich , Sebastian Siebertz

The theoretical notions of graph classes with bounded expansion and that are nowhere dense are meant to capture structural sparsity of real world networks that can be used to design efficient algorithms. In the area of sparse graphs, the…

数据结构与算法 · 计算机科学 2018-11-20 Wojciech Nadara

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

We show that problems which have finite integer index and satisfy a requirement we call treewidth-bounding admit linear kernels on the class of $H$-topological-minor free graphs, for an arbitrary fixed graph $H$. This builds on earlier…

数据结构与算法 · 计算机科学 2012-07-16 Alexander Langer , Felix Reidl , Peter Rossmanith , Somnath Sikdar

We show that the k-Dominating Set problem is fixed parameter tractable (FPT) and has a polynomial kernel for any class of graphs that exclude K_{i,j} as a subgraph, for any fixed i, j >= 1. This strictly includes every class of graphs for…

数据结构与算法 · 计算机科学 2009-05-15 Geevarghese Philip , Venkatesh Raman , Somnath Sikdar

In a parameterized problem, every instance I comes with a positive integer k. The problem is said to admit a polynomial kernel if, in polynomial time, one can reduce the size of the instance I to a polynomial in k, while preserving the…

A total dominating set of a graph $G=(V,E)$ is a subset $D \subseteq V$ such that every vertex in $V$ is adjacent to some vertex in $D$. Finding a total dominating set of minimum size is NP-hard on planar graphs and W[2]-complete on general…

数据结构与算法 · 计算机科学 2023-06-22 Valentin Garnero , Ignasi Sau

In this work we study a classic generalization of the Vertex Cover (VC) problem, called the Component Order Connectivity (COC) problem. In COC, given an undirected graph $G$, integers $d \geq 1$ and $k$, the goal is to determine if there is…

数据结构与算法 · 计算机科学 2026-03-24 Jakob Greilhuber , Roohani Sharma
‹ 上一页 1 2 3 10 下一页 ›