Towards Space Efficient Two-Point Shortest Path Queries in a Polygonal Domain

Abstract

We devise a data structure that can answer shortest path queries for two query points in a polygonal domain \(P\) on \(n\) vertices. For any \(\varepsilon > 0\), the space complexity of the data structure is \(O(n^{10+\varepsilon})\) and queries can be answered in \(O(\log n)\) time. Alternatively, we can achieve a space complexity of \(O(n^{9+\varepsilon})\) by relaxing the query time to \(O(\log^2 n)\). This is the first improvement upon a conference paper by Chiang and Mitchell from 1999. They presented a data structure with \(O(n^{11})\) space complexity and \(O(\log n)\) query time. Our main result can be extended to include a space-time trade-off. Specifically, we devise data structures with \(O(n^{9+\varepsilon}/\hspace{1pt} \ell^{4 + O(\varepsilon)})\) space complexity and \(O(\ell \log^2 n )\) query time, for any integer \(1 \leq \ell \leq n\).

Furthermore, we present improved data structures for the special case where we restrict one (or both) of the query points to lie on the boundary of \(P\). When one of the query points is restricted to lie on the boundary, and the other query point is unrestricted, the space complexity becomes \(O(n^{6+\varepsilon})\) and the query time \(O(\log^2n)\). When both query points are on the boundary, the space complexity is decreased further to \(O(n^{4+\varepsilon})\) and the query time to \(O(\log n)\), thereby improving an earlier result of Bae and Okamoto.

Corresponding Publications

Towards Space Efficient Two-Point Shortest Path Queries in a Polygonal Domain

Sarita de Berg, Till Miltzow, Frank Staals

Proc. 40th Annual Symposium on Computational Geometry, 2024

@inproceedings{twoptsp2024,
  author = {de Berg, Sarita and Miltzow, Till and Staals, Frank},
  title = {Towards Space Efficient Two-Point Shortest Path Queries in a Polygonal Domain},
  booktitle = {Proc. 40th Annual Symposium on Computational Geometry},
  year = {2024},
  location = {Athens, Greece},
  keywords = {data structure, polygonal domain, geodesic distance, shortest path},
  category = {geodesic},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  doi = {4230/LIPIcs.SoCG.2024.17},
  url = {https://doi.org/10.4230/LIPIcs.SoCG.2024.17},
  volume = {293},
  pages = {17:1--17:16},
}

Towards Space Efficient Two-Point Shortest Path Queries in a Polygonal Domain

Sarita de Berg, Till Miltzow, Frank Staals

Abstr. 39th European Workshop on Computational Geometry (EuroCG), 2023

@article{twoptsp_eurocg,
  author = {de Berg, Sarita and Miltzow, Till and Staals, Frank},
  title = {Towards Space Efficient Two-Point Shortest Path Queries in a Polygonal Domain},
  journal = {Abstr. 39th European Workshop on Computational Geometry (EuroCG)},
  year = {2023},
  location = {Barcelona, Spain},
  numpages = {9},
  category = {geodesic},
  project = {twoptsp2024},
}