Abstract:We develop simple and general techniques to obtain faster (near-linear time) static approximation algorithms, as well as efficient dynamic data structures, for four fundamental geometric optimization problems: minimum piercing set (MPS), maximum independent set (MIS), minimum vertex cover (MVC), and maximum-cardinality matching (MCM). Highlights of our results include the following: * For $n$ axis-aligned boxes in any constant dimension $d$, we give an $O(\log \log n)$-approximation algorithm for MPS that runs in $O(n^{1+\delta})$ time for an arbitrarily small constant $\delta>0$. This significantly improves the previous $O(\log\log n)$-approximation algorithm by Agarwal, Har-Peled, Raychaudhury, and Sintos (SODA~2024), which ran in $O(n^{d/2}\mathop{\rm polylog} n)$ time. * Furthermore, we show that our algorithm can be made fully dynamic with $O(n^{\delta})$ amortized update time. Previously, Agarwal et al.~(SODA~2024) obtained dynamic results only in $\mathbb{R}^2$ and achieved only $O(\sqrt{n}\mathop{\rm polylog} n)$ amortized expected update time. * For $n$ axis-aligned rectangles in $\mathbb{R}^2$, we give an $O(1)$-approximation algorithm for MIS that runs in $O(n^{1+\delta})$ time. Our result significantly improves the running time of the celebrated algorithm by Mitchell (FOCS~2021) (which was about $O(n^{21})$), and answers one of his open questions. Our algorithm can also be made fully dynamic with $O(n^{\delta})$ amortized update time. * For $n$ (unweighted or weighted) fat objects in any constant dimension, we give a dynamic $O(1)$-approximation algorithm for MIS with $O(n^{\delta})$ amortized update time. * For disks in $\mathbb{R}^2$ or hypercubes in any constant dimension, we give the first fully dynamic $(1+\varepsilon)$-approximation algorithms for MVC and MCM with $O(\mathop{\rm polylog}n)$ amortized update time.

On the Performance of Maximal Intersection of Spherical Polygons by Arcs

Some notes on maximal arc intersection of spherical polygons: its <img src="/fulltext-image.asp?format=htmlnonpaginated&src=U512UHW3868223V3_html\371_2009_406_Article_IEq1.gif" border="0" alt="$\mathcal{NP}$" />-hardness and approximation algorithms

Some notes on maximal arc intersection of spherical polygons: its $\mathcal{NP}$ -hardness and approximation algorithms

Some notes on maximal arc intersection of spherical polygons: its 𝒩𝒫 -hardness and approximation algorithms

Maximal Intersection of Spherical Polygons by an Arc with Applications to 4-Axis Machining

Polyhedral Feasible Set Computation of MPC-based Optimal Control Problems.

Optimization Algorithms for Faster Computational Geometry.

On Maximizing the Distance to a Given Point over an Intersection of Balls II

Efficient Exact Algorithms for Minimum Covering of Orthogonal Polygons with Squares

A Feasible Method for Optimization with Orthogonality Constraints

Optimal Point Movement for Covering Circular Regions

Geometric Batch Optimization for the Packing Equal Circles in a Circle Problem on Large Scale

How to Cut Corners and Get Bounded Convex Curvature

On Efficient Approximation of the Maximum Distance to A Point Over an Intersection of Balls

Fast Static and Dynamic Approximation Algorithms for Geometric Optimization Problems: Piercing, Independent Set, Vertex Cover, and Matching

A Geometric Method for Determining Intersection Relations Between a Movable Convex Object and a Set of Planar Polygons.

The Complexity of Distributed Approximation of Packing and Covering Integer Linear Programs

Computing Nonsimple Polygons of Minimum Perimeter

Minimum Scan Cover and Variants -- Theory and Experiments

An Efficient Algorithm for Solving the Arbitrary Sized Circle Packing Problem

Approximation Algorithms for Cutting a Convex Polyhedron out of a Sphere