×

Orthogonal point location and rectangle stabbing queries in 3-d. (English) Zbl 1502.68091

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 31, 14 p. (2018).
Summary: In this work, we present a collection of new results on two fundamental problems in geometric data structures: orthogonal point location and rectangle stabbing.
Orthogonal point location. We give the first linear-space data structure that supports 3-d point location queries on \(n\) disjoint axis-aligned boxes with optimal \(O(\log n)\) query time in the (arithmetic) pointer machine model. This improves the previous \(O(\log^{3/2} n)\) bound by S. Rahul [in: Proceedings of the 26th annual ACM-SIAM symposium on discrete algorithms, SODA 2015. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 200–211 (2015; Zbl 1371.68299)]. We similarly obtain the first linear-space data structure in the I/O model with optimal query cost, and also the first linear-space data structure in the word RAM model with sub-logarithmic query time.
Rectangle stabbing. We give the first linear-space data structure that supports 3-d 4-sided and 5-sided rectangle stabbing queries in optimal \(O(\log_wn+k)\) time in the word RAM model. We similarly obtain the first optimal data structure for the closely related problem of 2-d top-\(k\) rectangle stabbing in the word RAM model, and also improved results for 3-d 6-sided rectangle stabbing.
For point location, our solution is simpler than previous methods, and is based on an interesting variant of the van Emde Boas recursion, applied in a round-robin fashion over the dimensions, combined with bit-packing techniques. For rectangle stabbing, our solution is a variant by S. Alstrup et al. [“New data structures for orthogonal range searching”, in: Proceedings of 41st annual IEEE symposium on foundations of computer science, FOCS’00. Los Alamitos, CA: IEEE Computer Science. 198–207 (2000; doi:10.1109/SFCS.2000.892088)] grid-based recursive technique, combined with a number of new ideas.
For the entire collection see [Zbl 1392.68012].

MSC:

68P05 Data structures
68U05 Computer graphics; computational geometry (digital and algorithmic aspects)

Citations:

Zbl 1371.68299

References:

