Muutke küpsiste eelistusi

Distributed Graph Coloring: Fundamentals and Recent Developments [Pehme köide]

The focus of this monograph is on symmetry breaking problems in the message-passing model of distributed computing. In this model a communication network is represented by a n-vertex graph G = (V,E), whose vertices host autonomous processors. The processors communicate over the edges of G in discrete rounds. The goal is to devise algorithms that use as few rounds as possible.A typical symmetry-breaking problem is the problem of graph coloring. Denote by ? the maximum degree of G. While coloring G with ? + 1 colors is trivial in the centralized setting, the problem becomes much more challenging in the distributed one. One can also compromise on the number of colors, if this allows for more efficient algorithms. Other typical symmetry-breaking problems are the problems of computing a maximal independent set (MIS) and a maximal matching (MM). The study of these problems dates back to the very early days of distributed computing. The founding fathers of distributed computing laid firm foundations for the area of distributed symmetry breaking already in the eighties. In particular, they showed that all these problems can be solved in randomized logarithmic time. Also, Linial showed that an O(?2)-coloring can be solved very efficiently deterministically.However, fundamental questions were left open for decades. In particular, it is not known if the MIS or the (? + 1)-coloring can be solved in deterministic polylogarithmic time. Moreover, until recently it was not known if in deterministic polylogarithmic time one can color a graph with significantly fewer than ?2 colors. Additionally, it was open (and still open to some extent) if one can have sublogarithmic randomized algorithms for the symmetry breaking problems.Recently, significant progress was achieved in the study of these questions. More efficient deterministic and randomized (? + 1)-coloring algorithms were achieved. Deterministic ?1 + o(1)-coloring algorithms with polylogarithmic running time were devised. Improved (and often sublogarithmic-time) randomized algorithms were devised. Drastically improved lower bounds were given. Wide families of graphs in which these problems are solvable much faster than on general graphs were identified.The objective of our monograph is to cover most of these developments, and as a result to provide a treatise on theoretical foundations of distributed symmetry breaking in the message-passing model. We hope that our monograph will stimulate further progress in this exciting area.Table of Contents: Acknowledgments / Introduction / Basics of Graph Theory / Basic Distributed Graph Coloring Algorithns / Lower Bounds / Forest-Decomposition Algorithms and Applications / Defective Coloring / Arbdefective Coloring / Edge-Coloring and Maximal Matching / Network Decompositions / Introduction to Distributed Randomized Algorithms / Conclusion and Open Questions / Bibliography / Authors' Biographies
Acknowledgments xiii
1 Introduction
1(6)
2 Basics of Graph Theory
7(22)
2.1 Graphs with Large Girth and Large Chromatic Number
7(7)
2.2 Planar Graphs
14(3)
2.3 Arboricity
17(8)
2.3.1 Nash-Williams Theorem
17(5)
2.3.2 Degeneracy and Arboricity
22(3)
2.4 Defective Coloring
25(2)
2.5 Edge-Coloring and Matchings
27(2)
3 Basic Distributed Graph Coloring Algorithns
29(18)
3.1 The Distirubuted Message-Passing LOCAL Model
29(1)
3.2 Basic Color Reduction
29(1)
3.3 Orientations
30(2)
3.4 The Algorithm of Cole and Vishkin
32(2)
3.5 Extensions to Graphs with Bounded Maximum Degree
34(2)
3.6 An Improved Coloring Algorithm for Graphs with Bounded Maximum Degree
36(1)
3.7 A Faster (Δ + 1)-Coloring
37(1)
3.8 Kuhn-Wattenhofer Color Reduction Technique and its Applications
38(2)
3.9 A Reduction from (Δ + 1)-coloring to MIS
40(1)
3.10 Linial's Algorithm
41(6)
4 Lower Bounds
47(8)
4.1 Coloring Unoriented Trees
47(4)
4.1.1 The First Proof
47(2)
4.1.2 The Second Proof
49(2)
4.2 Coloring the n-path Pn
51(4)
5 Forest-Decomposition Algorithms and Applications
55(12)
5.1 H-Partition
55(5)
5.2 An O(a)-coloring
60(2)
5.3 Faster Coloring
62(3)
5.4 MIS Algorithms
65(2)
6 Defective Coloring
67(14)
6.1 Employing Defective Coloring for Computing Legal Coloring
67(6)
6.2 Defective Coloring Algorithms
73(8)
6.2.1 Procedure Refine
73(2)
6.2.2 Procedure Defective-Color
75(6)
7 Arbdefective Coloring
81(12)
7.1 Small Arboricity Decomposition
81(3)
7.2 Efficient Coloring Algorithms
84(9)
8 Edge-Coloring and Maximal Matching
93(10)
8.1 Edge-Coloring and Maximal Matching using Forest-Decomposition
93(4)
8.2 Edge-Coloring Using Bounded Neighborhood Independence
97(6)
9 Network Decompositions
103(8)
9.1 Applications of Network Decompositions
104(1)
9.2 Ruling Sets and Forests
105(1)
9.3 Constructing Network Decompositions
106(5)
10 Introduction to Distributed Randomized Algorithms
111(32)
10.1 Simple Algorithms
111(4)
10.2 A Faster O(Δ)-Coloring Algorithm
115(2)
10.3 Randomized MIS
117(11)
10.3.1 A High-Level Description
117(5)
10.3.2 Procedure Decide
122(6)
10.4 Randomized Maximal Matching
128(9)
10.5 Graphs with Bounded Arboricity
137(6)
11 Conclusion and Open Questions
143(6)
11.1 Problems that can be Solved in Polylogarithmic Time
143(2)
11.2 Problems that can be Solved in (Sub)linear in Δ Time
145(1)
11.3 Algorithms for Restricted Graph Families
146(1)
11.4 Randomized Algorithms
147(2)
Bibliography 149(8)
Authors' Biographies 157