A finite family <i>R</i> of simple Jordan regions in the plane defines a hypergraph <i>H</i> = <i>H</i>(<i>R</i>) where the vertex set of <i>H</i> is <i>R</i> and the hyperedges are all subsets <i>S</i> ⊂ <i>R</i> for which there is a point <i>p</i> such that <i>S</i> = {<i>r</i> ∈ <i>R</i>|<i>p</i> ∈ <i>r</i>. The chromatic number of <i>H</i>(<i>R</i>) is the minimum number of colors needed to color the members of <i>R</i> such that no hyperedge is monochromatic. In this paper we initiate the study of the chromatic number of such hypergraphs. We obtain the following results:(i) any hypergraph that is induced by a family of <i>n</i> simple Jordan regions (not necessarily convex) such that the union complexity of any <i>m</i> of them is given by <i>u</i>(<i>m</i>) and <i>u</i>(<i>m</i>)/<i>m</i> is non-decreasing is <i>O</i>(<i>u</i>(<i>n</i>)/<i>n</i>)-colorable. Thus, for example we prove that any finite family of pseudodiscs can be colored with a constant number of colors.(ii) any hypergraph induced by a finite family of planar discs is four-colorable. This bound is tight. In fact, we prove that this statement is equivalent to the Four-Color Theorem.(iii) any hypergraph induced by <i>n</i> axis-parallel rectangles is <i>O</i>(log <i>n</i>)-colorable. This bound is asymptotically tight.Our proofs are constructive. Namely, we provide deterministic polynomial-time algorithms for coloring such hypergraphs with only "few" colors (that is, the number of colors used by these algorithms is upper bounded by the same bounds we obtain on the chromatic number of the given hypergraphs)As an application of (i) and (ii) we obtain simple constructive proofs for the following:(iv) Any set of <i>n</i> Jordan regions with near linear union complexity admits a conflict-free (CF) coloring with polylogarithmic number of colors.(v) Any set of <i>n</i> axis-parallel rectangles admits a CF-coloring with <i>O</i>(log<sup>2</sup>(<i>n</i>)) colors.
[1]
Micha Sharir,et al.
On the union of Jordan regions and collision-free translational motion amidst polygonal obstacles
,
1986,
Discret. Comput. Geom..
[2]
Noga Alon,et al.
Conflict-free colorings of shallow discs
,
2006,
SCG '06.
[3]
Sariel Har-Peled,et al.
On conflict-free coloring of points and simple regions in the plane
,
2003,
SCG '03.
[4]
J. Pach,et al.
Conflict-free colorings
,
2003
.
[5]
Micha Sharir,et al.
Davenport-Schinzel sequences and their geometric applications
,
1995,
Handbook of Computational Geometry.
[6]
K. Appel,et al.
Every planar map is four colorable. Part II: Reducibility
,
1977
.
[7]
M. Sharir,et al.
Combinatorial problems in computational geometry
,
2003
.
[8]
K. Appel,et al.
Every planar map is four colorable. Part I: Discharging
,
1977
.
[9]
Dana Ron,et al.
Conflict-free colorings of simple geometric regions with applications to frequency assignment in cellular networks
,
2002,
The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings..
[10]
Kenneth L. Clarkson,et al.
Applications of random sampling in computational geometry, II
,
1988,
SCG '88.
[11]
Sariel Har-Peled,et al.
Conflict-Free Coloring of Points and Simple Regions in the Plane
,
2005,
Discret. Comput. Geom..
[12]
Amos Fiat,et al.
Online conflict-free coloring for intervals
,
2005,
SODA '05.