Convex Polygon Containment: Improving Quadratic to Near Linear Time

Timothy M. Chan,Isaac M. Hair

2024-03-20

Abstract:We revisit a standard polygon containment problem: given a convex $k$-gon $P$ and a convex $n$-gon $Q$ in the plane, find a placement of $P$ inside $Q$ under translation and rotation (if it exists), or more generally, find the largest copy of $P$ inside $Q$ under translation, rotation, and scaling.

Computer Science

What problem does this paper attempt to address?

Determining Convexo-Concave Vertices of Polygonby Dynamic Distinct Partition

吕红波,张树有,程锦

DOI: https://doi.org/10.3969/j.issn.1006-8961.2004.02.021

2004-01-01

Journal of Image and Graphics

Abstract:Polygonal vertices convexo-concave determining is one of the fundamental issues in Computer Graphics. In this paper, plane space is separated into 2 region defined as positive region and negative region based on the direction and the stretched of the line segment. Accordingly transform identification of convexity or concavity of the next vertices into identification of the region position. Consequently the operation of multiplication can be averted. In order to do the best in practical determining, 3 areas is separated of the plane space, whereas not the same as earlier. These area are based on two horizontal lines, two vertical lines and two 45°diagonal lines through the vertices of the line segment. Because the partition is based on the polygon vertices and it has dynamic, therefore it's a dynamic distinct partition. These areas are defined as positive area, negative area or mixed area. In the case of the positive area or the negative area, we can confirm the convexity or concavity of the vertices through simple distinguishing. The result of test indicates it is a simple, highly efficient and reliable algorithm with high speed requires only (n/4) multiplication and(12n) comparisons.
Maximum Overlap Area of Several Convex Polygons Under Translations

Hyuk Jun Kweon,Honglin Zhu

2023-07-02

Abstract:Let $k \geq 2$ be a constant. Given any $k$ convex polygons in the plane with a total of $n$ vertices, we present an $O(n\log^{2k-3}n)$ time algorithm that finds a translation of each of the polygons such that the area of intersection of the $k$ polygons is maximized. Given one such placement, we also give an $O(n)$ time algorithm which computes the set of all translations of the polygons which achieve this maximum.

Computational Geometry
Convex hull properties and algorithms

Xianquan Zhang,Zhenjun Tang,Jinhui Yu,Mingming Guo,Lianyuan Jiang

DOI: https://doi.org/10.1016/j.amc.2010.04.044

IF: 4.397

2010-01-01

Applied Mathematics and Computation

Abstract:Convex hull (CH) is widely used in computer graphic, image processing, CAD/CAM, and pattern recognition. We investigate CH properties and derive new properties: (1) CH vertices’ coordinates monotonically increase or decrease, (2) The edge slopes monotonically decrease. Using these properties, we proposed two algorithms, i.e., CH algorithm for planar point set, and CH algorithm for two available CHs. The main ideas of the proposed algorithms are as follows. A planar point set is divided into several subsets by the extreme points, and vertices in these subsets are then separately calculated. During the computation, the CH properties are used to eliminate concave points. This can reduce the computational cost and then improves the speed. Our first algorithm can extract CH with O(nlogn) time, which is the lower bound of planar CH extraction, and the second algorithm can obtain CH with O(m+n) time at the worst case.
Generating Large Convex Polytopes Directly on Point Clouds

Xingguang Zhong,Yuwei Wu,Dong Wang,Qianhao Wang,Chao Xu,Fei Gao

2020-01-01

Abstract:In this paper, we present a method to efficiently generate large, free, and guaranteed convex space among arbitrarily cluttered obstacles. Our method operates directly on point clouds, avoids expensive calculations, and processes thousands of points within a few milliseconds, which extremely suits embedded platforms. The base stone of our method is sphere flipping, a one-one invertible nonlinear transformation, which maps a set of unordered points to a nonlinear space. With these wrapped points, we obtain a collision-free star convex polytope. Then, utilizing the star convexity, we efficiently modify the polytope to convex and guarantee its free of obstacles. Extensive quantitative evaluations show that our method significantly outperforms state-of-the-art works in efficiency. We also present practical applications with our method in 3D, including large-scale deformable topological mapping and quadrotor optimal trajectory planning, to validate its capability and efficiency. The source code of our method will be released for the reference of the community.
COVERING CONVEX RECTILINEAR POLYGONS IN LINEAR TIME

