Notes on Convex Transversals

Lena Schlipf

DOI: https://doi.org/10.48550/arXiv.1211.5107

2012-11-22

Abstract:In this paper, we prove the problem of stabbing a set of disjoint bends by a convex stabber to be NP-hard. We also consider the optimization version of the convex stabber problem and prove this problem to be APX-hard for sets of line segments.

Computational Geometry

What problem does this paper attempt to address?

Convex Hypersurfaces of Prescribed Weingarten Curvatures

WM Sheng,N Trudinger,XJ Wang

DOI: https://doi.org/10.4310/cag.2004.v12.n1.a11

2004-01-01

Communications in Analysis and Geometry

Abstract:In this paper we study the existence of closed convex hypersurfaces in the Euclidean space Rn+1 such that a Weingarten curvature, regarded as a function of their unit normal, is equal to a given positive function on the unit sphere Sn. Two classical problems of this type, namely the Christoffel problem [6] and the Minkowski problem [16], which address respectively the cases of harmonic and Gauss curvature, were completely solved in the 1970’s [7,9,17]. Besides the harmonic and Gauss curvatures, the most interesting Weingarten curvatures are probably the mean curvature, or more generally the k-curvatures (1 ≤ k ≤ n)
Minimizing the stabbing number of matchings, trees, and triangulations

Sandor P. Fekete,Marco Luebbecke,Henk Meijer

DOI: https://doi.org/10.1007/s00454-008-9114-6

2008-09-06

Abstract:The (axis-parallel) stabbing number of a given set of line segments is the maximum number of segments that can be intersected by any one (axis-parallel) line. This paper deals with finding perfect matchings, spanning trees, or triangulations of minimum stabbing number for a given set of points. The complexity of these problems has been a long-standing open question; in fact, it is one of the original 30 outstanding open problems in computational geometry on the list by Demaine, Mitchell, and O'Rourke. The answer we provide is negative for a number of minimum stabbing problems by showing them NP-hard by means of a general proof technique. It implies non-trivial lower bounds on the approximability. On the positive side we propose a cut-based integer programming formulation for minimizing the stabbing number of matchings and spanning trees. We obtain lower bounds (in polynomial time) from the corresponding linear programming relaxations, and show that an optimal fractional solution always contains an edge of at least constant weight. This result constitutes a crucial step towards a constant-factor approximation via an iterated rounding scheme. In computational experiments we demonstrate that our approach allows for actually solving problems with up to several hundred points optimally or near-optimally.

Computational Geometry,Data Structures and Algorithms
Constrained Orthogonal Segment Stabbing

Sayan Bandyapadhyay,Saeed Mehrabi

DOI: https://doi.org/10.48550/arXiv.1904.13369

2019-06-22

Abstract:Let $S$ and $D$ each be a set of orthogonal line segments in the plane. A line segment $s\in S$ \emph{stabs} a line segment $s'\in D$ if $s\cap s'\neq\emptyset$. It is known that the problem of stabbing the line segments in $D$ with the minimum number of line segments of $S$ is NP-hard. However, no better than $O(\log |S\cup D|)$-approximation is known for the problem. In this paper, we introduce a constrained version of this problem in which every horizontal line segment of $S\cup D$ intersects a common vertical line. We study several versions of the problem, depending on which line segments are used for stabbing and which line segments must be stabbed. We obtain several NP-hardness and constant approximation results for these versions. Our finding implies, the problem remains NP-hard even under the extra assumption on input, but small constant approximation algorithms can be designed.

Computational Geometry,Computational Complexity,Data Structures and Algorithms
New results on stabbing segments with a polygon

José Miguel Díaz-Báñez,Matias Korman,Pablo Pérez-Lantero,Alexander Pilz,Carlos Seara,Rodrigo I. Silveira

DOI: https://doi.org/10.48550/arXiv.1211.1490

2014-06-20

Abstract:We consider a natural variation of the concept of stabbing a segment by a simple polygon: a segment is stabbed by a simple polygon $\mathcal{P}$ if at least one of its two endpoints is contained in $\mathcal{P}$. A segment set $S$ is stabbed by $\mathcal{P}$ if every segment of $S$ is stabbed by $\mathcal{P}$. We show that if $S$ is a set of pairwise disjoint segments, the problem of computing the minimum perimeter polygon stabbing $S$ can be solved in polynomial time. We also prove that for general segments the problem is NP-hard. Further, an adaptation of our polynomial-time algorithm solves an open problem posed by Löffler and van Kreveld [Algorithmica 56(2), 236--269 (2010)] about finding a maximum perimeter convex hull for a set of imprecise points modeled as line segments.

