TY - UNPB

T1 - Stabbing pairwise intersecting disks by four points

AU - Carmi, Paz

AU - Katz, Matthew J.

AU - Morin, Pat

PY - 2018/12/17

Y1 - 2018/12/17

N2 - In their seminal work, Danzer (1956, 1986) and Stachó (1981) established that every set of pairwise intersecting disks in the plane can be stabbed by four points. However, both these proofs are non-constructive, at least in the sense that they do not seem to imply an efficient algorithm for finding the stabbing points, given such a set of disks D. Recently, Har-Peled et al. (2018) presented a relatively simple linear-time algorithm for finding five points that stab D. We present an alternative proof (and the first in English) to the assertion that four points are sufficient to stab D. Moreover, our proof is constructive and provides a simple linear-time algorithm for finding the stabbing points. As a warmup, we present a nearly-trivial liner-time algorithm with an elementary proof for finding five points that stab D.

AB - In their seminal work, Danzer (1956, 1986) and Stachó (1981) established that every set of pairwise intersecting disks in the plane can be stabbed by four points. However, both these proofs are non-constructive, at least in the sense that they do not seem to imply an efficient algorithm for finding the stabbing points, given such a set of disks D. Recently, Har-Peled et al. (2018) presented a relatively simple linear-time algorithm for finding five points that stab D. We present an alternative proof (and the first in English) to the assertion that four points are sufficient to stab D. Moreover, our proof is constructive and provides a simple linear-time algorithm for finding the stabbing points. As a warmup, we present a nearly-trivial liner-time algorithm with an elementary proof for finding five points that stab D.

KW - Disks in the plane

KW - Helly-type theorems

KW - Piercing set

UR - https://www.mendeley.com/catalogue/82e25491-3b60-3c86-bce5-bb1505140ace/

M3 - Preprint

T3 - arXiv

BT - Stabbing pairwise intersecting disks by four points

ER -