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

Institutions

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

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

A Clique-Based Separator for Intersection Graphs of Geodesic Disks in $$\mathbb {R}^2$$

Leonidas Theocharous, Mark de Berg, Boris Aronov
1 links
Algorithmica
Computational Geometry and Mesh Generation
article

A Clique-Based Separator for Intersection Graphs of Geodesic Disks in $$\mathbb {R}^2$$

Leonidas Theocharous, Mark de Berg, Boris Aronov
article en

Abstract

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.

AlgorithmicaVol. 87(12)
University of Ottawa (CA), New York University (US), Eindhoven University of Technology (NL)
National Science Foundation, Nederlandse Organisatie voor Wetenschappelijk Onderzoek
Openalex Percentile: Top 59%
Computational Geometry and Mesh Generation
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.