Abstract:Union volume estimation is a classical algorithmic problem. Given a family of objects $O_1,\ldots,O_n \subseteq \mathbb{R}^d$, we want to approximate the volume of their union. In the special case where all objects are boxes (also known as hyperrectangles) this is known as Klee's measure problem. The state-of-the-art algorithm [Karp, Luby, Madras '89] for union volume estimation and Klee's measure problem in constant dimension $d$ computes a $(1+\varepsilon)$-approximation with constant success probability by using a total of $O(n/\varepsilon^2)$ queries of the form (i) ask for the volume of $O_i$, (ii) sample a point uniformly at random from $O_i$, and (iii) query whether a given point is contained in $O_i$. We show that if one can only interact with the objects via the aforementioned three queries, the query complexity of [Karp, Luby, Madras '89] is indeed optimal, i.e., $\Omega(n/\varepsilon^2)$ queries are necessary. Our lower bound already holds for estimating the union of equiponderous axis-aligned polygons in $\mathbb{R}^2$, and even if the algorithm is allowed to inspect the coordinates of the points sampled from the polygons, and still holds when a containment query can ask containment of an arbitrary (not sampled) point. Guided by the insights of the lower bound, we provide a more efficient approximation algorithm for Klee's measure problem improving the $O(n/\varepsilon^2)$ time to $O((n+\frac{1}{\varepsilon^2}) \cdot \log^{O(d)}n)$. We achieve this improvement by exploiting the geometry of Klee's measure problem in various ways: (1) Since we have access to the boxes' coordinates, we can split the boxes into classes of boxes of similar shape. (2) Within each class, we show how to sample from the union of all boxes, by using orthogonal range searching. And (3) we exploit that boxes of different classes have small intersection, for most pairs of classes.

A Pythagorean Theorem for Volume

A Gap Theorem for Complete Submanifolds with Parallel Mean Curvature in the Hyperbolic Space

On volumes determined by subsets of Euclidean space

Generalized incidence theorems, homogeneous forms, and sum-product estimates in finite fields

Projective Transformations of Convex Bodies and Volume Product

The Full Pythagorean Theorem

A Non-Existence Property of Pythagorean Triangles with a 3-D Application

A variant of Marstrand's theorem for projections of cartesian products

Euclidean Distance Degree and Mixed Volume

Convex Equipartitions of volume and surface area

Mixed volumes and the Blaschke–Lebesgue theorem

Kadison's Pythagorean Theorem and essential codimension

Gaussian Volume Bounds Under Hypercube Translations and Generalizations

Approximating Klee's Measure Problem and a Lower Bound for Union Volume Estimation

A generalization of the second Pappus-Guldin theorem

Closed-Form Parametric Equation for the Minkowski Sum of $m$ Ellipsoids in $\mathbb{R}^N$ and Associated Volume Bounds

Rotational Crofton formulae with a fixed subspace

Coloring and density theorems for configurations of a given volume

An Extension of Heron's Formula to Tetrahedra, and the Projective Nature of Its Zeros

Equality conditions for the fractional superadditive volume inequalities

The bottleneck conjecture