Document

# On a Problem of Danzer

## File

LIPIcs.ESA.2018.64.pdf
• Filesize: 400 kB
• 8 pages

## Cite As

Nabil H. Mustafa and Saurabh Ray. On a Problem of Danzer. In 26th Annual European Symposium on Algorithms (ESA 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 112, pp. 64:1-64:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/LIPIcs.ESA.2018.64

## Abstract

Let C be a bounded convex object in R^d, and P a set of n points lying outside C. Further let c_p, c_q be two integers with 1 <= c_q <= c_p <= n - floor[d/2], such that every c_p + floor[d/2] points of P contains a subset of size c_q + floor[d/2] whose convex-hull is disjoint from C. Then our main theorem states the existence of a partition of P into a small number of subsets, each of whose convex-hull is disjoint from C. Our proof is constructive and implies that such a partition can be computed in polynomial time. In particular, our general theorem implies polynomial bounds for Hadwiger-Debrunner (p, q) numbers for balls in R^d. For example, it follows from our theorem that when p > q >= (1+beta) * d/2 for beta > 0, then any set of balls satisfying the HD(p,q) property can be hit by O(q^2 p^{1+1/(beta)} log p) points. This is the first improvement over a nearly 60-year old exponential bound of roughly O(2^d). Our results also complement the results obtained in a recent work of Keller et al. where, apart from improvements to the bound on HD(p, q) for convex sets in R^d for various ranges of p and q, a polynomial bound is obtained for regions with low union complexity in the plane.

## Subject Classification

##### ACM Subject Classification
• Theory of computation → Computational geometry
##### Keywords
• Convex polytopes
• Epsilon-nets
• Balls

## Metrics

• Access Statistics
• Total Accesses (updated on a weekly basis)
0

## References

1. N. Alon and D. Kleitman. Piercing convex sets and the Hadwiger-Debrunner (p,q)-problem. Adv. Math., 96(1):103-112, 1992.
2. J. Bourgain and J. Lindenstrauss. On covering a set in Rⁿ by balls of the same diameter. In Geometric Aspects of Functional Analysis, pages 138-144. Springer Berlin Heidelberg, 1991.
3. K. Clarkson and P. Shor. Applications of random sampling in computational geometry, II. Discrete & Computational Geometry, 4(5):387-421, 1989.
4. L. Danzer. Uber zwei Lagerungsprobleme; Abwandlungen einer Vermutung von T. Gallai. PhD thesis, Techn. Hochschule Munchen, 1960.
5. L. Danzer. Uber durchschnittseigenschaften n-dimensionaler kugelfamilien. J. Reine Angew. Math., 208:181-203, 1961.
6. D. de Caen. Extension of a theorem of Moon and Moser on complete subgraphs. Ars Combin., 16:5-10, 1983.
7. J. Eckhoff. A survey of the Hadwiger-Debrunner (p, q)-problem. In Discrete and Computational Geometry: The Goodman-Pollack Festschrift, pages 347-377. Springer, 2003.
8. A. Holmsen and R. Wenger. Helly-type theorems and geometric transversals. In J. E. Goodman, J. O'Rourke, and C. D. Tóth, editors, Handbook of Discrete and Computational Geometry, pages 91-123. CRC Press LLC, 2017.
9. C. Keller, S. Smorodinsky, and G. Tardos. Improved bounds on the Hadwiger-Debrunner numbers. Israel J. of Math., to appear, 2017.
10. C. Keller, S. Smorodinsky, and G. Tardos. On max-clique for intersection graphs of sets and the hadwiger-debrunner numbers. In Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 2254-2263, 2017.
11. A. Kupavskii, N. H. Mustafa, and J. Pach. Near-optimal lower bounds for ε-nets for half-spaces and low complexity set systems. In Martin Loebl, Jaroslav Nešetřil, and Robin Thomas, editors, A Journey Through Discrete Mathematics: A Tribute to Jiří Matoušek, pages 527-541. Springer International Publishing, 2017.
12. J. Matoušek. Lectures in Discrete Geometry. Springer-Verlag, New York, NY, 2002.
13. N. H. Mustafa and S. Ray. Weak ε-nets have a basis of size O(1/ε log 1/ε). Comp. Geom: Theory and Appl., 40(1):84-91, 2008.
14. N. H. Mustafa and S. Ray. An optimal generalization of the colorful Carathéodory theorem. Discrete Mathematics, 339(4):1300-1305, 2016.
15. N. H. Mustafa and K. Varadarajan. Epsilon-approximations and epsilon-nets. In J. E. Goodman, J. O'Rourke, and C. D. Tóth, editors, Handbook of Discrete and Computational Geometry, pages 1241-1268. CRC Press LLC, 2017.
16. S. Smorodinsky, M. Sulovský, and U. Wagner. On center regions and balls containing many points. In Proceedings of the 14th annual International Conference on Computing and Combinatorics, COCOON '08, pages 363-373, 2008.
17. U. Wagner. k-sets and k-facets. In J.E. Goodman, J. Pach, and R. Pollack, editors, Surveys on Discrete and Computational Geometry: Twenty Years Later, Contemporary Mathematics, pages 231-255. American Mathematical Society, 2008.
X

Feedback for Dagstuhl Publishing

### Thanks for your feedback!

Feedback submitted

### Could not send message

Please try again later or send an E-mail