Computational Complexity
Robust Computation of a Minimum Area Convex Polygon Stabber of a Set of Isothetic Line Segments

Xin Wu,Xijie Zeng,Bryan St. Amour,Asish Mukhopadhyay

DOI: https://doi.org/10.48550/arXiv.1609.01662

IF: 0.455

2016-09-06

Computational Geometry

Abstract:In this paper, we discuss the algorithm engineering aspects of an O(n^2)-time algorithm [6] for computing a minimum-area convex polygon that intersects a set of n isothetic line segments.
On Approximation Schemes for Stabbing Rectilinear Polygons

Arindam Khan,Aditya Subramanian,Tobias Widmann,Andreas Wiese

2024-02-04

Abstract:We study the problem of stabbing rectilinear polygons, where we are given $n$ rectilinear polygons in the plane that we want to stab, i.e., we want to select horizontal line segments such that for each given rectilinear polygon there is a line segment that intersects two opposite (parallel) edges of it. Our goal is to find a set of line segments of minimum total length such that all polygons are stabbed. For the special case of rectangles, there is a $O(1)$-approximation algorithm and the problem is $\mathsf{NP}$-hard [Chan et al.]. Also, the problem admits a QPTAS [Eisenbrand et al.] and even a PTAS [Khan et al.]. However, the approximability for the setting of more general polygons, e.g., L-shapes or T-shapes, is completely open.

Computational Geometry
Fixed-parameter tractability and lower bounds for stabbing problems

Panos Giannopoulos,Christian Knauer,Gunter Rote,Daniel Werner

DOI: https://doi.org/10.1016/j.comgeo.2011.06.005

2009-06-22

Abstract:We study the following general stabbing problem from a parameterized complexity point of view: Given a set $\mathcal S$ of $n$ translates of an object in $\Rd$, find a set of $k$ lines with the property that every object in $\mathcal S$ is ''stabbed'' (intersected) by at least one line. We show that when $S$ consists of axis-parallel unit squares in $\Rtwo$ the (decision) problem of stabbing $S$ with axis-parallel lines is W[1]-hard with respect to $k$ (and thus, not fixed-parameter tractable unless FPT=W[1]) while it becomes fixed-parameter tractable when the squares are disjoint. We also show that the problem of stabbing a set of disjoint unit squares in $\Rtwo$ with lines of arbitrary directions is W[1]--hard with respect to $k$. Several generalizations to other types of objects and lines with arbitrary directions are also presented. Finally, we show that deciding whether a set of unit balls in $\Rd$ can be stabbed by one line is W[1]--hard with respect to the dimension $d$.

Computational Geometry
Stabbing Rectangles by Line Segments - How Decomposition Reduces the Shallow-Cell Complexity

Timothy M. Chan,Thomas C. van Dijk,Krzysztof Fleszar,Joachim Spoerhase,Alexander Wolff

DOI: https://doi.org/10.48550/arXiv.1806.02851

2018-06-08

Abstract:We initiate the study of the following natural geometric optimization problem. The input is a set of axis-aligned rectangles in the plane. The objective is to find a set of horizontal line segments of minimum total length so that every rectangle is stabbed by some line segment. A line segment stabs a rectangle if it intersects its left and its right boundary. The problem, which we call Stabbing, can be motivated by a resource allocation problem and has applications in geometric network design. To the best of our knowledge, only special cases of this problem have been considered so far. Stabbing is a weighted geometric set cover problem, which we show to be NP-hard. A constrained variant of Stabbing turns out to be even APX-hard. While for general set cover the best possible approximation ratio is $\Theta(\log n)$, it is an important field in geometric approximation algorithms to obtain better ratios for geometric set cover problems. Chan et al. [SODA'12] generalize earlier results by Varadarajan [STOC'10] to obtain sub-logarithmic performances for a broad class of weighted geometric set cover instances that are characterized by having low shallow-cell complexity. The shallow-cell complexity of Stabbing instances, however, can be high so that a direct application of the framework of Chan et al. gives only logarithmic bounds. We still achieve a constant-factor approximation by decomposing general instances into what we call laminar instances that have low enough complexity. Our decomposition technique yields constant-factor approximations also for the variant where rectangles can be stabbed by horizontal and vertical segments and for two further geometric set cover problems.

