1. Presentation prepared by Rakefet Menda
Performance-Guaranteed Strongly Connected Dominating Sets in Heterogeneous Wireless Sensor Networks
Chunyan Liu∗ , Hejiao Huang∗†‡, Hongwei Du∗ and Xiaohua Jia∗ ∗Harbin Institute of Technology Shenzhen Graduate School, China. †Shenzhen Key Laboratory of Internet Information Collaboration, China. ‡Corresponding
IEEE INFOCOM 2016
Presentation prepared by Rakefet Menda
מציאת dominating set ברשתות חיישנים אלחוטיות מגוונות

2. The general goal
find a special Strongly Connected Bidirectional Dominating Set within minimum routing cost for each pair of nodes in directed graphs.
מטרת הכותבים הייתה למצוא קבוצה שולטת מיוחדת כך שניתוב חבילות בין כל 2 צמתים בגרף יהיה בעלות מינימלית.
מה הכוונה מיוחדת- נראה בהמשך.
נרצה שיהיה מסלול דו כיווני בין כל 2 צמתים ולכן נדבר על Strongly connected

3. Efficient routing
CDS- connected dominating set
To achieve efficient broadcasting and routing, the size of CDS should be kept as small as possible while the length of routing path does not increase a lot through the nodes in the CDS. However, sometimes, CDS with smaller size may result in some terrible long routing paths.
על מנת להשיג ניתוב יעיל נרצה שהקבוצה השולטת תהיה קטנה ככל האפשר
אבל יש מקרים שבהם הקבוצה הכי קטנה דווקא תגרום לניתוב ארוך הרבה יותר מהמסלול האמיתי בין 2 צמתים ברשת
יש לכם רעיון לרשת כזו?

