Download - Maximal Independent Set
![Page 1: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/1.jpg)
1
Maximal Independent Set
![Page 2: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/2.jpg)
2
Independent Set (IS):
In a graph, any set of nodes that are not adjacent
![Page 3: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/3.jpg)
3
Maximal Independent Set (MIS):
An independent set that is nosubset of any other independent set
![Page 4: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/4.jpg)
4
Maximum Independent Set:
A MIS of maximum size
A graph G… …a MIS of G… …a MIS of max size
![Page 5: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/5.jpg)
5
Applications in Distributed Systems
•In a network graph consisting of nodes representing processors, a MIS defines a set of processors which can operate in parallel without interference
•For instance, in wireless ad hoc networks, to avoid interference, a conflict graph is built, and a MIS on that defines a clustering of the nodes enabling efficient routing
![Page 6: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/6.jpg)
6
A Sequential Greedy algorithm
Suppose that will hold the final MISI
Initially I
G
![Page 7: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/7.jpg)
7
Pick a node and add it to I1v
1v
Phase 1:
1GG
![Page 8: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/8.jpg)
8
Remove and neighbors )( 1vN1v
1G
![Page 9: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/9.jpg)
9
Remove and neighbors )( 1vN1v
2G
![Page 10: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/10.jpg)
10
Pick a node and add it to I2v
2v
Phase 2:
2G
![Page 11: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/11.jpg)
11
2v
Remove and neighbors )( 2vN2v
2G
![Page 12: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/12.jpg)
12
Remove and neighbors )( 2vN2v
3G
![Page 13: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/13.jpg)
13
Repeat until all nodes are removed
Phases 3,4,5,…:
3G
![Page 14: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/14.jpg)
14
Repeat until all nodes are removed
No remaining nodes
Phases 3,4,5,…,x:
1xG
![Page 15: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/15.jpg)
15
At the end, set will be an MIS of I G
G
![Page 16: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/16.jpg)
16
Worst case graph (for number of phases):
n nodes
Running time of the algorithm: Θ(|E|)
Number of phases of the algorithm: O(n)
![Page 17: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/17.jpg)
17
Homework
Can you see a distributed version of the algorithm just given?
![Page 18: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/18.jpg)
18
A General Algorithm For Computing MIS
Same as the sequential greedy algorithm,but at each phase we may select any independent set (instead of a single node)
![Page 19: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/19.jpg)
19
Suppose that will hold the final MISI
Initially I
Example:
G
![Page 20: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/20.jpg)
20
Find any independent set 1I
Phase 1:
And insert to :1I I 1III
1GG
![Page 21: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/21.jpg)
21
1I )( 1INremove and neighbors
1G
![Page 22: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/22.jpg)
22
remove and neighbors 1I )( 1IN
1G
![Page 23: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/23.jpg)
23
remove and neighbors 1I )( 1IN
2G
![Page 24: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/24.jpg)
24
Phase 2:
Find any independent set 2I
And insert to :2I I 2III
On new graph
2G
![Page 25: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/25.jpg)
25
remove and neighbors 2I )( 2IN
2G
![Page 26: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/26.jpg)
26
remove and neighbors 2I )( 2IN
3G
![Page 27: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/27.jpg)
27
Phase 3:
Find any independent set 3I
And insert to :3I I 3III
On new graph
3G
![Page 28: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/28.jpg)
28
remove and neighbors 3I )( 3IN
3G
![Page 29: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/29.jpg)
29
remove and neighbors 3I )( 3IN
No nodes are left
4G
![Page 30: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/30.jpg)
30
Final MIS I
G
![Page 31: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/31.jpg)
31
The number of phases depends on the choice of independent set in each phase:
The larger the independent set at eachphase, the faster the algorithm
Observation:
![Page 32: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/32.jpg)
32
Example:If is MIS, 1 phase is needed
1I
Example:If each contains one node, phases are needed
kI)(nO
(sequential greedy algorithm)
![Page 33: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/33.jpg)
33
A Randomized Sync. Distributed Algorithm
Follows the general MIS algorithm paradigm, by choosing randomly at each phase the independent set, in such a way that it is expected to include many nodes of the remaining graph
![Page 34: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/34.jpg)
34
Let be the maximum node degree in the whole graph
d
1 2 d
Suppose that d is known to all the nodes (this may require a pre-processing)
![Page 35: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/35.jpg)
35
Elected nodes are candidates forindependent set
Each node elects itself with probability
At each phase :k
kI
dp
1
1 2 d
kGz
z
![Page 36: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/36.jpg)
36
However, it is possible that neighbor nodes may be elected simultaneously
Problematic nodeskG
![Page 37: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/37.jpg)
37
All the problematic nodes must be un-elected. The remaining elected nodes formindependent set kI
kGkI
kIkI
kI
![Page 38: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/38.jpg)
38
Success for a node in phase : disappears at end of phase(enters or )
Analysis:
kGz
kI
1 2 y
No neighbor elects itself
z
z
k)( kIN
k
A good scenariothat guaranteessuccess
elects itself
![Page 39: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/39.jpg)
39
Basics of Probability
E: finite universe of events; let A and B denote two events in E; then:
1. A B is the event that A or (non-exclusive) B occurs;
2. A B is the event that both A and B occur.
![Page 40: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/40.jpg)
40
Probability of success in a phase:
1 2 y
p
p1
p1p1
dy pppp )1(1
z
No neighbor should elect itself
At least
elects itself
![Page 41: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/41.jpg)
41
Fundamental inequalities
tn
t ent
nt
e
11
21n
nt ||
10 p
1k
k
kp
p
11
![Page 42: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/42.jpg)
42
Probability of success in phase:
ed
ded
dd
ppppd
dy
2
1
11
1
11
1
)1(1
At least
For 2d
First (left) ineq. with t =-1
![Page 43: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/43.jpg)
43
Therefore, node disappears at the end of phase with probability at least
1 2 y
z
z
ed21k
![Page 44: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/44.jpg)
44
Expected number of phases until nodedisappears:
at most ed2phase in success of yprobabilit
1 phases
z
![Page 45: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/45.jpg)
45
after phases
Definition: Bad event for node :
ned ln4
node did not disappear
This happens with probability (first (right) ineq. with t =-1 and n =2ed):
2ln2
ln22ln411
21
12
11
needed n
nedned
z
z
![Page 46: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/46.jpg)
46
after phases
Bad event for G:
ned ln4
at least one node did not disappear
This happens with probability: P(ORxG(bad event for x)) ≤
nnnx
Gx
11) for event P(bad 2
![Page 47: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/47.jpg)
47
within phases
Good event for G:
ned ln4
all nodes disappear
This happens with probability:
n1
-1G] for event bad of ty[probabili1
(high probability)
![Page 48: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/48.jpg)
48
Total number of phases:
)log(ln4 ndOned
# rounds for each phase: 31. In round 1, each node tries to elect itself and
notifies neighbors;2. In round 2, each node receives notifications
from neighbors, decide whether is in Ik, and notifies neighbors;
3. In round 3, each node receiving notifications
from elected neighbors, realizes to be in N(Ik).
total # of rounds: )log( ndO
(with high probability)
![Page 49: Maximal Independent Set](https://reader037.vdocuments.us/reader037/viewer/2022102601/56812f72550346895d94fb07/html5/thumbnails/49.jpg)
49
Homework
Can you provide a good bound on the number of messages?