Computational Geometry
A Note on Stabbing Convex Bodies with Points, Lines, and Flats

Sariel Har-Peled,Mitchell Jones

DOI: https://doi.org/10.48550/arXiv.2007.09874

2022-05-04

Abstract:$\newcommand{\eps}{\varepsilon}\newcommand{\tldO}{\widetilde{O}}$Consider the problem of constructing weak $\eps$-nets where the stabbing elements are lines or $k$-flats instead of points. We study this problem in the simplest setting where it is still interesting -- namely, the uniform measure of volume over the hypercube $[0,1]^d\bigr.$. Specifically, a $(k,\eps)$-net is a set of $k$-flats, such that any convex body in $[0,1]^d$ of volume larger than $\eps$ is stabbed by one of these $k$-flats. We show that for $k \geq 1$, one can construct $(k,\eps)$-nets of size $O(1/\eps^{1-k/d})$. We also prove that any such net must have size at least $\Omega(1/\eps^{1-k/d})$. As a concrete example, in three dimensions all $\eps$-heavy bodies in $[0,1]^3$ can be stabbed by $\Theta(1/\eps^{2/3})$ lines. Note, that these bounds are \emph{sublinear} in $1/\eps$, and are thus somewhat surprising. The new construction also works for points providing a weak $\eps$-net of size $O(\tfrac{1}{\eps}\log^{d-1} \tfrac{1}{\eps} )$.

Computational Geometry
Realization of abstract convex geometries by point configurations, Part 1

Kira Adaricheva,Marcel Wild

DOI: https://doi.org/10.48550/arXiv.0710.1248

2007-10-05

Abstract:The Edelman-Jamison problem is to characterize those abstract convex geometries that are representable by a set of points in the plane. We show that some natural modification of the Edelman-Jamison problem is equivalent to the well known NP-hard order type problem.

Combinatorics
Efficiently stabbing convex polygons and variants of the Hadwiger-Debrunner $(p, q)$-theorem

Justin Dallant,Patrick Schnider

DOI: https://doi.org/10.48550/arXiv.2002.06947

2021-02-16

Abstract:Hadwiger and Debrunner showed that for families of convex sets in $\mathbb{R}^d$ with the property that among any $p$ of them some $q$ have a common point, the whole family can be stabbed with $p-q+1$ points if $p \geq q \geq d+1$ and $(d-1)p < d(q-1)$. This generalizes a classical result by Helly. We show how such a stabbing set can be computed for a family of convex polygons in the plane with a total of $n$ vertices in $O((p-q+1)n^{4/3}\log^{8} n(\log\log n)^{1/3} + np^2)$ expected time. For polyhedra in $\mathbb{R}^3$, we get an algorithm running in $O((p-q+1)n^{5/2}\log^{10} n(\log\log n)^{1/6} + np^3)$ expected time. We also investigate other conditions on convex polygons for which our algorithm can find a fixed number of points stabbing them. Finally, we show that analogous results of the Hadwiger and Debrunner $(p,q)$-theorem hold in other settings, such as convex sets in $\mathbb{R}^d\times\mathbb{Z}^k$ or abstract convex geometries.

Computational Geometry
The Topology of the set of line Transversals

Otfried Cheong,Xavier Goaoc,Andreas F. Holmsen

DOI: https://doi.org/10.1007/s00454-023-00573-2

2024-09-05

Abstract:We prove that for any set $F$ of $n\ge 2$ pairwise disjoint open convex sets in $\mathbb{R}^3$, the connected components of the set of lines intersecting every member of $F$ are contractible. The same result holds for directed lines.

Metric Geometry
A family of convex sets in the plane satisfying the $(4,3)$-property can be pierced by nine points

Daniel McGinnis

DOI: https://doi.org/10.48550/arXiv.2010.13195

2020-10-26

Abstract:We prove that every finite family of convex sets in the plane satisfying the $(4,3)$-property can be pierced by $9$ points. This improves the bound of $13$ proved by Gyárfás, Kleitman, and Tóth in 2001.

Combinatorics
Shortest Paths in Graphs of Convex Sets

Tobia Marcucci,Jack Umenberger,Pablo Parrilo,Russ Tedrake

DOI: https://doi.org/10.1137/22m1523790

IF: 2.763

2024-02-03

SIAM Journal on Optimization