[1] Peyman Afshani. On dominance reporting in 3D. In {\it Proceedings of European Symposium} {\it on Algorithms (ESA)}, pages 41-51, 2008. · Zbl 1158.68363
[2] Peyman Afshani, Lars Arge, and Kasper Dalgaard Larsen. Orthogonal range reporting: query lower bounds, optimal structures in 3-d, and higher-dimensional improvements. In {\it Proceedings of Symposium on Computational Geometry (SoCG)}, pages 240-246, 2010. · Zbl 1284.68572
[3] Peyman Afshani, Lars Arge, and Kasper Green Larsen. Higher-dimensional orthogonal range reporting and rectangle stabbing in the pointer machine model. In {\it Proceedings of} {\it Symposium on Computational Geometry (SoCG)}, pages 323-332, 2012. · Zbl 1293.68278
[4] Peyman Afshani, Gerth Stølting Brodal, and Norbert Zeh. Ordered and unordered top-k range reporting in large data sets. In {\it Proceedings of the Annual ACM-SIAM Symposium} {\it on Discrete Algorithms (SODA)}, pages 390-400, 2011. · Zbl 1373.68182
[5] Stephen Alstrup, Gerth Stølting Brodal, and Theis Rauhe. New data structures for orthogonal range searching. In {\it Proceedings of Annual IEEE Symposium on Foundations of} {\it Computer Science (FOCS)}, pages 198-207, 2000.
[6] Lars Arge, Andrew Danner, and Sha-Mayn Teh. I/O-efficient point location using persistent B-trees. {\it ACM Journal of Experimental Algorithmics}, 8, 2003. · Zbl 1085.68565
[7] J.L. Bentley. Solutions to Klee’s rectangle problems. {\it Technical Report, Carnegie-Mellon} {\it University, Pittsburgh, PA}, 1977.
[8] Gerth Stølting Brodal. External memory three-sided range reporting and top-{\it k }queries with sublogarithmic updates. In {\it Proceedings of Symposium on Theoretical Aspects of Computer} {\it Science (STACS)}, volume 47, pages 23:1-23:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. · Zbl 1388.68027
[9] Gerth Stølting Brodal, Rolf Fagerberg, Mark Greve, and Alejandro Lopez-Ortiz. Online sorted range reporting. In {\it International Symposium on Algorithms and Computation (ISAAC)}, pages 173-182, 2009. · Zbl 1272.68113
[10] Timothy M. Chan. Persistent predecessor search and orthogonal point location on the word RAM. {\it ACM Transactions on Algorithms}, 9(3):22, 2013. · Zbl 1301.68236
[11] Timothy M. Chan, Kasper Green Larsen, and Mihai Pˇatraşcu. Orthogonal range searching on the RAM, revisited. In {\it Proceedings of Symposium on Computational Geometry (SoCG)}, pages 1-10, 2011. · Zbl 1283.68139
[12] Bernard Chazelle. Filtering search: A new approach to query-answering. {\it SIAM Journal of} {\it Computing}, 15(3):703-724, 1986. · Zbl 0612.68088
[13] Mark de Berg, Marc J. van Kreveld, and Jack Snoeyink. Two- and three-dimensional point location in rectangular subdivisions. {\it Journal of Algorithms}, 18(2):256-277, 1995. · Zbl 0939.68936
[14] Herbert Edelsbrunner, Leonidas J. Guibas, and Jorge Stolfi. Optimal point location in a monotone subdivision. {\it SIAM Journal of Computing}, 15(2):317-340, 1986. · Zbl 0602.68102
[15] Herbert Edelsbrunner, G. Haring, and D. Hilbert. Rectangular point location in d dimensions with applications. {\it Comput. J.}, 29(1):76-82, 1986.
[16] Michael T. Goodrich, Jyh-Jong Tsay, Darren Erik Vengroff, and Jeffrey Scott Vitter. External-memory computational geometry. In {\it Proceedings of Annual IEEE Symposium} {\it on Foundations of Computer Science (FOCS)}, pages 714-723, 1993.
[17] John Iacono and Stefan Langerman. Dynamic point location in fat hyperrectangles with integer coordinates. In {\it Proceedings of the Canadian Conference on Computational Geometry} {\it (CCCG)}, 2000.
[18] David G. Kirkpatrick. Optimal search in planar subdivisions. {\it SIAM Journal of Computing}, 12(1):28-35, 1983. · Zbl 0501.68034
[19] Richard J. Lipton and Robert Endre Tarjan. Applications of a planar separator theorem. {\it SIAM Journal of Computing}, 9(3):615-627, 1980. · Zbl 0456.68077
[20] Yakov Nekrich.I/O-efficient point location in a set of rectangles.In {\it Latin American} {\it Symposium on Theoretical Informatics (LATIN)}, pages 687-698, 2008. · Zbl 1136.68593
[21] Mihai Pˇatraşcu. Unifying the landscape of cell-probe lower bounds. {\it SIAM Journal of} {\it Computing}, 40(3):827-847, 2011. · Zbl 1226.68033
[22] Mihai Pˇatraşcu and Mikkel Thorup.Time-space trade-offs for predecessor search.In {\it Proceedings of ACM Symposium on Theory of Computing (STOC)}, pages 232-240, 2006. · Zbl 1301.68150
[23] Saladi Rahul. Improved bounds for orthogonal point enclosure query and point location in orthogonal subdivisions in R3. In {\it Proceedings of the Annual ACM-SIAM Symposium on} {\it Discrete Algorithms (SODA)}, pages 200-211, 2015. · Zbl 1371.68299
[24] Saladi Rahul and Ravi Janardan. A general technique for top-{\it k }geometric intersection query problems. {\it IEEE Transactions on Knowledge and Data Engineering (TKDE)}, 26(12):2859- 2871, 2014.
[25] Saladi Rahul and Yufei Tao. On top-k range reporting in 2d space. In {\it Proceedings of ACM} {\it Symposium on Principles of Database Systems (PODS)}, pages 265-275, 2015.
[26] Saladi Rahul and Yufei Tao. Efficient top-k indexing via general reductions. In {\it Proceedings} {\it of ACM Symposium on Principles of Database Systems (PODS)}, 2016.
[27] Neil Sarnak and Robert Endre Tarjan. Planar point location using persistent search trees. {\it Communications of the ACM (CACM)}, 29(7):669-679, 1986.
[28] Cheng Sheng and Yufei Tao. Dynamic top-k range reporting in external memory.In {\it Proceedings of ACM Symposium on Principles of Database Systems (PODS)}, 2012.
[29] Qingmin Shi and Joseph JáJá. Novel transformation techniques using q-heaps with applications to computational geometry. {\it SIAM Journal of Computing}, 34(6):1474-1492, 2005. · Zbl 1081.68014
[30] Jack Snoeyink. Point location. In J. E. Goodman and J. O’Rourke, editors, {\it Handbook of} {\it Discrete and Computational Geometry}, pages 767-787. CRC Press, 2nd edition, 2004.
[31] Yufei Tao. A dynamic I/O-efficient structure for one-dimensional top-k range reporting. In {\it Proceedings of ACM Symposium on Principles of Database Systems (PODS)}, pages 256-265, 2014.
[32] :14
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.