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.

Approximation Algorithms for Cutting a Convex Polyhedron out of a Sphere

A Class of Optimal Transportation Problems on the Sphere

Algorithm for Fast Calculating the Nearest Distance Between Space Point and Arbitrary Polyhedron

Approximation Algorithms for Finding Maximum Containing Circle and Sphere

Equidistant Smoothing of Polyhedra with Arbitrary Topologies

A Ptas for Cutting out Polygons with Lines

Approximating Smallest Containers for Packing Three-dimensional Convex Objects

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

Variational Sphere Set Approximation for Solid Objects

Optimal Finite Homogeneous Sphere Approximation

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

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

Approximation Schemes for Geometric Knapsack for Packing Spheres and Fat Objects

On the Performance of Maximal Intersection of Spherical Polygons by Arcs

CIM Algorithm for Approximating Three-Dimensional Polygonal Curves

Approximation Schemes for Partitioning: Convex Decomposition and Surface Approximation

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

Sphere-based Cut Construction for Planar Parameterizations

Several problems on reduced spherical polygons of thickness less than π/2

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

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