Abstract:SIAM Journal on Optimization, Volume 34, Issue 1, Page 507-532, March 2024. Given a graph, the shortest-path problem requires finding a sequence of edges with minimum cumulative length that connects a source vertex to a target vertex. We consider a variant of this classical problem in which the position of each vertex in the graph is a continuous decision variable constrained in a convex set, and the length of an edge is a convex function of the position of its endpoints. Problems of this form arise naturally in many areas, from motion planning of autonomous vehicles to optimal control of hybrid systems. The price for such a wide applicability is the complexity of this problem, which is easily seen to be NP-hard. Our main contribution is a strong and lightweight mixed-integer convex formulation based on perspective operators, that makes it possible to efficiently find globally optimal paths in large graphs and in high-dimensional spaces.

mathematics, applied
A QPTAS for stabbing rectangles

Friedrich Eisenbrand,Martina Gallato,Ola Svensson,Moritz Venzin

DOI: https://doi.org/10.48550/arXiv.2107.06571

2021-07-14

Abstract:We consider the following geometric optimization problem: Given $ n $ axis-aligned rectangles in the plane, the goal is to find a set of horizontal segments of minimum total length such that each rectangle is stabbed. A segment stabs a rectangle if it intersects both its left and right edge. As such, this stabbing problem falls into the category of weighted geometric set cover problems for which techniques that improve upon the general ${\Theta}(\log n)$-approximation guarantee have received a lot of attention in the literature. Chan at al. (2018) have shown that rectangle stabbing is NP-hard and that it admits a constant-factor approximation algorithm based on Varadarajan's quasi-uniform sampling method. In this work we make progress on rectangle stabbing on two fronts. First, we present a quasi-polynomial time approximation scheme (QPTAS) for rectangle stabbing. Furthermore, we provide a simple $8$-approximation algorithm that avoids the framework of Varadarajan. This settles two open problems raised by Chan et al. (2018).

Computational Geometry,Data Structures and Algorithms
Convex Combinatorial Optimization

Shmuel Onn,Uriel G. Rothblum

DOI: https://doi.org/10.48550/arXiv.math/0309083

2003-09-05

Abstract:We introduce the convex combinatorial optimization problem, a far reaching generalization of the standard linear combinatorial optimization problem. We show that it is strongly polynomial time solvable over any edge-guaranteed family, and discuss several applications.

Combinatorics,Discrete Mathematics,Optimization and Control
Stabbing balls with line segments and polygonal paths

Alexander Neuhaus,Dennis Rohde

DOI: https://doi.org/10.48550/arXiv.2212.01458

2023-02-10

Abstract:We study the problem of ordered stabbing of $n$ balls (of arbitrary and possibly different radii, no ball contained in another) in $\mathbb{R}^d$, $d \geq 3$, with either a directed line segment or a (directed) polygonal curve. Here, the line segment, respectively polygonal curve, shall visit (intersect) the given sequence of balls in the order of the sequence. We present a deterministic algorithm that decides whether there exists a line segment stabbing the given sequence of balls in order, in time $O(n^{4d-2} \log n)$. Due to the descriptional complexity of the region containing these line segments, we can not extend this algorithm to actually compute one. We circumvent this hurdle by devising a randomized algorithm for a relaxed variant of the ordered line segment stabbing problem, which is built upon the central insights from the aforementioned decision algorithm. We further show that this algorithm can be plugged into an algorithmic scheme by Guibas et al., yielding an algorithm for a relaxed variant of the minimum-link ordered stabbing path problem that achieves approximation factor 2 with respect to the number of links. We conclude with experimental evaluations of the latter two algorithms, showing practical applicability.

Computational Geometry
How to Cut Corners and Get Bounded Convex Curvature

Mikkel Abrahamsen,Mikkel Thorup

DOI: https://doi.org/10.48550/arXiv.1603.02080

2022-03-05

