A range family ℛ is a family of subsets of ℝ^d, like all halfplanes, or all unit disks. Given a range family ℛ, we consider the m-uniform range capturing hypergraphs ℋ(V,ℛ,m) whose vertex-sets V are finite sets of points in ℝ^d with any m vertices forming a hyperedge e whenever e = V ∩ R for some R ∈ ℛ. Given additionally an integer k ≥ 2, we seek to find the minimum m = m_ℛ(k) such that every ℋ(V,ℛ,m) admits a polychromatic k-coloring of its vertices, that is, where every hyperedge contains at least one point of each color. Clearly, m_ℛ(k) ≥ k and the gold standard is an upper bound m_ℛ(k) = O(k) that is linear in k. A t-shallow hitting set in ℋ(V,ℛ,m) is a subset S ⊆ V such that 1 ≤ |e ∩ S| ≤ t for each hyperedge e; i.e., every hyperedge is hit at least once but at most t times by S. We show for several range families ℛ the existence of t-shallow hitting sets in every ℋ(V,ℛ,m) with t being a constant only depending on ℛ. This in particular proves that m_ℛ(k) ≤ tk = O(k) in such cases, improving previous polynomial bounds in k. Particularly, we prove this for the range families of all axis-aligned strips in ℝ^d, all bottomless and topless rectangles in ℝ², and for all unit-height axis-aligned rectangles in ℝ².
@InProceedings{planken_et_al:LIPIcs.SoCG.2024.74, author = {Planken, Tim and Ueckerdt, Torsten}, title = {{Polychromatic Colorings of Geometric Hypergraphs via Shallow Hitting Sets}}, booktitle = {40th International Symposium on Computational Geometry (SoCG 2024)}, pages = {74:1--74:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-316-4}, ISSN = {1868-8969}, year = {2024}, volume = {293}, editor = {Mulzer, Wolfgang and Phillips, Jeff M.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2024.74}, URN = {urn:nbn:de:0030-drops-200199}, doi = {10.4230/LIPIcs.SoCG.2024.74}, annote = {Keywords: geometric hypergraphs, range spaces, polychromatic coloring, shallow hitting sets} }
Feedback for Dagstuhl Publishing