On the chromatic number of geometric hypergraphs

Research output: Contribution to journalArticlepeer-review

39 Scopus citations

Abstract

A finite family R of simple Jordan regions in the plane defines a hypergraph H = H(R) where the vertex set of H is R and the hyperedges are all subsets S ⊂ R for which there is a point p such that S = {r G ∈ R|p ∈ r}. The chromatic number of H(R) is the minimum number of colors needed to color the members of Ti such that no hyperedge is monochromatic. In this paper we initiate the study of the chromatic number of such hypergraphs and obtain the following results: (i) Any hypergraph that is induced by a family of n simple Jordan regions such that the maximum union complexity of any fc of them (for 1 ≤ k ≤ m) is bounded by u(m) and u(m)/m is a nondecreasing function is O(u(n)/n)-colorable. Thus, for example, we prove that any finite family of pseudo-discs 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 n axis-parallel rectangles is O(log n)-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 n Jordan regions with near linear union complexity admits a conflict-free (CF) coloring with polylogarithmic number of colors, (v) Any set of n axis-parallel rectangles admits a CF-coloring with O(log2(n)) colors.

Original languageEnglish
Pages (from-to)676-687
Number of pages12
JournalSIAM Journal on Discrete Mathematics
Volume21
Issue number3
DOIs
StatePublished - 1 Dec 2007
Externally publishedYes

Keywords

  • Coloring
  • Conflict-free
  • Hypergraphs
  • Wireless

ASJC Scopus subject areas

  • Mathematics (all)

Fingerprint

Dive into the research topics of 'On the chromatic number of geometric hypergraphs'. Together they form a unique fingerprint.

Cite this