Hostname: page-component-cd9895bd7-fscjk Total loading time: 0 Render date: 2024-12-27T10:04:29.112Z Has data issue: false hasContentIssue false

Conflict-Free Colourings of Graphs and Hypergraphs

Published online by Cambridge University Press:  01 September 2009

JÁNOS PACH
Affiliation:
EPFL-SB-IMB-DCG, CH-1015 Lausanne, Switzerland and Department of Computer Science, City College, 138th Street at Convent Avenue, NY, NY 10031, USA (e-mail: [email protected])
GÁBOR TARDOS
Affiliation:
School of Computing Science, Simon Fraser University, 8888 University Drive, Burnaby, BC, V5A 1S6, Canada and Rényi Institute, 13–15 Reáltanoda utca Budapest, Hungary (e-mail: [email protected])

Abstract

A colouring of the vertices of a hypergraph H is called conflict-free if each hyperedge E of H contains a vertex of ‘unique’ colour that does not get repeated in E. The smallest number of colours required for such a colouring is called the conflict-free chromatic number of H, and is denoted by χCF(H). This parameter was first introduced by Even, Lotker, Ron and Smorodinsky (FOCS 2002) in a geometric setting, in connection with frequency assignment problems for cellular networks. Here we analyse this notion for general hypergraphs. It is shown that , for every hypergraph with m edges, and that this bound is tight. Better bounds of the order of m1/t log m are proved under the assumption that the size of every edge of H is at least 2t − 1, for some t ≥ 3. Using Lovász's Local Lemma, the same result holds for hypergraphs in which the size of every edge is at least 2t − 1 and every edge intersects at most m others. We give efficient polynomial-time algorithms to obtain such colourings.

Our machinery can also be applied to the hypergraphs induced by the neighbourhoods of the vertices of a graph. It turns out that in this case we need far fewer colours. For example, it is shown that the vertices of any graph G with maximum degree Δ can be coloured with log2+ε Δ colours, so that the neighbourhood of every vertex contains a point of ‘unique’ colour. We give an efficient deterministic algorithm to find such a colouring, based on a randomized algorithmic version of the Lovász Local Lemma, suggested by Beck, Molloy and Reed. To achieve this, we need to (1) correct a small error in the Molloy–Reed approach, (2) restate and re-prove their result in a deterministic form.

