Optimal Oblivious Routing in Hole-Free Networks Costas Busch - - PowerPoint PPT Presentation

optimal oblivious routing in
SMART_READER_LITE
LIVE PREVIEW

Optimal Oblivious Routing in Hole-Free Networks Costas Busch - - PowerPoint PPT Presentation

Optimal Oblivious Routing in Hole-Free Networks Costas Busch Louisiana State University Malik Magdon-Ismail Rensselaer Polytechnic Institute 1 Routing: choose paths from sources to destinations v 3 u 1 u v 2 2 u 3 v 1 2 Edge


slide-1
SLIDE 1

1

Optimal Oblivious Routing in Hole-Free Networks Costas Busch

Louisiana State University

Malik Magdon-Ismail Rensselaer Polytechnic Institute

slide-2
SLIDE 2

2

1

u

1

v

2

u

2

v

3

u

3

v

Routing: choose paths from sources to destinations

slide-3
SLIDE 3

3

Edge congestion

edge

C

maximum number of paths that use any edge

Node congestion

node

C

maximum number of paths that use any node

slide-4
SLIDE 4

4

Length of chosen path Length of shortest path

u v

Stretch=

5 . 1 8 12 stretch  

shortest path

chosen path

slide-5
SLIDE 5

5

Oblivious Routing

Each packet path choice is independent

  • f other packet path choices
slide-6
SLIDE 6

6

1

q

2

q

3

q

Path choices:

4

q

4

q

5

q

k

q q , ,

1 

Probability of choosing a path:

] Pr[ i q

1 ] Pr[

1

 k i i

q

slide-7
SLIDE 7

7

Benefits of oblivious routing:

  • Appropriate for dynamic packet arrivals
  • Distributed
  • Needs no global coordination
slide-8
SLIDE 8

8

Hole-free network

slide-9
SLIDE 9

9

Our contribution in this work: Oblivious routing in hole-free networks Constant stretch Small congestion

) log (

*

n C O C

node node 

) 1 ( stretch O 

slide-10
SLIDE 10

10

Holes

slide-11
SLIDE 11

11

Related Work

Valiant [SICOMP’82]: First oblivious routing algorithms for permutations on butterfly and hypercube

butterfly butterfly (reversed)

slide-12
SLIDE 12

12

d-dimensional Grid:

 

n C d O C

edge edge

log

*

 

          d n C C

edge edge

log

*

Lower bound for oblivious routing: Maggs, Meyer auf der Heide, Voecking, Westermann [FOCS’97]:

slide-13
SLIDE 13

13

Azar et al. [STOC03] Harrelson et al. [SPAA03] Bienkowski et al. [SPAA03] Arbitrary Graphs (existential result):

 

n C O C

edge edge 3 *

log 

Constructive Results: Racke [FOCS’02]:

 

n C O C

edge edge

log

*

Racke [STOC’08]:

slide-14
SLIDE 14

14

Hierarchical clustering General Approach:

slide-15
SLIDE 15

15

Hierarchical clustering General Approach:

slide-16
SLIDE 16

16

At the lowest level every node is a cluster

slide-17
SLIDE 17

17

source destination

slide-18
SLIDE 18

18

Pick random node

slide-19
SLIDE 19

19

Pick random node

slide-20
SLIDE 20

20

Pick random node

slide-21
SLIDE 21

21

Pick random node

slide-22
SLIDE 22

22

Pick random node

slide-23
SLIDE 23

23

Pick random node

slide-24
SLIDE 24

24

Pick random node

slide-25
SLIDE 25

25

slide-26
SLIDE 26

26

Adjacent nodes may follow long paths Big stretch

Problem:

slide-27
SLIDE 27

27

An Impossibility Result Stretch and congestion cannot be minimized simultaneously in arbitrary graphs

slide-28
SLIDE 28

28

) ( n 

Each path has length n paths

Length 1

Source of packets

n

Destination

  • f all packets

Example graph: nodes

n

slide-29
SLIDE 29

29

n

packets in one path Stretch = Edge congestion =

1

n

slide-30
SLIDE 30

30

1 packet per path

n

1

Stretch = Edge congestion =

slide-31
SLIDE 31

31

 

n C d O C

edge edge

log

*

 

) ( stretch

2

d O 

Result for Grids: Busch, Magdon-Ismail, Xi [TC’08]

For d=2, a similar result given by C. Scheideler

slide-32
SLIDE 32

32

Special graphs embedded in the 2-dimensional plane: Constant stretch Small congestion

) log (

*

n C O C

node node 

) log (

*

n C O C

edge edge

  

degree

Busch, Magdon-Ismail, Xi [SPAA 2005]:

) 1 ( stretch O 

slide-33
SLIDE 33

33

Embeddings in wide, closed-curved areas

slide-34
SLIDE 34

34

Graph models appropriate for various wireless network topologies Transmission radius

slide-35
SLIDE 35

35

Basic Idea source destination

slide-36
SLIDE 36

36

Pick a random intermediate node

slide-37
SLIDE 37

37

Construct path through intermediate node

slide-38
SLIDE 38

38

However, algorithm does not extend to arbitrary closed shapes

slide-39
SLIDE 39

39

Our contribution in this work: Oblivious routing in hole-free networks

slide-40
SLIDE 40

40

Approach: route within square areas

) 1 ( stretch O 

) log (

*

n C O C

node node 

slide-41
SLIDE 41

41

n n

grid

slide-42
SLIDE 42

42

simple area in grid (hole-free area)

slide-43
SLIDE 43

43

Hole-free network

slide-44
SLIDE 44

44

Canonical square decomposition

slide-45
SLIDE 45

45

Canonical square decomposition

slide-46
SLIDE 46

46

Canonical square decomposition

slide-47
SLIDE 47

47

Canonical square decomposition

slide-48
SLIDE 48

48

slide-49
SLIDE 49

49

slide-50
SLIDE 50

50

u

v

Shortest path

slide-51
SLIDE 51

51

u

v

Canonical square sequence

slide-52
SLIDE 52

52

u

v

A random path in canonical squares

slide-53
SLIDE 53

53

u

v

Path has constant stretch

slide-54
SLIDE 54

54

Random 2-bend paths

  • r 1-bend paths

in square sequence