Abstract:Let $P$ be a set of $m$ points in ${\mathbb R}^2$, let $\Sigma$ be a set of $n$ semi-algebraic sets of constant complexity in ${\mathbb R}^2$, let $(S,+)$ be a semigroup, and let $w: P \rightarrow S$ be a weight function on the points of $P$. We describe a randomized algorithm for computing $w(P\cap\sigma)$ for every $\sigma\in\Sigma$ in overall expected time $O^*\bigl( m^{\frac{2s}{5s-4}}n^{\frac{5s-6}{5s-4}} + m^{2/3}n^{2/3} + m + n \bigr)$, where $s>0$ is a constant that bounds the maximum complexity of the regions of $\Sigma$, and where the $O^*(\cdot)$ notation hides subpolynomial factors. For $s\ge 3$, surprisingly, this bound is smaller than the best-known bound for answering $m$ such queries in an on-line manner. The latter takes $O^*(m^{\frac{s}{2s-1}}n^{\frac{2s-2}{2s-1}}+m+n)$ time. Let $\Phi: \Sigma \times P \rightarrow \{0,1\}$ be the Boolean predicate (of constant complexity) such that $\Phi(\sigma,p) = 1$ if $p\in\sigma$ and $0$ otherwise, and let $\Sigma\mathop{\Phi} P = \{ (\sigma,p) \in \Sigma\times P \mid \Phi(\sigma,p)=1\}$. Our algorithm actually computes a partition ${\mathcal B}_\Phi$ of $\Sigma\mathop{\Phi} P$ into bipartite cliques (bicliques) of size (i.e., sum of the sizes of the vertex sets of its bicliques) $O^*\bigl( m^{\frac{2s}{5s-4}}n^{\frac{5s-6}{5s-4}} + m^{2/3}n^{2/3} + m + n \bigr)$. It is straightforward to compute $w(P\cap\sigma)$ for all $\sigma\in \Sigma$ from ${\mathcal B}_\Phi$. Similarly, if $\eta: \Sigma \rightarrow S$ is a weight function on the regions of $\Sigma$, $\sum_{\sigma\in \Sigma: p \in \sigma} \eta(\sigma)$, for every point $p\in P$, can be computed from ${\mathcal B}_\Phi$ in a straightforward manner. A recent work of Chan et al. solves the online version of this dual point enclosure problem within the same performance bound as our off-line solution. We also mention a few other applications of computing ${\mathcal B}_\Phi$.

On the complexity of analyticity in semi-definite optimization

On Computing the Nonlinearity Interval in Parametric Semidefinite Optimization

Existence theorems for optimal solutions in semi-algebraic optimization

Bounds on the infimum of polynomials over a generic semi-algebraic set using asymptotic critical values

A General Analysis Framework of Lower Complexity Bounds for Finite-Sum Optimization

Intrinsic complexity estimates in polynomial optimization 1

On the Geometric Analysis of a Quartic–quadratic Optimization Problem under a Spherical Constraint

The Bit Complexity of Dynamic Algebraic Formulas and their Determinants

On the directional asymptotic approach in optimization theory

Optimal Curve Straightening is $\exists\mathbb{R}$-Complete

Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem

Geometric constructions in the theory of analytic complexity

Low Complexity of Optimizing Measures Over an Expanding Circle Map

On Minkowski symmetrizations of $α$-concave functions and related applications

Semi-Algebraic Off-line Range Searching and Biclique Partitions in the Plane

On the Hardness of Meaningful Local Guarantees in Nonsmooth Nonconvex Optimization

On the complexity of finding a local minimizer of a quadratic function over a polytope

Hierarchies for Semidefinite Optimization in $\mathcal{C}^\star$-Algebras

A Feasible Method for Optimization with Orthogonality Constraints

On the Oracle Complexity of Higher-Order Smooth Non-Convex Finite-Sum Optimization

The Bit Complexity of Efficient Continuous Optimization