Star-Based Separators for Intersection Graphs of $c$-Colored Pseudo-Segments

TL;DR

This paper introduces star-based separators for intersection graphs of $c$-oriented pseudo-segments, enabling efficient approximate distance oracles with subquadratic storage and sublinear query time.

Contribution

It presents the first star-based separator results for $c$-oriented pseudo-segments and polygons, leading to efficient approximate distance oracles with additive error.

Findings

Star-based separators of size $O(\sqrt{n})$ exist for $c$-oriented pseudo-segments.

The results extend to intersection graphs of $c$-oriented polygons.

An almost-exact distance oracle with $O(n\sqrt{n})$ storage and $O(\sqrt{n})$ query time is achieved.

Abstract

The Planar Separator Theorem, which states that any planar graph $\mathcal{G}$ has a separator consisting of $O(\sqrt{n})$ nodes whose removal partitions $\mathcal{G}$ into components of size at most $\tfrac{2n}{3}$, is a widely used tool to obtain fast algorithms on planar graphs. Intersection graphs of disks, which generalize planar graphs, do not admit such separators. It has recently been shown that disk graphs do admit so-called clique-based separators that consist of $O(\sqrt{n})$ cliques. This result has been generalized to intersection graphs of various other types of disk-like objects. Unfortunately, segment intersection graphs do not admit small clique-based separators, because they can contain arbitrarily large bicliques. This is true even in the simple case of axis-aligned segments. In this paper we therefore introduce biclique-based separators (and, in particular, star-based separators), which are separators consisting of a small number of bicliques (or stars). We prove that any $c$-oriented set of $n$ segments in the plane, where $c$ is a constant, admits a star-based separator consisting of $O(\sqrt{n})$ stars. In fact, our result is more general, as it applies to any set of $n$ pseudo-segments that is partitioned into $c$ subsets such that the pseudo-segments in the same subset are pairwise disjoint. We extend our result to intersection graphs of $c$-oriented polygons. These results immediately lead to an almost-exact distance oracle for such intersection graphs, which has $O(n\sqrt{n})$ storage and $O(\sqrt{n})$ query time, and that can report the hop-distance between any two query nodes in the intersection graph with an additive error of at most 2. This is the first distance oracle for such types of intersection graphs that has subquadratic storage and sublinear query time and that only has an additive error.