Abstract:We describe an algorithm for solving an important geometric problem arising in computer-aided manufacturing. When cutting away a region from a solid piece of material -- such as steel, wood, ceramics, or plastic -- using a rough tool in a milling machine, sharp convex corners of the region cannot be done properly, but have to be left for finer tools that are more expensive to use. We want to determine a toolpath that maximizes the use of the rough tool. In order to formulate the problem in mathematical terms, we introduce the notion of bounded convex curvature. A region of points in the plane $Q$ has \emph{bounded convex curvature} if for any point $x\in\partial Q$, there is a unit disk $U$ and $\varepsilon>0$ such that $x\in \partial U$ and all points in $U$ within distance $\varepsilon$ from $x$ are in $Q$. This translates to saying that as we traverse the boundary $\partial Q$ with the interior of $Q$ on the left side, then $\partial Q$ turns to the left with curvature at most $1$. There is no bound on the curvature where $\partial Q$ turns to the right. Given a region of points $P$ in the plane, we are now interested in computing the maximum subset $Q\subseteq P$ of bounded convex curvature. The difference in the requirement to left- and right-curvature is a natural consequence of different conditions when machining convex and concave areas of $Q$. We devise an algorithm to compute the unique maximum such set $Q$, when the boundary of $P$ consists of $n$ line segments and circular arcs of arbitrary radii. In the general case where $P$ may have holes, the algorithm runs in time $O(n^2)$ and uses $O(n)$ space. If $P$ is simply-connected, we describe a faster $O(n\log n)$ time algorithm.

Computational Geometry
On a colorful problem by Dol'nikov concerning translates of convex bodies

Leonardo Martínez-Sandoval,Edgardo Roldán-Pensado

2023-09-24

Abstract:In this note we study a conjecture by Jerónimo-Castro, Magazinov and Soberón which generalized a question posed by Dol'nikov. Let $F_1,F_2,\dots,F_n$ be families of translates of a convex compact set $K$ in the plane so that each two sets from distinct families intersect. We show that, for some $j$, $\bigcup_{i\neq j}F_i$ can be pierced by at most $4$ points. To do so, we use previous ideas from Gomez-Navarro and Roldán-Pensado together with an approximation result closely tied to the Banach-Mazur distance to the square.

Combinatorics
Computing Conforming Partitions with Low Stabbing Number for Rectilinear Polygons

Therese Biedl,Stephane Durocher,Debajyoti Mondal,Rahnuma Islam Nishat,Bastien Rivier

2024-11-18

Abstract:A \emph{conforming partition} of a rectilinear $ n $-gon\bastien{I change from ``a polygon'', otherwise $ n $ is not defined.} $ P $ is a partition of $ P $ into rectangles without using Steiner points (i.e., all corners of all rectangles must lie on\bastien{Maybe add: the boundary of} $ P $). The stabbing number of such a partition is the maximum number of rectangles intersected by an axis-aligned segment lying in the interior of $ P $. In this paper, we examine the problem of computing conforming partitions with low stabbing number. We show that computing a conforming partition with stabbing number at most~$ 4 $ is $ NP $-hard, which strengthens a previously known hardness result [Durocher \& Mehrabi, Theor. Comput. Sci. 689: 157-168 (2017)] and eliminates the possibility for fixed-parameter-tractable algorithms parameterized by the stabbing number unless $ P = NP $. In contrast, we give (i) an $ O ( n \log n ) $-time\bastien{Reviewer request: changed from "linearithmic".} algorithm to decide whether a conforming partition with stabbing number~$ 2 $ exists, (ii) a fixed-parameter-tractable algorithm parameterized by both the stabbing number and treewidth of the pixelation of the polygon, and (iii) a fixed-parameter-tractable algorithm parameterized by the stabbing number for simple polygons in general position.

Computational Geometry

Notes on Convex Transversals

Convex Hypersurfaces of Prescribed Weingarten Curvatures

Minimizing the stabbing number of matchings, trees, and triangulations

Constrained Orthogonal Segment Stabbing

New results on stabbing segments with a polygon

Robust Computation of a Minimum Area Convex Polygon Stabber of a Set of Isothetic Line Segments

On Approximation Schemes for Stabbing Rectilinear Polygons

Fixed-parameter tractability and lower bounds for stabbing problems

Stabbing Rectangles by Line Segments - How Decomposition Reduces the Shallow-Cell Complexity

A Note on Stabbing Convex Bodies with Points, Lines, and Flats

Realization of abstract convex geometries by point configurations, Part 1

Efficiently stabbing convex polygons and variants of the Hadwiger-Debrunner $(p, q)$-theorem

The Topology of the set of line Transversals

A family of convex sets in the plane satisfying the $(4,3)$-property can be pierced by nine points

Shortest Paths in Graphs of Convex Sets

A QPTAS for stabbing rectangles

Convex Combinatorial Optimization

Stabbing balls with line segments and polygonal paths

How to Cut Corners and Get Bounded Convex Curvature

On a colorful problem by Dol'nikov concerning translates of convex bodies

Computing Conforming Partitions with Low Stabbing Number for Rectilinear Polygons