TY - GEN

T1 - Conflict-free coloring made stronger

AU - Horev, Elad

AU - Krakovski, Roi

AU - Smorodinsky, Shakhar

PY - 2010

Y1 - 2010

N2 - In FOCS 2002, Even et al. showed that any set of n discs in the plane can be Conflict-Free colored with a total of at most O(logn) colors. That is, it can be colored with O(logn) colors such that for any (covered) point p there is some disc whose color is distinct from all other colors of discs containing p. They also showed that this bound is asymptotically tight. In this paper we prove the following stronger results: (i) Any set of n discs in the plane can be colored with a total of at most O(k logn) colors such that (a) for any point p that is covered by at least k discs, there are at least k distinct discs each of which is colored by a color distinct from all other discs containing p and (b) for any point p covered by at most k discs, all discs covering p are colored distinctively. We call such a coloring a k-Strong Conflict-Free coloring. We extend this result to pseudo-discs and arbitrary regions with linear union-complexity. (ii) More generally, for families of n simple closed Jordan regions with union-complexity bounded by O(n1+α), we prove that there exists a k-Strong Conflict-Free coloring with at most O(kn α) colors. (iii) We prove that any set of n axis-parallel rectangles can be k-Strong Conflict-Free colored with at most O(k log 2 n) colors. (iv) We provide a general framework for k-Strong Conflict-Free coloring arbitrary hypergraphs. This framework relates the notion of k-Strong Conflict-Free coloring and the recently studied notion of k-colorful coloring. All of our proofs are constructive. That is, there exist polynomial time algorithms for computing such colorings.

AB - In FOCS 2002, Even et al. showed that any set of n discs in the plane can be Conflict-Free colored with a total of at most O(logn) colors. That is, it can be colored with O(logn) colors such that for any (covered) point p there is some disc whose color is distinct from all other colors of discs containing p. They also showed that this bound is asymptotically tight. In this paper we prove the following stronger results: (i) Any set of n discs in the plane can be colored with a total of at most O(k logn) colors such that (a) for any point p that is covered by at least k discs, there are at least k distinct discs each of which is colored by a color distinct from all other discs containing p and (b) for any point p covered by at most k discs, all discs covering p are colored distinctively. We call such a coloring a k-Strong Conflict-Free coloring. We extend this result to pseudo-discs and arbitrary regions with linear union-complexity. (ii) More generally, for families of n simple closed Jordan regions with union-complexity bounded by O(n1+α), we prove that there exists a k-Strong Conflict-Free coloring with at most O(kn α) colors. (iii) We prove that any set of n axis-parallel rectangles can be k-Strong Conflict-Free colored with at most O(k log 2 n) colors. (iv) We provide a general framework for k-Strong Conflict-Free coloring arbitrary hypergraphs. This framework relates the notion of k-Strong Conflict-Free coloring and the recently studied notion of k-colorful coloring. All of our proofs are constructive. That is, there exist polynomial time algorithms for computing such colorings.

KW - Conflict-Free Colorings

KW - Discrete geometry

KW - Geometric hypergraphs

KW - Wireless networks

UR - http://www.scopus.com/inward/record.url?scp=77954655423&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-13731-0_11

DO - 10.1007/978-3-642-13731-0_11

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:77954655423

SN - 364213730X

SN - 9783642137303

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 105

EP - 117

BT - Algorithm Theory - SWAT 2010 - 12th Scandinavian Symposium and Workshops on Algorithm Theory, Proceedings

T2 - 12th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2010

Y2 - 21 June 2010 through 23 June 2010

ER -