W. T. Liou,C. Y. Tang,R. C. T. Lee

DOI: https://doi.org/10.1142/s0218195991000128

1991-01-01

International Journal of Computational Geometry & Applications

Abstract:In this paper, we discuss the problem of covering a convex rectilinear polygon with the minimum number of rectangles. The rectangles can overlap with each other. We show that this problem can be solved in linear time, which improves the previous O(n2) result proposed by Franzblau and Kleitman3. However, Franzblau and Kleitman's algorithm works for a larger class of polygons (vertically convex).
A technique for solving the polygon inclusion problems

Kai Jin,Taikun Zhu,Ruixi Luo

2024-04-21

Abstract:We propose a technique called Rotate-and-Kill for solving the polygon inclusion and circumscribing problems. By applying this technique, we obtain $O(n)$ time algorithms for computing (1) the maximum area triangle in a given $n$-sided convex polygon $P$, (2) the minimum area triangle enclosing $P$, (3) the minimum area triangle enclosing $P$ touching edge-to-edge, i.e. the minimum area triangle that is the intersection of three half-planes out of the $n$ half-planes defining $P$, and (4) the minimum perimeter triangle enclosing $P$ touching edge-to-edge. Our algorithm for computing the maximum area triangle is simpler than the alternatives given in [Chandran and Mount, IJCGA'92] and [Kallus, arXiv'17]. Our algorithms for computing the minimum area or perimeter triangle enclosing $P$ touching edge-to-edge improve the $O(n\log n)$ or $O(n\log^2n)$ time algorithms given in [Boyce \emph{et al.}, STOC'82], [Aggarwal \emph{et al.}, Algorithmica'87], [Aggarwal and J. Park., FOCS'88], [Aggarwal \emph{et al.}, DCG'94], and [Schieber, SODA'95].

Computational Geometry
Convex Sequence and Convex Polygon

Angshuman Robin Goswami,István Szalkai

2024-04-18

Abstract:In this paper, we deal with the question; under what conditions the points $P_i(xi,yi)$ $(i = 1,\cdots, n)$ form a convex polygon provided $x_1 < \cdots < x_n$ holds. One of the main findings of the paper can be stated as follows: "Let $P_1(x_1,y_1),\cdots ,P_n(x_n,y_n)$ are $n$ distinct points ($n\geq3$) with $x_1<\cdots<x_n$. Then $\overline{P_1P_2},\cdots \overline{P_nP_1}$ form a convex $n$-gon that lies in the half-space \begin{equation*}{ \underline{\mathbb{H}}=\bigg\{(x,y)\big|\quad x\in\mathbb{R} \quad \mbox{and} \quad y\leq y_1+\bigg(\dfrac{x-x_1}{x_n-x_1}\bigg)(y_n-y_1)\bigg\}\subseteq{\mathbb{R}^{2}} } \end{equation*} if and only if the following inequality holds \begin{equation} \dfrac{y_i-y_{i-1}}{x_i-x_{i-1}} \leq \dfrac{y_{i+1}-y_{i}}{x_{i+1}-x_{i}} \quad \quad \mbox{for all} \quad \quad i\in\{2,\cdots,n-1\} ." \end{equation} Based on this result, we establish a linkage between the property of sequential convexity and convex polygon. We show that in a plane if any $n$ points are scattered in such a way that their horizontal and vertical distances preserve some specific monotonic properties; then those points form a $2$-dimensional convex polytope.

Metric Geometry
An Approximation Algorithm for K -Center Problem on a Convex Polygon

Hai Du,Yinfeng Xu

DOI: https://doi.org/10.1007/s10878-012-9532-5

2012-01-01

Journal of Combinatorial Optimization

Abstract:This paper studies the constrained version of the k-center location problem. Given a convex polygonal region, every point in the region originates a service demand. Our objective is to place k facilities lying on the region’s boundary, such that every point in that region receives service from its closest facility and the maximum service distance is minimized. This problem is equivalent to covering the polygon by k circles with centers on its boundary which have the smallest possible radius. We present an 1.8841-approximation polynomial time algorithm for this problem.
On the Two-Dimensional Knapsack Problem for Convex Polygons

Arturo Merino,Andreas Wiese

DOI: https://doi.org/10.1145/3644390

IF: 1.113

2024-02-20

ACM Transactions on Algorithms

Abstract:We study the two-dimensional geometric knapsack problem for convex polygons. Given a set of weighted convex polygons and a square knapsack, the goal is to select the most profitable subset of the given polygons that fits non-overlappingly into the knapsack. We allow to rotate the polygons by arbitrary angles. We present a quasi-polynomial time O (1)-approximation algorithm for the general case and a pseudopolynomial time O (1)-approximation algorithm if all input polygons are triangles, both assuming polynomially bounded integral input data. Also, we give a quasi-polynomial time algorithm that computes a solution of optimal weight under resource augmentation, i.e., we allow to increase the size of the knapsack by a factor of 1 + δ for some δ > 0 but compare ourselves with the optimal solution for the original knapsack. To the best of our knowledge, these are the first results for two-dimensional geometric knapsack in which the input objects are more general than axis-parallel rectangles or circles and in which the input polygons can be rotated by arbitrary angles.

computer science, theory & methods,mathematics, applied
Packing stretched convex polygons in an optimized rectangle

Julia Bennell,Igor Litvinchev,Alexander Pankratov,Tetyana Romanova

DOI: https://doi.org/10.1007/s11276-023-03642-9

IF: 2.701

2024-01-23

Wireless Networks

Abstract:A nonstandard optimized packing convex polygons in a rectangular container is considered. The shapes of the polygons are not fixed: the polygons can be compressed/stretched in certain limits along the principal axes, but their areas remain constant. The polygons must be placed completely in the container without overlapping under free translations and rotations. The objective is to define the shapes of the polygons and their locations to minimize the height of the container. Non-overlapping and containment conditions for the stretched polygons are presented using the phi-function technique. The overall packing problem is formulated in the form of a nonconvex nonlinear programming problem. A solution approach is proposed based on the multistart strategy. To illustrate the main steps of the solution technique a numerical example is provided. Directions for future research are discussed. Our interest in this class of packing problems is motivated by studying properties of porous media under external force. Elements of porous media can be deformed under pressure, but the mass of each particle is conserved. In two-dimensional case this corresponds to the area conservation.

computer science, information systems,telecommunications,engineering, electrical & electronic
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 Convex-Hull of A Set of Convex Polygons

H CHEN,J ROKNE

DOI: https://doi.org/10.1080/00207169208804059

1992-01-01

Abstract:The problem of computing the convex hull of a set of convex polygons is considered in two forms: (1) the polygons have the same number of vertices (the restricted case) and (2) the polygons have different numbers of vertices (the general case), The lower bound for the general case is first given. The restricted case is then considered briefly. The remainder of the paper is concerned with algorithms for the general case.
Packing Soft Convex Polygons in an Optimized Convex Container

Igor Litvinchev,Luis Infante,Tetyana Romanova,Alberto Martinez-Noa,Luis Gutierrez

DOI: https://doi.org/10.1007/s11036-023-02286-5

2024-01-11

Mobile Networks and Applications

Abstract:Packing soft convex polygonal objects in an optimized convex container is considered. The shape of the soft object can be changed in certain limits, but the object remains convex and maintains its area unchanged under all shape transformations. Non-overlapping, containment, as well as convexity and area conservation constraints are presented. A nonlinear programming model is formulated to find the optimal container for fixed values of elasticity parameters. An inverse problem is considered to find the minimal value of the elasticity parameter resulting in the same optimal container. Numerical experiments for packing soft triangles and pentagons in optimized circular and square containers are provided.

computer science, information systems,telecommunications, hardware & architecture
Approximating the Maximum Independent Set of Convex Polygons with a Bounded Number of Directions

Fabrizio Grandoni,Edin Husić,Mathieu Mari,Antoine Tinguely

2024-02-12

Abstract:In the maximum independent set of convex polygons problem, we are given a set of $n$ convex polygons in the plane with the objective of selecting a maximum cardinality subset of non-overlapping polygons. Here we study a special case of the problem where the edges of the polygons can take at most $d$ fixed directions. We present an $8d/3$-approximation algorithm for this problem running in time $O((nd)^{O(d4^d)})$. The previous-best polynomial-time approximation (for constant $d$) was a classical $n^\varepsilon$ approximation by Fox and Pach [SODA'11] that has recently been improved to a $OPT^{\varepsilon}$-approximation algorithm by Cslovjecsek, Pilipczuk and W\k{e}grzycki [SODA '24], which also extends to an arbitrary set of convex polygons. Our result builds on, and generalizes the recent constant factor approximation algorithms for the maximum independent set of axis-parallel rectangles problem (which is a special case of our problem with $d=2$) by Mitchell [FOCS'21] and G\'{a}lvez, Khan, Mari, M\"{o}mke, Reddy, and Wiese [SODA'22].

Computational Geometry,Data Structures and Algorithms
An $O(3.82^k)$ Time FPT Algorithm for Convex Flip Distance

Haohong Li,Ge Xia

2023-10-14

Abstract:Let $P$ be a convex polygon in the plane, and let $T$ be a triangulation of $P$. An edge $e$ in $T$ is called a diagonal if it is shared by two triangles in $T$. A flip of a diagonal $e$ is the operation of removing $e$ and adding the opposite diagonal of the resulting quadrilateral to obtain a new triangulation of $P$ from $T$. The flip distance between two triangulations of $P$ is the minimum number of flips needed to transform one triangulation into the other. The Convex Flip Distance problem asks if the flip distance between two given triangulations of $P$ is at most $k$, for some given parameter $k$. We present an FPT algorithm for the Convex Flip Distance problem that runs in time $O(3.82^k)$ and uses polynomial space, where $k$ is the number of flips. This algorithm significantly improves the previous best FPT algorithms for the problem.

Computational Geometry,Data Structures and Algorithms
Quadratic Optimization over A Polyhedral Cone

Ye Tian,Qingwei Jin,Zhibin Deng

DOI: https://doi.org/10.3934/jimo.2016.12.269

2015-01-01

Journal of Industrial and Management Optimization

Abstract:In this paper, we study the polyhedral cone constrained homogeneous quadratic programming problem and provide an equivalent linear conic reformulation. Based on a union of second-order cones which covers the polyhedral cone, a sequence of computable linear conic programming problems are constructed to approximate the linear conic reformulation. The convergence of the sequential solutions is guaranteed as the number of second-order cones increases such that the union of the second-order cones gets close to the polyhedral cone. In order to relieve the computational burden and improve the efficiency, an adaptive scheme and valid inequalities derived by the reformulation-linearization technique are added to the proposed algorithm. Finally, the numerical results demonstrate the effectiveness of the algorithm.
The circle packing problem: a theoretical comparison of various convexification techniques

Aida Khajavirad

2024-04-04

Abstract:We consider the problem of packing congruent circles with the maximum radius in a unit square as a mathematical optimization problem. Due to the presence of non-overlapping constraints, this problem is a notoriously difficult nonconvex quadratically constrained optimization problem, which possesses many local optima. We consider several popular convexification techniques, giving rise to linear programming relaxations and semidefinite programming relaxations for the circle packing problem. We compare the strength of these relaxations theoretically, thereby proving the conjectures by Anstreicher (JOGO, 2009). Our results serve as a theoretical justification for the ineffectiveness of existing machinery for convexification of non-overlapping constraints.

Optimization and Control
On Intersecting Polygons

Kada Williams

2023-03-20

Abstract:Consider two regions in the plane, bounded by an $n$-gon and an $m$-gon, respectively. At most how many connected components can there be in their intersection? This question was asked by Croft. We answer this asymptotically, proving the bounds $$\left\lfloor \frac{m}{2}\right\rfloor \cdot \left\lfloor \frac{n}{2}\right\rfloor\le f(n,m)\le \left\lfloor \frac{m}{2}\right\rfloor \cdot \frac{n}{2} + \frac{m}{2} $$ where $f(n,m)$ denotes the maximal number of components and $m\le n$. Furthermore, we give an exact answer to the related question of finding the maximal number of components if the $m$-gon is required to be convex: $\left \lfloor \frac{m+n-2}{2}\right\rfloor$ if $n\ge m+2$ and $n-2$ otherwise.

Combinatorics,Computational Geometry
Efficient Exact Algorithms for Minimum Covering of Orthogonal Polygons with Squares

Anubhav Dhar,Subham Ghosh,Sudeshna Kolay

2024-07-03

Abstract:The Orthogonal Polygon Covering with Squares (OPCS) problem takes as input an orthogonal polygon $P$ without holes with $n$ vertices, where vertices have integral coordinates. The aim is to find a minimum number of axis-parallel, possibly overlapping squares which lie completely inside $P$, such that their union covers the entire region inside $P$. Aupperle et. al~\cite{aupperle1988covering} provide an $\mathcal O(N^{1.5})$-time algorithm to solve OPCS for orthogonal polygons without holes, where $N$ is the number of integral lattice points lying in the interior or on the boundary of $P$. Designing algorithms for OPCS with a running time polynomial in $n$ (the number of vertices of $P$) was discussed as an open question in \cite{aupperle1988covering}, since $N$ can be exponentially larger than $n$. In this paper we design a polynomial-time exact algorithm for OPCS with a running time of $\mathcal O(n^{14})$. We also consider the following structural parameterized version of the problem. A knob in an orthogonal polygon is a polygon edge whose both endpoints are convex polygon vertices. Given an input orthogonal polygon with $n$ vertices and $k$ knobs, we design an algorithm for OPCS with running time $\mathcal O(n^2 + k^{14} \cdot n)$. In \cite{aupperle1988covering}, the Orthogonal Polygon with Holes Covering with Squares (OPCSH) problem is also studied where orthogonal polygon could have holes, and the objective is to find a minimum square covering of the input polygon. This is shown to be NP-complete. We think there is an error in the existing proof in \cite{aupperle1988covering}, where a reduction from Planar 3-CNF is shown. We fix this error in the proof with an alternate construction of one of the gadgets used in the reduction, hence completing the proof of NP-completeness of OPCSH.

Computational Geometry
Point-in-Convex Polygon and Point-in-Convex Polyhedron Algorithms with O(1) Complexity using Space Subdivision

Vaclav Skala

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

2022-08-07

Graphics

Abstract:There are many space subdivision and space partitioning techniques used in many algorithms to speed up computations. They mostly rely on orthogonal space subdivision, resp. using hierarchical data structures, e.g. BSP trees, quadtrees, octrees, kd-trees, bounding volume hierarchies, etc. However in some applications a non-orthogonal space subdivision can offer new ways for actual speed up. In the case of convex polygon in E3 a simple Point-in-Polygon test is of the O(N) complexity and the optimal algorithm is of O(lg N) computational complexity. In the E3 case, the complexity is O(N) even for the convex polyhedron as no ordering is defined. New Point-in-Convex Polygon and Point-in-Convex Polyhedron algorithms are presented based on space subdivision in the preprocessing stage resulting to O(1) run-time complexity. The presented approach is simple to implement. Due to the principle of duality, dual problems, e.g. line-convex polygon, line clipping, can be solved in a similarly.

Convex Polygon Containment: Improving Quadratic to Near Linear Time

Determining Convexo-Concave Vertices of Polygonby Dynamic Distinct Partition

Maximum Overlap Area of Several Convex Polygons Under Translations

Convex hull properties and algorithms

Generating Large Convex Polytopes Directly on Point Clouds

COVERING CONVEX RECTILINEAR POLYGONS IN LINEAR TIME

A technique for solving the polygon inclusion problems

Convex Sequence and Convex Polygon

An Approximation Algorithm for K -Center Problem on a Convex Polygon

On the Two-Dimensional Knapsack Problem for Convex Polygons

Packing stretched convex polygons in an optimized rectangle

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

The Convex-Hull of A Set of Convex Polygons

Packing Soft Convex Polygons in an Optimized Convex Container

Approximating the Maximum Independent Set of Convex Polygons with a Bounded Number of Directions

An $O(3.82^k)$ Time FPT Algorithm for Convex Flip Distance

Quadratic Optimization over A Polyhedral Cone

The circle packing problem: a theoretical comparison of various convexification techniques

On Intersecting Polygons

Efficient Exact Algorithms for Minimum Covering of Orthogonal Polygons with Squares

Point-in-Convex Polygon and Point-in-Convex Polyhedron Algorithms with O(1) Complexity using Space Subdivision