The paper studies the planar two-center problem, which asks to find two smallest congruent disks whose union contains a given set S of n points in the plane. This problem has been extensively studied, with the previous best algorithm running in O(n log^2 n) time.
The key contributions are:
A new decision algorithm that can determine in O(n) time whether there exist two radius-r disks covering the point set S, after O(n log n) time preprocessing. This is achieved by introducing a new concept called "r-coverage" and proving several interesting properties about it.
Using the decision algorithm and known techniques, an O(n log n)-time deterministic algorithm is presented for the planar two-center problem, which matches the known lower bound and resolves a longstanding open problem.
The correctness analysis of the algorithm is technically involved, requiring a nontrivial combination of several novel insights into the problem, along with known observations in the literature.
Para Outro Idioma
do conteúdo original
arxiv.org
Principais Insights Extraídos De
by Kyungjin Cho... às arxiv.org 05-01-2024
https://arxiv.org/pdf/2007.08784.pdfPerguntas Mais Profundas