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.

Fast and precise approximation of Minkowski sum of two rotational ellipsoids with a superellipsoid

Fast Corotational Simulation for Example-Driven Deformation.

Discrete Element Simulation of Cylindrical Particles Using Super-Ellipsoids

Ellipsoidal-blob Approximation of 3D Models and Its Applications

Real-Time-Feasible Collision-Free Motion Planning For Ellipsoidal Objects

Closed-Form Minkowski Sum Approximations for Efficient Optimization-Based Collision Avoidance

B-spline surface fitting by iterative geometric interpolation/approximation algorithms

Fast Multidimensional Ellipsoid-Specific Fitting by Alternating Direction Method of Multipliers

An Approach to Distribute the Marker Points on Non-Spherical Particle/boundary Surface Within the IBM-LBM Framework

A novel approach for ellipsoidal outer-approximation of the intersection region of ellipses in the plane

Approximating Solid Objects By Ellipsoid-Tree

Quantum Speedups for Approximating the John Ellipsoid

THE IMLS METHOD OF SQUARE SPHERE

A Fast Algorithm for Multidimensional Ellipsoid-Specific Fitting by Minimizing a New Defined Vector Norm of Residuals Using Semidefinite Programming

Q-MAT: Computing Medial Axis Transform By Quadratic Error Minimization.

Perfect Approximation of Ellipsoid by Polynomials

A Rapid Method for Calculating Maximal and Minimal Inter-Satellite Distances

Faster fast evaluation of thin plate splines in two dimensions

An inertial accelerated outer quadratic approximation method for split feasibility problem with application to elastic net

Approximation Algorithms for Cutting a Convex Polyhedron out of a Sphere

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