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.
Til et annet språk
fra kildeinnhold
arxiv.org
Viktige innsikter hentet fra
by Kyungjin Cho... klokken arxiv.org 05-01-2024
https://arxiv.org/pdf/2007.08784.pdfDypere Spørsmål