Two Approaches to Building Time-Windowed Geometric Data Structures

AbstractGiven a set of geometric objects each associated with a time value, we wish to determine whether a given property is true for a subset of those objects whose time values fall within a query time window. We call such problems time-windowed decision problems, and they have been the subject of much recent attention, for instance studied by Bokal et al. (in: Proceedings of the 31st International Symposium on Computational Geometry (SoCG), pp 240–254, 2015). In this paper, we present new approaches to this class of problems that are conceptually simpler than Bokal et al. ’s, and also lead to faster algorithms. For instance, we present algorithms for preprocessing for both the time-windowed 2D diameter decision problem and the time-windowed 2D convex hull area decision problem in $$O(n \log n)$$O(nlogn) time, improving Bokal et al. ’s $$O(n \log ^2 n)$$O(nlog2n) and $$O(n \log n \log \log n)$$O(nlognloglogn) solutions respectively. Our first approach is to reduce time-windowed decision problems to a generalized range successor problem, which we solve using a novel way to search range trees. Our other approach is to use dynamic data structures directly, taking advantage of a new observation that the total number of combinatorial changes to a planar convex hull is linear for any FIFO update sequence, in which deletions occur in the same order as insertions. We also apply these approaches to obtain the first $$O(n\, \mathrm{polylog}\, n)$$O(npolylogn) algorithms for the time-windowed 3D diameter decision and 2D orthogonal segment intersection detection problems.