Numerous problems in Theoretical Computer Science can be solved very efficiently using powerful algebraic constructions. Computing shortest paths, constructing expanders, and proving the PCP Theorem, are just few examples of this phenomenon. The quest for combinatorial algorithms that do not use heavy algebraic machinery, but are roughly as efficient, has become a central field of study in this area. Combinatorial algorithms are often simpler than their algebraic counterparts. Moreover, in many cases, combinatorial algorithms and proofs provide additional understanding of studied problems. In this paper we initiate the study of combinatorial algorithms for Distributed Graph Coloring problems. In a distributed setting a communication network is modeled by a graph G=(V,E) G = (V, E) of maximum degree Δ Δ. The vertices of G G host the processors, and communication is performed over the edges of G G. The goal of distributed vertex coloring is to color V V with (Δ + 1) (Δ + 1) colors such that any two neighbors are colored with distinct colors. Currently, efficient algorithms for vertex coloring that require O(Δ + log*n) O (Δ + log - n) time are based on the algebraic algorithm of Linial (SIAM J Comput 21(1):193-201, 1992) that employs set-systems. The best currently-known combinatorial set-system free algorithm, due to Goldberg et al. (SIAM J Discret Math 1(4):434-446, 1988), requires O(Δ2+log*n) O (Δ 2 + log - n) time. We significantly improve over this by devising a combinatorial (Δ + 1) (Δ + 1) -coloring algorithm that runs in O(Δ + log*n) O (Δ + log - n) time. This exactly matches the running time of the best-known algebraic algorithm. In addition, we devise a tradeoff for computing O(Δ · t) O (Δ·t) -coloring in O(Δt + log*n) O (Δ / t + log - n) time, for almost the entire range 1 < t < Δ 1 < t < Δ. We also compute a Maximal Independent Set in O(Δ + log*n) O (Δ + log - n) time on general graphs, and in O(log n log n) O (log n log log n) time on graphs of bounded arboricity. Prior to our work, these results could be only achieved using algebraic techniques. We believe that our algorithms are more suitable for real-life networks with limited resources, such as sensor networks.
הערה ביבליוגרפיתFunding Information:
This research is supported by the Binational Science Foundation, Grant No. 2008390. Leonid Barenboim is supported by the Adams Fellowship Program of the Israel Academy of Sciences and Humanities.