Abstract
In their seminal work, Danzer (Stud. Sci. Math. Hungar. 21(1–2), 111–134 (1986)) and Stachó (Mat. Lapok 32(1–3), 19–47 (1981–84)) established that every set D of pairwise intersecting disks in the plane can be stabbed by four points. Recently, Har-Peled et al. (Discrete Math. 344(7), # 112403 (2021)) presented a relatively simple linear-time algorithm for finding five points that stab D. We present an alternative (somewhat less involved) proof 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 linear-time algorithm with an elementary proof for finding five points that stab D.
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig1_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig2_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig3_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig4_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig5_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig6_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig7_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig8_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig9_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig10_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig11_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig12_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig13_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig14_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig15_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig16_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig17_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig18_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig19_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig20_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig21_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-023-00567-0/MediaObjects/454_2023_567_Fig22_HTML.png)
Similar content being viewed by others
Notes
Stachó, on the other hand, starts with the maximum inscribed disk d defined by three arbitrary disks in D that do not have a common point. Notice that d does not necessarily intersect all disks in D.
References
Chazelle, B., Matoušek, J.: On linear-time deterministic algorithms for optimization problems in fixed dimension. J. Algorithms 21(3), 579–597 (1996)
Danzer, L.: Zur Lösung des Gallaischen Problems über Kreisscheiben in der Euklidischen Ebene. Stud. Sci. Math. Hungar. 21(1–2), 111–134 (1986)
Grünbaum, B.: On intersections of similar sets. Portugal. Math. 18, 155–164 (1959)
Hadwiger, H., Debrunner, H.: Ausgewählte Einzelprobleme der kombinatorischen Geometrie in der Ebene. Enseign. Math. 1, 56–89 (1955)
Har-Peled, S., Kaplan, H., Mulzer, W., Roditty, L., Seiferth, P., Sharir, M., Willert, M.: Stabbing pairwise intersecting disks by five points. Discrete Math. 344(7), # 112403 (2021)
Helly, E.: Über Mengen konvexer Körper mit gemeinschaftlichen Punkten. Jahresber. Dtsch. Math.-Ver. 32, 175–176 (1923)
Helly, E.: Über Systeme von abgeschlossenen Mengen mit gemeinschaftlichen Punkten. Monatsh. Math. Phys. 37, 281–302 (1930)
Löffler, M., van Kreveld, M.J.: Largest bounding box, smallest diameter, and related problems on imprecise points. Comput. Geom. 43(4), 419–433 (2010)
Matoušek, J., Sharir, M., Welzl, E.: A subexponential bound for linear programming. Algorithmica 16(4–5), 498–516 (1996)
Radon, J.: Mengen konvexer Körper, die einen gemeinsamen Punkt enthalten. Math. Ann. 83(1–2), 113–115 (1921)
Stachó, L.: Über ein Problem für Kreisscheibenfamilien. Acta Sci. Math. (Szeged) 26, 273–282 (1965)
Stachó, L.: A solution of Gallai’s problem on pinning down circles. Mat. Lapok 32(1–3), 19–47 (1981–84)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Carmi, P., Katz, M.J. & Morin, P. Stabbing Pairwise Intersecting Disks by Four Points. Discrete Comput Geom 70, 1751–1784 (2023). https://doi.org/10.1007/s00454-023-00567-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-023-00567-0