English
Related papers

Related papers: Point Line Cover: The Easy Kernel is Essentially T…

200 papers

We introduce a new technique for proving kernelization lower bounds, called cross-composition. A classical problem L cross-composes into a parameterized problem Q if an instance of Q with polynomially bounded parameter value can express the…

Computational Complexity · Computer Science 2015-03-17 Hans L. Bodlaender , Bart M. P. Jansen , Stefan Kratsch

Following the seminal work of Erlebach and van Leeuwen in SODA 2008, we introduce the minimum ply covering problem. Given a set $P$ of points and a set $S$ of geometric objects, both in the plane, our goal is to find a subset $S'$ of $S$…

Computational Geometry · Computer Science 2019-05-03 Therese Biedl , Ahmad Biniaz , Anna Lubiw

Motivated by applications in production planning and storage allocation in hierarchical databases, we initiate the study of covering partially ordered items (CPO). Given a capacity $k \in \mathbb{Z}^+$, and a directed graph $G=(V,E)$ where…

Data Structures and Algorithms · Computer Science 2024-03-05 Ilan Doron-Arad , Guy Kortsarz , Joseph Naor , Baruch Schieber , Hadas Shachnai

We introduce the cross-composition framework for proving kernelization lower bounds. A classical problem L AND/OR-cross-composes into a parameterized problem Q if it is possible to efficiently construct an instance of Q with polynomially…

Computational Complexity · Computer Science 2015-03-20 Hans L. Bodlaender , Bart M. P. Jansen , Stefan Kratsch

We consider the problem of identifying n points in the plane using disks, i.e., minimizing the number of disks so that each point is contained in a disk and no two points are in exactly the same set of disks. This problem can be seen as an…

Discrete Mathematics · Computer Science 2017-06-01 Valentin Gledel , Aline Parreau

We develop a new `subspace layered least squares' interior point method (IPM) for solving linear programs. Applied to an $n$-variable linear program in standard form, the iteration complexity of our IPM is up to an $O(n^{1.5} \log n)$…

Optimization and Control · Mathematics 2025-02-20 Xavier Allamigeon , Daniel Dadush , Georg Loho , Bento Natura , László A. Végh

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…

Data Structures and Algorithms · Computer Science 2026-03-24 Jakob Greilhuber , Roohani Sharma

Given two sets of points in the plane, $P$ of $n$ terminals and $S$ of $m$ Steiner points, a Steiner tree of $P$ is a tree spanning all points of $P$ and some (or none or all) points of $S$. A Steiner tree with length of longest edge…

Computational Geometry · Computer Science 2010-12-08 A. Karim Abu-Affash

Let $X$ be a set of points in $\mathbb{R}^2$ and $\mathcal{O}$ be a set of geometric objects in $\mathbb{R}^2$, where $|X| + |\mathcal{O}| = n$. We study the problem of computing a minimum subset $\mathcal{O}^* \subseteq \mathcal{O}$ that…

Computational Geometry · Computer Science 2024-03-04 Timothy M. Chan , Qizheng He , Jie Xue

In this paper we study the kernelization of the $d$-Path Vertex Cover ($d$-PVC) problem. Given a graph $G$, the problem requires finding whether there exists a set of at most $k$ vertices whose removal from $G$ results in a graph that does…

Data Structures and Algorithms · Computer Science 2022-07-26 Radovan Červený , Pratibha Choudhary , Ondřej Suchý

Let P be a planar n-point set. A k-partition of P is a subdivision of P into n/k parts of roughly equal size and a sequence of triangles such that each part is contained in a triangle. A line is k-shallow if it has at most k points of P…

Computational Geometry · Computer Science 2012-02-03 Wolfgang Mulzer , Daniel Werner

We consider the minimum number of lines $h_n$ and $p_n$ needed to intersect or pierce, respectively, all the cells of the $n \times n$ chessboard. Determining these values can also be interpreted as a strengthening of the classical plank…

Combinatorics · Mathematics 2023-07-31 Gergely Ambrus , Imre Bárány , Péter Frankl , Dániel Varga

Given a set of $n$ points in the plane, the Unit Disk Cover (UDC) problem asks to compute the minimum number of unit disks required to cover the points, along with a placement of the disks. The problem is NP-hard and several approximation…

Computational Geometry · Computer Science 2022-05-05 Rachel Friederich , Matthew Graham , Anirban Ghosh , Brian Hicks , Ronald Shevchenko

We revisit the topic of polynomial kernels for Vertex Cover relative to structural parameters. Our starting point is a recent paper due to Fomin and Str{\o}mme [WG 2016] who gave a kernel with $\mathcal{O}(|X|^{12})$ vertices when $X$ is a…

Data Structures and Algorithms · Computer Science 2017-11-15 Eva-Maria C. Hols , Stefan Kratsch

We introduce kernel thinning, a new procedure for compressing a distribution $\mathbb{P}$ more effectively than i.i.d. sampling or standard thinning. Given a suitable reproducing kernel $\mathbf{k}_{\star}$ and $O(n^2)$ time, kernel…

Machine Learning · Statistics 2024-05-14 Raaz Dwivedi , Lester Mackey

The vertex cover problem is one of the most important and intensively studied combinatorial optimization problems. Khot and Regev (2003) proved that the problem is NP-hard to approximate within a factor $2 - \epsilon$, assuming the Unique…

Computational Complexity · Computer Science 2015-11-30 Abbas Bazzi , Samuel Fiorini , Sebastian Pokutta , Ola Svensson

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…

Data Structures and Algorithms · Computer Science 2021-09-15 Édouard Bonnet , Eun Jung Kim , Amadeus Reinald , Stéphan Thomassé , Rémi Watrigant

In this paper we consider several instances of the k-center on a line problem where the goal is, given a set of points S in the plane and a parameter k >= 1, to find k disks with centers on a line l such that their union covers S and the…

Computational Geometry · Computer Science 2009-02-20 Peter Brass , Christian Knauer , Hyeon-Suk Na , Chan-Su Shin , Antoine Vigneron

An important result in the study of polynomial-time preprocessing shows that there is an algorithm which given an instance (G,k) of Vertex Cover outputs an equivalent instance (G',k') in polynomial time with the guarantee that G' has at…

Data Structures and Algorithms · Computer Science 2015-03-17 Bart M. P. Jansen , Hans L. Bodlaender

In 1994, Kranakis et al. published a conjecture about the minimum link-length of every rectilinear covering path for the $k$-dimensional grid $P(n,k) := \{0,1, \dots, n-1\} \times \{0,1, \dots, n-1\} \times \cdots \times \{0,1, \dots,…

General Mathematics · Mathematics 2025-08-15 Marco Ripà