Balanced line separators of unit disk graphs

Paz Carmi, Man Kwun Chiu, Matthew J. Katz, Matias Korman, Yoshio Okamoto, André van Renssen, Marcel Roeloffzen, Taichi Shiitada, Shakhar Smorodinsky

Research output: Contribution to journalArticlepeer-review

Abstract

We prove a geometric version of the graph separator theorem for the unit disk intersection graph: for any set of n unit disks in the plane there exists a line ℓ such that ℓ intersects at most O((m+n)log⁡n) disks and each of the halfplanes determined by ℓ contains at most 2n/3 unit disks from the set, where m is the number of intersecting pairs of disks. We also show that an axis-parallel line intersecting O(m+n) disks exists, but each halfplane may contain up to 4n/5 disks. We give an almost tight lower bound (up to sublogarithmic factors) for our approach, and also show that no line-separator of sublinear size in n exists when we look at disks of arbitrary radii, even when m=0. Proofs are constructive and suggest simple algorithms that run in linear time. Experimental evaluation has also been conducted, which shows that for random instances our method outperforms the method by Fox and Pach (whose separator has size O(m)).

Original languageEnglish
Article number101575
JournalComputational Geometry: Theory and Applications
Volume86
DOIs
Publication statusPublished - 2020 Jan

Keywords

  • Balanced separator
  • Centerpoint
  • Geometric intersection graph
  • Line separator
  • Unit disk graph

ASJC Scopus subject areas

  • Computer Science Applications
  • Geometry and Topology
  • Control and Optimization
  • Computational Theory and Mathematics
  • Computational Mathematics

Fingerprint Dive into the research topics of 'Balanced line separators of unit disk graphs'. Together they form a unique fingerprint.

Cite this