Abstract
Let P be a set of n points in R d. For a parameter α ∈ (0,1), an α-centerpoint of P is a point p ∈ R d such that all closed halfspaces containing P also contain at least α n points of P. We revisit an algorithm of Clarkson et al. [1996] that computes (roughly) a 1/(4d2)-centerpoint in Õ(d9) randomized time, where Õ hides polylogarithmic terms. We present an improved algorithm that can compute centerpoints with quality arbitrarily close to 1/d2 and runs in randomized time Õ(d7). While the improvements are (arguably) mild, it is the first refinement of the algorithm by Clarkson et al. [1996] in over 20 years. The new algorithm is simpler, and the running time bound follows by a simple random walk argument, which we believe to be of independent interest. We also present several new applications of the improved centerpoint algorithm.
- Timothy M. Chan. 2004. An optimal randomized algorithm for maximum Tukey depth. In Proceedings of the 15th ACM-SIAM Symposium on Discrete Algorithms(SODA’04), J. Ian Munro (Ed.). SIAM, Philadelphia, PA, 430--436. Retrieved from http://dl.acm.org/citation.cfm?id=982792.982853.Google Scholar
- Kenneth L. Clarkson, David Eppstein, Gary L. Miller, Carl Sturtivant, and Shang-Hua Teng. 1996. Approximating center points with iterative Radon points. Int. J. Comput. Geom. Appl. 6 (1996), 357--377. Retrieved from http://cm.bell-labs.com/who/clarkson/center.html.Google ScholarCross Ref
- Devdatt P. Dubhashi and Alessandro Panconesi. 2009. Concentration of Measure for the Analysis of Randomized Algorithms. Cambridge University Press. Retrieved from http://www.cambridge.org/gb/knowledge/isbn/item2327542/.Google Scholar
- Juan Ferrera. 2013. An Introduction to Nonsmooth Analysis. Academic Press, Boston, MA. DOI:https://doi.org/10.1016/C2013-0-15234-8Google Scholar
- Sariel Har-Peled. 2011. Geometric Approximation Algorithms. Math. Surveys 8 Monographs, Vol. 173. Amer. Math. Soc., Boston, MA. DOI:https://doi.org/10.1090/surv/173Google Scholar
- Sariel Har-Peled and Mitchell Jones. 2019. Journey to the center of the point set. In Proceedings of the 35th International Annual Symposium on Computer Geometry (SoCG’19). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Wadern, Germany, 41:1--41:14. DOI:https://doi.org/10.4230/LIPIcs.SoCG.2019.41Google Scholar
- Sariel Har-Peled and Mitchell Jones. 2019. Where is the center of Illinois? Retrieved from https://www.youtube.com/watch?v=NoSvqRGAYYY.Google Scholar
- Sariel Har-Peled and Micha Sharir. 2011. Relative (p,ɛ)-approximations in geometry. Discrete Comput. Geom. 45, 3 (2011), 462--496. DOI:https://doi.org/10.1007/s00454-010-9248-1Google ScholarDigital Library
- Sariel Har-Peled and Timothy Zhou. 2020. Improved Approximation Algorithms for Tverberg Partitions. Retrieved from http://arxiv.org/abs/2007.08717.Google Scholar
- David Haussler and Emo Welzl. 1987. ɛ-nets and simplex range queries. Discrete Comput. Geom. 2 (1987), 127--151. DOI:https://doi.org/10.1007/BF02187876Google ScholarDigital Library
- Svante Janson. 2018. Tail bounds for sums of geometric and exponential variables. Stat. Prob. Lett. 135 (2018), 1--6. DOI:https://doi.org/10.1016/j.spl.2017.11.017Google ScholarCross Ref
- Chaya Keller, Shakhar Smorodinsky, and Gábor Tardos. 2015. Improved bounds on the Hadwiger-Debrunner numbers. Retrieved from https://arxiv.org/abs/1512.04026.Google Scholar
- Chaya Keller, Shakhar Smorodinsky, and Gábor Tardos. 2017. On Max-Clique for intersection graphs of sets and the Hadwiger-Debrunner numbers. In Proceedings of the 28th ACM-SIAM Symposium on Discrete Algorithms (SODA’17), Philip N. Klein (Ed.). SIAM, Philadelphia, PA, 2254--2263. DOI:https://doi.org/10.1137/1.9781611974782.148Google ScholarCross Ref
- Yi Li, Philip M. Long, and Aravind Srinivasan. 2001. Improved bounds on the sample complexity of learning. J. Comput. Syst. Sci. 62, 3 (2001), 516--527.Google ScholarDigital Library
- Jirí Matousek. 1995. Approximations and optimal geometric divide-an-conquer. J. Comput. Syst. Sci. 50, 2 (1995), 203--208. DOI:https://doi.org/10.1006/jcss.1995.1018Google ScholarDigital Library
- Jiří Matoušek. 2002. Lectures on Discrete Geometry. Grad. Text in Math., Vol. 212. Springer, Berlin. DOI:https://doi.org/10.1007/978-1-4613-0039-7/Google Scholar
- Jiří Matoušek and Uli Wagner. 2004. New constructions of weak epsilon-nets. Discrete Comput. Geom. 32, 2 (2004), 195--206. DOI:https://doi.org/10.1007/s00454-004-1116-4Google ScholarDigital Library
- Frédéric Meunier, Wolfgang Mulzer, Pauline Sarrabezolles, and Yannik Stein. 2017. The rainbow at the end of the line—A PPAD formulation of the colorful Carathéodory theorem with applications. In Proceedings of the 28th ACM-SIAM Symposium on Discrete Algorithms (SODA’17), Philip N. Klein (Ed.). SIAM, 1342--1351. DOI:https://doi.org/10.1137/1.9781611974782.87Google ScholarCross Ref
- Gary L. Miller and Donald R. Sheehy. 2010. Approximate centerpoints with proofs. Comput. Geom. 43, 8 (2010), 647--654. DOI:https://doi.org/10.1016/j.comgeo.2010.04.006Google ScholarDigital Library
- Wolfgang Mulzer and Daniel Werner. 2013. Approximating Tverberg points in linear time for any fixed dimension. Discrete Comput. Geom. 50, 2 (2013), 520--535. DOI:https://doi.org/10.1007/s00454-013-9528-7Google ScholarDigital Library
- Nabil H. Mustafa and Saurabh Ray. 2008. Weak ɛ-nets have basis of size O(ɛ −1 log ɛ−1) in any dimension. Comput. Geom. Theory Appl. 40, 1 (2008), 84--91. DOI:https://doi.org/10.1016/j.comgeo.2007.02.006Google ScholarDigital Library
- Nabil H. Mustafa and Kasturi Varadarajan. 2017. Epsilon-approximations and epsilon-nets. Retrieved from http://arxiv.org/abs/1702.03676.Google Scholar
- Richard Rado. 1947. A theorem on general measure. J. Lond. Math. Soc. 21 (1947), 291--300.Google Scholar
- Alexandre Rok and Shakhar Smorodinsky. 2016. Weak 1/r-nets for moving points. In Proceedings of the 32nd International Annual Symposium on Computer Geometry (SoCG). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Wadern, Germany, 59:1--59:13. DOI:https://doi.org/10.4230/LIPIcs.SoCG.2016.59Google Scholar
- David Rolnick and Pablo Soberón. 2016. Algorithms for Tverberg’s theorem via centerpoint theorems. Retrieved from http://arxiv.org/abs/1601.03083.Google Scholar
- Natan Rubin. 2018. An improved bound for weak epsilon-nets in the plane. In Proceedings of the 59th Annual Symposium on Foundations of Computer Science (FOCS’18). IEEE, 224--235. DOI:https://doi.org/10.1109/FOCS.2018.00030Google ScholarCross Ref
- Shang-Hua Teng. 1991. Points, Spheres, and Separators: A Unified Geometric Approach to Graph Partitioning. Ph.D. Dissertation. School of Computer Science, Carnegie Mellon University, Pittsburgh, PA.Google Scholar
- Vladimir N. Vapnik and Alexei Y. Chervonenkis. 1971. On the uniform convergence of relative frequencies of events to their probabilities. Theory Probab. Appl. 16 (1971), 264--280.Google ScholarCross Ref
Index Terms
- Journey to the Center of the Point Set
Recommendations
Fast Connected Components Algorithms for the EREW PRAM
We present fast and efficient parallel algorithms for finding the connected components of an undirected graph. These algorithms run on the exclusive-read, exclusive-write (EREW) PRAM. On a graph with n vertices and m edges, our randomized algorithm ...
Transdichotomous Results in Computational Geometry, I: Point Location in Sublogarithmic Time
Given a planar subdivision whose coordinates are integers bounded by $U\leq2^w$, we present a linear-space data structure that can answer point-location queries in $O(\min\{\lg n/\lg\lg n,$ $\sqrt{\lg U/\lg\lg U}\})$ time on the unit-cost random access ...
Approximate center points with proofs
SCG '09: Proceedings of the twenty-fifth annual symposium on Computational geometryWe present the Iterated-Tverberg algorithm, the first deterministic algorithm for computing an approximate centerpoint of a set S ∈ Rd with running time sub-exponential in d. The algorithm is a derandomization of the Iterated-Radon algorithm of Clarkson ...
Comments