Type
Paper
Copyright
Copyright © Cambridge University Press 2009

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Ajwani, D., Elbassioni, K., Govindarajan, S. and Ray, S. (2007) Conflict-free coloring for rectangle ranges using O(n 0.382) colors. In Proc. 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), pp. 181–187.Google Scholar
[2]Alon, N. (1991) A parallel algorithmic version of the local lemma. Random Struct. Alg. 2 367378.CrossRefGoogle Scholar
[3]Alon, N. and Smorodinsky, S. (2006) Conflict-free colorings of shallow discs. In 22nd Ann. ACM Symposium on Computational Geometry (SoCG), pp. 41–43.CrossRefGoogle Scholar
[4]Alon, N. and Spencer, J. (2000) The Probabilistic Method, 2nd edn, Wiley, New York.CrossRefGoogle Scholar
[5]Aardal, K., van Hoesel, S., Koster, A., Mannino, C. and Sassano, A. (2003) Models and solution techniques for frequency assignment problems. 4OR 1 261317.Google Scholar
[6]Bar-Noy, A., Cheilaris, P. and Smorodinsky, S. (2008) Deterministic conflict-free coloring for intervals: From offline to online. ACM Trans. Alg. 4 #44.Google Scholar
[7]Beck, J. (1991) An algorithmic approach to the Lovász local lemma. Random Struct. Alg. 2 343365.CrossRefGoogle Scholar
[8]Behzad, M. (1971) The total chromatic number of a graph: A survey. In Combinatorial Mathematics and its Applications (Oxford 1969), Academic Press, London, pp. 18.Google Scholar
[9]Cheilaris, P. (2008) Conflict-free coloring. PhD thesis, City University of New York.Google Scholar
[10]Chen, K. (2006) How to play a coloring game against a color-blind adversary. In Proc. 22nd Annual ACM Symposium on Computational Geometry (SoCG), pp. 44–51.CrossRefGoogle Scholar
[11]Chen, K., Fiat, A., Kaplan, H., Levy, M., Matoušek, J., Mossel, E., Pach, J., Sharir, M., Smorodinsky, S., Wagner, U. and Welzl, E. (2006) Online conflict-free coloring for intervals. SIAM J. Comput. 36 13421359.CrossRefGoogle Scholar
[12]Czumaj, A. and Scheideler, C. (2000) A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems. In Proc. 32nd Annual ACM Symposium on Theory of Computing, ACM, New York, pp. 3847.Google Scholar
[13]Czumaj, A. and Scheideler, C. (2000) Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma. In Proc. 9th International Conference ‘Random Structures and Algorithms’ (Poznan 1999), Random Struct. Alg. 17 213237.3.0.CO;2-Y>CrossRefGoogle Scholar
[14]Diestel, R. (2005) Graph Theory, 3rd edn, Vol. 173 of Graduate Texts in Mathematics, Springer, Berlin.Google Scholar
[15]Erdős, P. and Lovász, L. (1975) Problems and results on 3-chromatic hypergraphs and some related questions. In Infinite and Finite Sets (to Paul Erdős on his 60th birthday), Vol. II (Hajnal, A. et al. , eds), North-Holland, Amsterdam, pp. 609627.Google Scholar
[16]Even, G., Lotker, Z., Ron, D. and Smorodinsky, S. (2003) Conflict-free colorings of simple geometric regions with applications to frequency assignment in cellular networks. SIAM J. Comput. 33 94136.CrossRefGoogle Scholar
[17]Har-Peled, S. and Smorodinsky, S. (2005) Conflict-free coloring of points and simple regions in the plane. Discrete Comput. Geometry 34 4770.CrossRefGoogle Scholar
[18]Hind, H., Molloy, M. and Reed, B. (1997) Colouring a graph frugally. Combinatorica 17 469482.CrossRefGoogle Scholar
[19]Leighton, T., Lu., C.-J., Rao, S. and Srinivasan, A. (2001) New algorithmic aspects of the local lemma with applications to routing and partitioning. SIAM J. Comput. 31 626641.CrossRefGoogle Scholar
[20]Molloy, M. and Reed, B. (1998) Further algorithmic aspects of the local lemma. In Proc. 30th Annual ACM Symposium on Theory of Computing, pp. 524–529.CrossRefGoogle Scholar
[21]Molloy, M. and Reed, B. (2002) Graph Colouring and the Probabilistic Method, Vol. 23 of Algorithms and Combinatorics, Springer, Berlin.CrossRefGoogle Scholar
[22]Molloy, M. and Salavatipour, M. R. (2005) A bound on the chromatic number of the square of a planar graph. J. Combin. Theory Ser. B 94 189213.CrossRefGoogle Scholar
[23]Moser, R. A constructive proof of the Lovász Local Lemma. In Proc. 41st Annual ACM Symposium on Theory of Computing, pp. 343–350.Google Scholar
[24]Moser, R. and Tardos, G. (2009) A constructive proof of the general Lovász Local Lemma. arXiv:0903.0544v3.CrossRefGoogle Scholar
[25]Pach, J. and Tóth, G. (2003) Conflict-free colorings. In Discrete and Computational Geometry, Vol. 25 of Algorithms and Combinatorics, Springer, Berlin, pp. 665671.CrossRefGoogle Scholar
[26]Smorodinsky, S. (2007) On the chromatic number of some geometric hypergraphs. SIAM J. Discrete Math. 21 676687.CrossRefGoogle Scholar
[27]Wegner, G. (1977) Graphs with given diameter and a coloring problem. Technical Report, University of Dortmund.Google Scholar
[28]Woldar, A. (2002) Rainbow graphs. In Codes and Designs (Columbus 2000), Vol. 10 of Ohio State Univ. Math. Res. Inst. Publ., de Gruyter, Berlin, pp. 313322.CrossRefGoogle Scholar