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.
לשפה אחרת
מתוכן המקור
arxiv.org
תובנות מפתח מזוקקות מ:
by Kyungjin Cho... ב- arxiv.org 05-01-2024
https://arxiv.org/pdf/2007.08784.pdfשאלות מעמיקות