中文
相关论文

相关论文: Multivariate Complexity Analysis of Geometric {\sc…

200 篇论文

We study extensions of the classic \emph{Line Cover} problem, which asks whether a set of $n$ points in the plane can be covered using $k$ lines. Line Cover is known to be NP-hard, and we focus on two natural generalizations. The first is…

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

We revisit a natural variant of geometric set cover, called minimum-membership geometric set cover (MMGSC). In this problem, the input consists of a set $S$ of points and a set $\mathcal{R}$ of geometric objects, and the goal is to find a…

计算几何 · 计算机科学 2023-05-09 Sayan Bandyapadhyay , William Lochet , Saket Saurabh , Jie Xue

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

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

We provide a number of algorithmic results for the following family of problems: For a given binary m\times n matrix A and integer k, decide whether there is a "simple" binary matrix B which differs from A in at most k entries. For an…

数据结构与算法 · 计算机科学 2018-03-19 Fedor V. Fomin , Petr A. Golovach , Fahad Panolan

The Subset Feedback Vertex Set problem generalizes the classical Feedback Vertex Set problem and asks, for a given undirected graph $G=(V,E)$, a set $S \subseteq V$, and an integer $k$, whether there exists a set $X$ of at most $k$ vertices…

数据结构与算法 · 计算机科学 2015-12-09 Eva-Maria C. Hols , 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

In the Colored Clustering problem, one is asked to cluster edge-colored (hyper-)graphs whose colors represent interaction types. More specifically, the goal is to select as many edges as possible without choosing two edges that share an…

数据结构与算法 · 计算机科学 2023-02-02 Leon Kellerhals , Tomohiro Koana , Pascal Kunz , Rolf Niedermeier

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 article, we study the parameterized complexity of the Set Cover problem restricted to semi-ladder-free hypergraphs, a class defined by Fabianski et al. [Proceedings of STACS 2019]. We observe that two algorithms introduced by…

数据结构与算法 · 计算机科学 2023-11-09 Sylvain Guillemot

The question of the existence of a polynomial kernelization of the Vertex Cover Above LP problem has been a longstanding, notorious open problem in Parameterized Complexity. Five years ago, the breakthrough work by Kratsch and Wahlstrom on…

数据结构与算法 · 计算机科学 2017-05-11 Syed Mohammad Meesum , Fahad Panolan , Saket Saurabh , Meirav Zehavi

We present the first results on the parameterized complexity of reconfiguration problems, where a reconfiguration version of an optimization problem $Q$ takes as input two feasible solutions $S$ and $T$ and determines if there is a sequence…

计算复杂性 · 计算机科学 2013-08-23 Amer E. Mouawad , Naomi Nishimura , Venkatesh Raman , Narges Simjour , Akira Suzuki

Graph Spectral Clustering methods (GSC) allow representing clusters of diverse shapes, densities, etc. However, the results of such algorithms, when applied e.g. to text documents, are hard to explain to the user, especially due to…

The three-in-a-tree problem asks for an induced tree of the input graph containing three mandatory vertices. In 2006, Chudnovsky and Seymour [Combinatorica, 2010] presented the first polynomial time algorithm for this problem, which has…

数据结构与算法 · 计算机科学 2020-07-10 Guilherme C. M. Gomes , Vinicius F. dos Santos , Murilo V. G. da Silva , Jayme L. Szwarcfiter

We say that a finite set of red and blue points in the plane in general position can be $K_{1,3}$-covered if the set can be partitioned into subsets of size $4$, with $3$ points of one color and $1$ point of the other color, in such a way…

In the \probrFix problem, we are given a graph $G$, a (non-proper) vertex-coloring $c : V(G) \to [r]$, and a positive integer $k$. The goal is to decide whether a proper $r$-coloring $c'$ is obtainable from $c$ by recoloring at most $k$…

计算复杂性 · 计算机科学 2017-01-10 Marzio De Biasi , Juho Lauri

For a graph $G$, a subset $S\subseteq V(G)$ is called a resolving set of $G$ if, for any two vertices $u,v\in V(G)$, there exists a vertex $w\in S$ such that $d(w,u)\neq d(w,v)$. The Metric Dimension problem takes as input a graph $G$ on…

数据结构与算法 · 计算机科学 2025-03-18 Florent Foucaud , Esther Galby , Liana Khazaliya , Shaohua Li , Fionn Mc Inerney , Roohani Sharma , Prafullkumar Tale

Given a set R of red points and a set B of blue points in the plane, the Red-Blue point separation problem asks if there are at most k lines that separate R from B, that is, each cell induced by the lines of the solution is either empty or…

数据结构与算法 · 计算机科学 2020-05-14 Neeldhara Misra , Harshil Mittal , Aditi Sethia

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