A Clique-Based Separator for Intersection Graphs of Geodesic Disks in $$\mathbb {R}^2$$
Let <i>d</i> be a (well-behaved) shortest-path metric defined on a path-connected subset of [Formula: see text] and let [Formula: see text] be a set of geodesic disks with respect to the metric <i>d</i>. We prove that [Formula: see text], the intersection graph of the disks in [Formula: see text], has a clique-based separator consisting of [Formula: see text] cliques. This significantly extends the class of objects whose intersection graphs have small clique-based separators. Our clique-based separator yields an algorithm for <i>q</i>-Coloring that runs in time [Formula: see text], assuming the boundaries of the disks [Formula: see text] can be computed in polynomial time. We also use our clique-based separator to obtain a simple, efficient, and almost exact distance oracle for intersection graphs of geodesic disks. Our distance oracle uses [Formula: see text] storage and can report the hop distance between any two nodes in [Formula: see text] in [Formula: see text] time, up to an additive error of one. So far, distance oracles with an additive error of one that use subquadratic storage and sublinear query time were not known for such general graph classes.
Authors
- Leonidas Theocharous (ORCID: https://orcid.org/0000-0002-1707-6787)
- Mark de Berg (ORCID: https://orcid.org/0000-0001-5770-3784)
- Boris Aronov (ORCID: https://orcid.org/0000-0003-3110-4702)
Institutions
- University of Ottawa (CA)
- New York University (US)
- Eindhoven University of Technology (NL)
Publication Details
- Journal
- Algorithmica
- Published
- 2025-08-29
- DOI
- https://doi.org/10.1007/s00453-025-01337-5
- Primary Topic
- Computational Geometry and Mesh Generation
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- National Science Foundation
- Nederlandse Organisatie voor Wetenschappelijk Onderzoek