Title: Distributed Vertex Coloring
1Distributed Vertex Coloring
2A Randomized -Coloring Algorithm
Running time
with high probability
(similar with the -coloring algorithm, but
now the color palette size is )
3Each node has a palette with
colors
Palette of node
Initially all colors in palette are available
(Recall is the nodes degree)
4At the beginning of a phase
uncolored neighbors of
uncolored degree of
Example
5In conflicts, the node with the highest
uncolored degree wins
Example 1
Beginning of phase
6In conflicts, the node with the highest
uncolored degree wins
Random color choices
7In conflicts, the node with the highest
uncolored degree wins
End of phase
8In conflicts, the node with the highest
uncolored degree wins
Example 2
Beginning of phase
9In conflicts, the node with the highest
uncolored degree wins
Random color choices
10In conflicts, the node with the highest
uncolored degree wins
End of phase
11If both nodes have same degree, both reject their
color
Example 3
Beginning of phase
12If both nodes have same degree, both reject their
color
Random color choices
13If both nodes have same degree, both reject their
color
End of phase
14Algorithm for node
Repeat
(iteration phase)
Pick a color uniformly at random from
available palette colors
Send color to neighbors
If (some neighbor with chose same
color )
Then Reject color
Else Accept color
Inform neighbors about color
(so that they mark color as unavailable)
Until color is accepted
15Example execution
16Phase 1 (iteration 1)
Nodes pick random colors
17Conflicts
For this phase, uncolored degree degree
The nodes of higher uncolored degree win
18Successful colors
19Phase 2
(iteration 2)
Nodes pick random colors
20Conflicts
The nodes of higher uncolored degree win
21Successful colors
22Phase 3
(iteration 3)
Nodes pick random colors
23Successful colors
End of execution
24Consider phase
(iteration )
Analysis
Palette of uncolored node
available color
unavailable color
Set of available colors
Example
25Number of available colors
Palette size
Maximum unavailable colors
26If then every color choice is a
success
So suppose that
27We want to compute the probability of
Event node successfully
accepts a color
in current phase
We will prove that is at least
constant
28Event node successfully
picks and then accepts
color
(available color)
29Note that the events and
are mutually exclusive for any pair of colors
Any two such events cannot occur simultaneously
30since, success for node in current phase is
to successfully accept some color in
31since are mutually exclusive
32nodes in with same or higher
uncolored degree than
Example
33Note that for any
34Event that node picks randomly color
Event that no node in picks randomly color
35Probability that node picks color
Since node picks randomly and uniformly a
color from the available colors
36Event that no uncolored neighbor of picks
randomly color
Event that uncolored neighbor does not pick color
37This holds because the events are
independent
38Consider some
39(No Transcript)
40Fundamental inequalities
41(No Transcript)
42(No Transcript)
43This holds since and are independent
events
(the nodes pick randomly their colors
independent from one another)
44(No Transcript)
45Probability of success
46Probability that node succeeds in a phase
at least
Probability that node fails in a phase
at most
Note that is a constant
47is the number of nodes
Probability that node fails for
phases
at most
48Probability that node fails for
phases
at most
Probability that some node fails for
phases
at most
Probability that every node succeeds in the first
phases
at least
49Duration of each phase
time steps
The algorithm terminates in phases
with probability at least
Total time steps
(with high probability)
END OF ANALYSIS
50Alternative Randomized -Coloring
Algorithm
Running time
with high probability
51Same with previous algorithm
(palette for node is )
in conflicts, every conflicting node rejects the
color
But
(regardless of the uncolored degrees)
52Algorithm for node
Repeat
Pick a color uniformly at random from
available palette colors
Send color to neighbors
If (some neighbor chose same color )
Then Reject color
Else Accept color
inform neighbors about color
(so that they mark color as unavailable)
Until color is accepted
53Example execution
54Phase 1
55Successful Colors
56Phase 2
57Successful Colors
58Phase 3
59End of execution
60Consider phase
(iteration )
Analysis
Palette of node
available color
unavailable color
Set of available colors
Example
61At the beginning of a phase
uncolored neighbors of
Example
62Number of available colors
Palette size
Maximum unavailable colors
63If then every color choice is a
success
So suppose that
and
64We want to compute the probability of
Event node successfully
accepts a color
in current phase
We will prove that is at least
constant
65Event node successfully
picks and then accepts
color
(available color)
66Note that the events and
are mutually exclusive for any pair of colors
Any two such events cannot occur simultaneously
67Success for node in current phase is to
successfully accept some color in
(available color)
68since are mutually exclusive
69Event that node picks randomly color
Event that no uncolored neighbor of picks
randomly color
70This holds since and are independent
events
(the nodes pick randomly their colors independent
from one another)
71Probability that node picks color
Since node picks randomly and uniformly a
color from the available colors
72Event that no uncolored neighbor of picks
randomly color
Event that uncolored neighbor does not pick color
73This holds because the events are
independent
74(No Transcript)
75(No Transcript)
76Take any
77Out of probability space of
78Thus, we can safely assume that the available
palette of is with
79where
80We can show that
where
and
Suppose that
81We first show
Since is minimum, we have
82since
83Since
84As needed
85Therefore, if then
86Therefore, if then
Thus, we can safely assume that the Available
palette of is
with
The available colors of Have been reduced by one
87Thus, node can repeatedly reduce the
available colors in its palette until it
consists of 2 available colors
A similar observation holds for any node
88Similarly, any node will reduce
the available colors in its palette until it
consists of 2 colors
89Therefore,
But assume that for any
Available colors
90Palette of node
Available colors
91Palette of node
Color overlaps with palettes of neighbors
92Palette of node
1
3
1
1
3
number of incoming arrows for a color
93Palette of node
1
3
1
1
3
and
Since,
Average
94(No Transcript)
95Let be the number of colors with
We have that
Colors exceeding average
Which implies
96Since chooses its colors randomly and
uniformly in ,
97Suppose that a color has
there are at most two neighbors that may choose
color
say
98Probability of success for node in
current phase
constant
99Since a node succeeds with constant probability
in a phase
we need phases for success of
all nodes
Since time duration of a phase is constant, total
time needed is