4. Minimum connected dominating set (virtual backbone- VB)
The shortest path through VB from 1 to 10 is
{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
length - 10
קבוצה שולטת מינמלית
כאן קיבלנו את הVB.

5. Minimum connected dominating set (virtual backbone- VB)
The shortest path through VB from 1 to 10 is
{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
length - 10
If some nodes (10) are added to the CDS, the shortest path from 1 to 10 based on the VB is
{1, 10}
length - 2

6. Minimum connected dominating set (virtual backbone- VB)
The shortest path through VB from 1 to 10 is
{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
length - 10
If some nodes (10) are added to the CDS, the shortest path from 1 to 10 based on the VB is
{1, 10}
length - 2
דרך ניתוב ארוכה תגרום ליחס העברת הודעות נמוך.
CDS גדול מדי גורם לעירוב של יותר מדי צמתים בתהליך הניתוב.
Longer routing paths will cause a lower delivery ratio. If the size of the CDS is too large, too many nodes are involved to forward messages.

7. Problem statement
Our main goal is to solve the α-MOC-SCBDS problem-
(α Minimum rOuting Cost Strongly Connected Bidirectional Dominating Set)
We want to find set S of graph G which is a SCBDS with routing cost less than α*Minimum routing cost.
finding minimum connected dominating set is a np hard problem.
α-MOC-SCBDS problem = הקבוצה שאננחנו מחפשים, קבוצה שולטת חזקה דו כיוונית, שעבורה יש עלות ניתוב לכל היותר אלפא של הניתוב המינימלי (פי אלפא)
הגדרות בסיסיות:
G גרף מכוון
S קבוצה שולטת חזקה דו כיוונית – SCBDS
p(u,v) הדרך הקצרה האמיתית בין u לv
d(u,v) אורך הדרך הקצרה – מספר קשתות
G[s] הקבוצה שאחנו מחפשים בעצם – נגדיר בהמשך מאפיינים

8. Some assumptions and definitions
G = (V, E) Direct graph
S ⊆ V
S is a α-MOC-SCBDS if and only if:
Each node v ∈ V has a transmission range rv ∈ [rmin, rmax]
α-MOC-SCBDS problem = הקבוצה שאננחנו מחפשים, קבוצה שולטת חזקה דו כיוונית, שעבורה יש עלות ניתוב לכל היותר אלפא של הניתוב המינימלי (פי אלפא)
הגדרות בסיסיות:
G גרף מכוון
S קבוצה שולטת חזקה דו כיוונית – SCBDS
p(u,v) הדרך הקצרה האמיתית בין u לv
d(u,v) אורך הדרך הקצרה – מספר קשתות
G[s] הקבוצה שאחנו מחפשים בעצם – נגדיר בהמשך מאפיינים

9. Centralized algorithm
Nin(v) - the set of nodes from which node v can receive messages Nout(v) - the set of nodes which can receive messages from v N(v) = Nin(v) ∩ Nout(v) N +(v) = N(v) ∪ {v}
מציאת קבוצה שולטת – אלגוריתם גרידי

10. Centralized algorithm
Nin(v) - the set of nodes from which node v can receive messages
Nout(v) - the set of nodes which can receive messages from v
N(v) = Nin(v) ∩ Nout(v)
N +(v) = N(v) ∪ {v}
First stage - find the Bidirectional Dominating Set (BDS) C of G using a greedy method (Algorithm 1):
1: Step1: Select a node v ∈ V with the maximal transmission range (or minimal node ID) join the C: C = C ∪ {v}.
2: Step2: V = V − N +(v)
3: Step3: repeat Step1 and Step2 until V = ∅
4: Output: C
מציאת קבוצה שולטת – אלגוריתם גרידי

11. Centralized algorithm
Note that, for any dominated node v, if it is dominated by u, then u ∈ N +(v). Therefore, a bidirectional dominating set is constructed Lemma In a directed disk graph G = (V, E), the size of Dominating Set got by Algorithm 1 is upper bounded by (2ρ + 1)^2 opt where ρ = rmax / rmin and opt is the size of the optimal solution of the Minimum Strongly Connected Bidirectional Dominating Set (MSCBDS) problem.
הערה- עבור כל צומת v בקבוצה הנשלטת, הצומת u ששולט עליו מקיים שהוא שייך לשכנים של v ב 2 הכיוונים in וout לכן נוצרת קבוצה שולטת דו כיוונית
למה - חסם לגודל של קבוצה שולטת בגרף דיסק מכוון

12. Centralized algorithm
Second stage - connect the BDS as a SCBDS (Algorithm 2) :
For any pair nodes u, v ∈ C, if d(u, v) ≤ 4, all nodes on the path join the SCBDS S. Then S forms a SCBDS of G.
For any nodes u, v ∈ V \ C, dS(u, v) ≤ αd(u, v), when α = 5.
עבור כל 2 צמתים ב C , אם המרחק בינהם בגרף G קטן שווה ל4 אז כל המסלול מצטרף לS
עבור כל 2 צמתים שאינם בC , המרחק בינהם דרך S קטן שווה לאלפא כפול המרחק האמיתי בינהם

13. Centralized algorithm
Lemma 8. Given a directed graph G = (V, E) and a Bidirectional Dominating Set C of G. ∀u, v ∈ V with d(u, v) = 2, find a shortest path p(u, v) through their dominating nodes and let all nodes on the path join the set S. S is a strongly connected dominate set and S is with the upper bound where ρ = rmax /rmin
בהנתן גרף מכוון G וקבוצה שלטת דו כיוונית C, לכל 2 צמתים כלשהם במרחק 2 – נמצא את הדרך הקצרה בינהם דרך הצמתים ששולטים עליהם (אלה שבC) ונוסיף את כל צמתי הנתיב לS.
S יהיה קשיר חזק עם גבול עליון

14. Distributed Algorithm
In the distributed environment, each node can only sense its incoming neighbors but outgoing neighbors. For an arbitrary vertex v ∈ V , let N(v) denote the neighbors of v that are within the coverage of v while v is within the coverage of each node in N(v). It is also that: N(v) = {u|dist(u, v) ≤ min{ru, rv}}.

15. Distributed Algorithm
First step - Distributed algorithm to construct a BDS (Algorithm 3) :
Each node in the network is assigned a positive number ID and marked white.
Firstly, each node generates a neighbor list through a handshake of broadcasting and replying.
Next, in each iteration, each white node compares its ID with those of white neighbors. The one with the smallest ID among all its white neighbors is marked black and all its neighbors are marked gray.
Until all nodes are marked either black or gray. Then all black nodes form a Dominating Set.

16. Distributed Algorithm
Second step - Distributed algorithm to construct SCBDS with guaranteed routing cost (Algorithm 4) :
The nodes are connected in order to form a SCBDS.
Each node is located in the state of dominator or dominated and different ID. The state is assigned according to the result of the Algorithm 3.
Similarly with Algorithm 3, each node generates a neighbor list through a handshake of broadcasting and replying.
כל צומת מגדיר את עצמו כשולט או נשלט לפי האלגוריתם הקודם
כל צומת מייצר רשימת שכנים כמו קודם – עי לחיצת יד של ברודקסט ותשובה

17. Distributed Algorithm
Next, each node with the state of Dominator broadcast its ID to all its neighbors to find a shortest path which the length is not larger than 4 to those nodes with the state of Dominator.
Let all nodes on the paths join the set S.
Until all node pairs with the state of Dominator have been traversed while the shortest path length between them is no more than 4.
S is a SCBDS
3. כל צומת שולט שולח ברודקסט עם הID שלו לכל השכנים, על מנת למצוא דרך קצרה אל שאר הצמתים השולטים , שקצרה מ 4
4. כל הצמתים בדרך שקצרה מ4 מצטרפים ל S
5.ממשיכים עד שכל הזוגות השולטים עשו זאת

18. Distributed Algorithm
Next, each node with the state of Dominator broadcast its ID to all its neighbors to find a shortest path which the length is not larger than 4 to those nodes with the state of Dominator.
Let all nodes on the paths join the set S.
Until all node pairs with the state of Dominator have been traversed while the shortest path length between them is no more than 4.
S is a SCBDS
3. כל צומת שולט שולח ברודקסט עם הID שלו לכל השכנים, על מנת למצוא דרך קצרה אל שאר הצמתים השולטים , שקצרה מ 4
4. כל הצמתים בדרך שקצרה מ4 מצטרפים ל S
5.ממשיכים עד שכל הזוגות השולטים עשו זאת

19. Distributed Algorithm
The Algorithm 3 and 4 are the distributed version of Algorithm 1 and 2. Therefore, S constructed in Algorithm 4 forms a SCBDS, and the distributed algorithms have the same performance ratio with the centralized algorithms
תוצאות זהות לאלגוריתם ריכוזי

20. Distributed Algorithm
The Algorithm 3 and 4 are the distributed version of Algorithm 1 and 2. Therefore, S constructed in Algorithm 4 forms a SCBDS, and the distributed algorithms have the same performance ratio with the centralized algorithms. Lemma The distributed algorithms α-MOC-SCBDS-D produces a SCBDS with the upper bound where ρ = rmax /rmin
תוצאות

21. Simulation
In the simulation, we model a wireless sensor network as a set of nodes randomly deploy in a 100×100 Euclidean plane. The number of nodes varies among 100, 150, 200, 250, 300, 350 and 400.
Each node has a fixed transmission range in the range of [rmin, rmax]. rmin changes among 15, 20, 25 and 30. rmax=ρ*rmin where ρ=rmax/rmin varied among 1.25, 1.5, 1.75 and 2.
רו זה היחס בין המרחק המקסימלי למינמלי ברשת

22. Simulation Compared results:
CDS-BD-D is a approximate algorithm that generates a CDS whose size and average path length are bounded.
The author improve CDS-BD-D as SCBDS-BD-D using forward tree and backward tree to work on directed graphs.
CDS-BD-D as SCBDS-BD-D
הראשון הוא קירוב לCDS עם גודל ואורך מסלול ממוצע חסומים
בוצעה התאמה לגרף מכוון ע"י שימוש בעצים של הדרך החוצה ושל הדרך פנימה

23. Simulation Compared results:
CDS-BFS, algorithm under unidirectional graph. SCDS size is bounded, but dominated nodes may not communicate with its dominating nodes.
Improve CDS-BFS as SCBDS-BFS through constructing bidirectional dominating set to work on directed graphs.
CDS-BFS as SCBDS-BFS
הראשון עובד על גרף חד כיווני גודל של SCDS חסום אבל הצמתים השלטים לא בהכרח מחוברים לשולטים
ההתאמה- בנייה של קבוצה שולטת דו כיוונית

24. Simulation CDS-BFS as SCBDS-BFS
הראשון עובד על גרף חד כיווני גודל של SCDS חסום אבל הצמתים השלטים לא בהכרח מחוברים לשולטים
ההתאמה- בנייה של קבוצה שולטת דו כיוונית

25. Simulation CDS-BFS as SCBDS-BFS
הראשון עובד על גרף חד כיווני גודל של SCDS חסום אבל הצמתים השלטים לא בהכרח מחוברים לשולטים
ההתאמה- בנייה של קבוצה שולטת דו כיוונית

26. Simulation CDS-BFS as SCBDS-BFS
הראשון עובד על גרף חד כיווני גודל של SCDS חסום אבל הצמתים השלטים לא בהכרח מחוברים לשולטים
ההתאמה- בנייה של קבוצה שולטת דו כיוונית

27. Simulation CDS-BFS as SCBDS
הראשון עובד על גרף חד כיווני גודל של SCDS חסום אבל הצמתים השלטים לא בהכרח מחוברים לשולטים
ההתאמה- בנייה של קבוצה שולטת דו כיוונית
-BFS

28. Questions?