The Randomized Coloring Procedure with Symmetry-Breaking

  • Authors:
  • Sriram Pemmaraju;Aravind Srinivasan

  • Affiliations:
  • Dept. of Computer Science, The University of Iowa, Iowa City, USA IA 52242-1419;Dept. of Computer Science and Institute for Advanced Computer Studies, University of Maryland, USA MD 20742

  • Venue:
  • ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part I
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

A basic randomized coloring procedure has been used inprobabilistic proofs to obtain remarkably strong results on graphcoloring. These results include the asymptotic version of the ListColoring Conjecture due to Kahn, the extensions of Brooks' Theoremto sparse graphs due to Kim and Johansson, and Luby's fast paralleland distributed algorithms for graph coloring. The most challengingaspect of a typical probabilistic proof is showing adequateconcentration bounds for key random variables. In this paper, wepresent a simple symmetry-breaking augmentation to the randomizedcoloring procedure that works well in conjunction with Azuma'sMartingale Inequality to easily yield the requisiteconcentration bounds. We use this approach to obtain a number ofresults in two areas: frugal coloring and weightedequitable coloring. A β-frugal coloring of agraph G is a proper vertex-coloring of G in whichno color appears more than β times in anyneighborhood. Let G = (V, E) be avertex-weighted graph with weight function w: V→[0, 1] and let W = Σv εV w(v). A weighted equitablecoloring of G is a proper k-coloring suchthat the total weight of every color class is "large", i.e., "notmuch smaller" than W/k; this notion is useful inobtaining tail bounds for sums of dependent random variables.