Delay-Constrained Unicast: Improved upper bounds Sudeep Kamath - - PowerPoint PPT Presentation

delay constrained unicast improved upper bounds
SMART_READER_LITE
LIVE PREVIEW

Delay-Constrained Unicast: Improved upper bounds Sudeep Kamath - - PowerPoint PPT Presentation

Delay-Constrained Unicast: Improved upper bounds Sudeep Kamath Joint work with Chandra Chekuri Sreeram Kannan Pramod Viswanath DIMACS workshop on Network Coding, 17 December 2015 0 / 10 Intra-fmow coding has fewer security and privacy


slide-1
SLIDE 1

Delay-Constrained Unicast: Improved upper bounds

Sudeep Kamath

Joint work with Chandra Chekuri Sreeram Kannan Pramod Viswanath

DIMACS workshop on Network Coding, 17 December 2015

0 / 10

slide-2
SLIDE 2

Delay-constrained unicast [Wang-Chen '14]

Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest

1 / 10

slide-3
SLIDE 3

Single flow with delay constraint D Delay-constrained unicast [Wang-Chen '14]

Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest

1 / 10

slide-4
SLIDE 4

Single flow with delay constraint D Delay-constrained unicast [Wang-Chen '14]

Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest

1 / 10

slide-5
SLIDE 5

Single flow with delay constraint D For this network with D=6, Capacity Flow = 4 3 Delay-constrained unicast [Wang-Chen '14]

Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest

1 / 10

slide-6
SLIDE 6

Single flow with delay constraint D For this network with D=6, Capacity Flow = 4 3 Delay-constrained unicast [Wang-Chen '14]

Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest

1 / 10

slide-7
SLIDE 7

Single flow with delay constraint D For this network with D=6, Capacity Flow = 4 3 Delay-constrained unicast [Wang-Chen '14]

Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest

1 / 10

slide-8
SLIDE 8

Single flow with delay constraint D For this network with D=6, Capacity Flow = 4 3 Delay-constrained unicast [Wang-Chen '14]

Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest

1 / 10

slide-9
SLIDE 9

Single flow with delay constraint D For this network with D=6, Capacity Flow = 4 3 Delay-constrained unicast [Wang-Chen '14] Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest

1 / 10

slide-10
SLIDE 10

Single flow with delay constraint D For this network with D=6, Capacity Flow = 4 3 Delay-constrained unicast [Wang-Chen '14] How large can this ratio be? Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest

1 / 10

slide-11
SLIDE 11

Single flow with delay constraint D For this network with D=6, Capacity Flow = 4 3 Delay-constrained unicast [Wang-Chen '14] How large can this ratio be? 2 ≤ sup

graphs

Capacity Flow ≤ D + 1 Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest

1 / 10

slide-12
SLIDE 12

Single flow with delay constraint D For this network with D=6, Capacity Flow = 4 3 Delay-constrained unicast [Wang-Chen '14] How large can this ratio be? 2 ≤ sup

graphs

Capacity Flow ≤ D + 1 We improve

  • ver this

Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest

1 / 10

slide-13
SLIDE 13

Combinatorial Optimization Network Information Theory This work

2 / 10

slide-14
SLIDE 14

Combinatorial Optimization Network Information Theory This work

Multi-commodity flow problem

2 / 10

slide-15
SLIDE 15

Combinatorial Optimization Network Information Theory This work

Multi-commodity flow problem Multiple-unicast problem

2 / 10

slide-16
SLIDE 16

Multi-commodity fmow / Multiple-unicast

Given a directed graph and k source-destination pairs {(si, di)} Flow: Maximum total commodity fmow EdgeCut: Fewest edges whose removal disconnects all paths from to Capacity: Maximum information fmow EdgeCut Cutset bound Capacity Cutset bound However, we may have EdgeCut Capacity

3 / 10

slide-17
SLIDE 17

Multi-commodity fmow / Multiple-unicast

Given a directed graph and k source-destination pairs {(si, di)} Flow: Maximum total commodity fmow EdgeCut: Fewest edges whose removal disconnects all paths from to Capacity: Maximum information fmow EdgeCut Cutset bound Capacity Cutset bound However, we may have EdgeCut Capacity s1 s2

d2 d1

3 / 10

slide-18
SLIDE 18

Multi-commodity fmow / Multiple-unicast

Given a directed graph and k source-destination pairs {(si, di)} Flow: Maximum total commodity fmow EdgeCut: Fewest edges whose removal disconnects all paths from to Capacity: Maximum information fmow EdgeCut Cutset bound Capacity Cutset bound However, we may have EdgeCut Capacity s1 s2

d2 d1

3 / 10

slide-19
SLIDE 19

Multi-commodity fmow / Multiple-unicast

Given a directed graph and k source-destination pairs {(si, di)} Flow: Maximum total commodity fmow EdgeCut: Fewest edges whose removal disconnects all paths from to Capacity: Maximum information fmow EdgeCut Cutset bound Capacity Cutset bound However, we may have EdgeCut Capacity s1 s2

d2 d1 Flow = 1

3 / 10

slide-20
SLIDE 20

Multi-commodity fmow / Multiple-unicast

Given a directed graph and k source-destination pairs {(si, di)} Flow: Maximum total commodity fmow EdgeCut: Fewest edges whose removal disconnects all paths from si to di ∀i Capacity: Maximum information fmow EdgeCut Cutset bound Capacity Cutset bound However, we may have EdgeCut Capacity s1 s2

d2 d1 Flow = 1

3 / 10

slide-21
SLIDE 21

Multi-commodity fmow / Multiple-unicast

Given a directed graph and k source-destination pairs {(si, di)} Flow: Maximum total commodity fmow EdgeCut: Fewest edges whose removal disconnects all paths from si to di ∀i Capacity: Maximum information fmow EdgeCut Cutset bound Capacity Cutset bound However, we may have EdgeCut Capacity s1 s2

×

d2 d1 Flow = 1

3 / 10

slide-22
SLIDE 22

Multi-commodity fmow / Multiple-unicast

Given a directed graph and k source-destination pairs {(si, di)} Flow: Maximum total commodity fmow EdgeCut: Fewest edges whose removal disconnects all paths from si to di ∀i Capacity: Maximum information fmow EdgeCut Cutset bound Capacity Cutset bound However, we may have EdgeCut Capacity s1 s2

× × ×

d2 d1 Flow = 1 EdgeCut = 1

3 / 10

slide-23
SLIDE 23

Multi-commodity fmow / Multiple-unicast

Given a directed graph and k source-destination pairs {(si, di)} Flow: Maximum total commodity fmow EdgeCut: Fewest edges whose removal disconnects all paths from si to di ∀i Capacity: Maximum information fmow EdgeCut Cutset bound Capacity Cutset bound However, we may have EdgeCut Capacity s1 s2

× × ×

d2 d1 Flow = 1 EdgeCut = 1

3 / 10

slide-24
SLIDE 24

Multi-commodity fmow / Multiple-unicast

Given a directed graph and k source-destination pairs {(si, di)} Flow: Maximum total commodity fmow EdgeCut: Fewest edges whose removal disconnects all paths from si to di ∀i Capacity: Maximum information fmow EdgeCut Cutset bound Capacity Cutset bound However, we may have EdgeCut Capacity s1 s2

d2 d1 Flow = 1 EdgeCut = 1 a ⊕ b a b a ⊕ b a ⊕ b a b

3 / 10

slide-25
SLIDE 25

Multi-commodity fmow / Multiple-unicast

Given a directed graph and k source-destination pairs {(si, di)} Flow: Maximum total commodity fmow EdgeCut: Fewest edges whose removal disconnects all paths from si to di ∀i Capacity: Maximum information fmow EdgeCut Cutset bound Capacity Cutset bound However, we may have EdgeCut Capacity s1 s2

d2 d1 Flow = 1 EdgeCut = 1 a ⊕ b a b a ⊕ b a ⊕ b a b Capacity = 2

3 / 10

slide-26
SLIDE 26

Multi-commodity fmow / Multiple-unicast

Given a directed graph and k source-destination pairs {(si, di)} Flow: Maximum total commodity fmow EdgeCut: Fewest edges whose removal disconnects all paths from si to di ∀i Capacity: Maximum information fmow EdgeCut ̸= Cutset bound Capacity Cutset bound However, we may have EdgeCut Capacity s1 s2

d2 d1 Flow = 1 EdgeCut = 1 a ⊕ b a b a ⊕ b a ⊕ b a b Capacity = 2

3 / 10

slide-27
SLIDE 27

Multi-commodity fmow / Multiple-unicast

Given a directed graph and k source-destination pairs {(si, di)} Flow: Maximum total commodity fmow EdgeCut: Fewest edges whose removal disconnects all paths from si to di ∀i Capacity: Maximum information fmow EdgeCut ̸= Cutset bound Capacity ≤ Cutset bound However, we may have EdgeCut Capacity s1 s2

d2 d1 Flow = 1 EdgeCut = 1 a ⊕ b a b a ⊕ b a ⊕ b a b Capacity = 2

3 / 10

slide-28
SLIDE 28

Multi-commodity fmow / Multiple-unicast

Given a directed graph and k source-destination pairs {(si, di)} Flow: Maximum total commodity fmow EdgeCut: Fewest edges whose removal disconnects all paths from si to di ∀i Capacity: Maximum information fmow EdgeCut ̸= Cutset bound Capacity ≤ Cutset bound However, we may have EdgeCut < Capacity s1 s2

d2 d1 Flow = 1 EdgeCut = 1 a ⊕ b a b a ⊕ b a ⊕ b a b Capacity = 2

3 / 10

slide-29
SLIDE 29

4 / 10

slide-30
SLIDE 30

Flow = EdgeCut = Capacity

For k = 1:

(Max-Flow Min-Cut Theorem)

4 / 10

slide-31
SLIDE 31

Flow = EdgeCut = Capacity

For k = 1:

(Max-Flow Min-Cut Theorem)

For k ≥ 2:

4 / 10

slide-32
SLIDE 32

Flow ≤ EdgeCut Flow ≤ Capacity EdgeCut ≶ Capacity Flow = EdgeCut = Capacity

For k = 1:

(Max-Flow Min-Cut Theorem)

For k ≥ 2:

4 / 10

slide-33
SLIDE 33

EdgeCut Capacity Flow Flow ≤ EdgeCut Flow ≤ Capacity EdgeCut ≶ Capacity Flow = EdgeCut = Capacity

For k = 1:

(Max-Flow Min-Cut Theorem)

For k ≥ 2:

4 / 10

slide-34
SLIDE 34

EdgeCut Capacity Flow

[Saks-Samorodnitsky-Zosin '04], [Harvey-Kleinberg-Lehman '06], [Ambühl-Mastrolilli-Svensson '07], [Chuzhoy-Khanna '07], [Dougherty-Freiling-Zeger '05], [Chan-Grant '08]

Flow ≤ EdgeCut Flow ≤ Capacity EdgeCut ≶ Capacity Flow = EdgeCut = Capacity

For k = 1:

(Max-Flow Min-Cut Theorem)

For k ≥ 2:

4 / 10

slide-35
SLIDE 35

EdgeCut Capacity Flow

[Saks-Samorodnitsky-Zosin '04], [Harvey-Kleinberg-Lehman '06], [Ambühl-Mastrolilli-Svensson '07], [Chuzhoy-Khanna '07], [Dougherty-Freiling-Zeger '05], [Chan-Grant '08]

Linear Program

Flow ≤ EdgeCut Flow ≤ Capacity EdgeCut ≶ Capacity Flow = EdgeCut = Capacity

For k = 1:

(Max-Flow Min-Cut Theorem)

For k ≥ 2:

4 / 10

slide-36
SLIDE 36

EdgeCut Capacity Flow

[Saks-Samorodnitsky-Zosin '04], [Harvey-Kleinberg-Lehman '06], [Ambühl-Mastrolilli-Svensson '07], [Chuzhoy-Khanna '07], [Dougherty-Freiling-Zeger '05], [Chan-Grant '08]

Linear Program NP-hard, hard to approximate

Flow ≤ EdgeCut Flow ≤ Capacity EdgeCut ≶ Capacity Flow = EdgeCut = Capacity

For k = 1:

(Max-Flow Min-Cut Theorem)

For k ≥ 2:

4 / 10

slide-37
SLIDE 37

EdgeCut Capacity Flow

[Saks-Samorodnitsky-Zosin '04], [Harvey-Kleinberg-Lehman '06], [Ambühl-Mastrolilli-Svensson '07], [Chuzhoy-Khanna '07], [Dougherty-Freiling-Zeger '05], [Chan-Grant '08]

Linear Program NP-hard, hard to approximate

Flow ≤ EdgeCut Flow ≤ Capacity EdgeCut ≶ Capacity Flow = EdgeCut = Capacity

For k = 1:

(Max-Flow Min-Cut Theorem)

For k ≥ 2:

4 / 10

slide-38
SLIDE 38

EdgeCut Capacity Flow

[Saks-Samorodnitsky-Zosin '04], [Harvey-Kleinberg-Lehman '06], [Ambühl-Mastrolilli-Svensson '07], [Chuzhoy-Khanna '07], [Dougherty-Freiling-Zeger '05], [Chan-Grant '08]

Linear Program NP-hard, hard to approximate

Flow ≤ EdgeCut Flow ≤ Capacity EdgeCut ≶ Capacity Flow = EdgeCut = Capacity

For k = 1:

(Max-Flow Min-Cut Theorem)

For k ≥ 2:

4 / 10

slide-39
SLIDE 39

EdgeCut Capacity Flow

[Saks-Samorodnitsky-Zosin '04], [Harvey-Kleinberg-Lehman '06], [Ambühl-Mastrolilli-Svensson '07], [Chuzhoy-Khanna '07], [Dougherty-Freiling-Zeger '05], [Chan-Grant '08]

Linear Program NP-hard, hard to approximate

Flow ≤ EdgeCut Flow ≤ Capacity EdgeCut ≶ Capacity Flow = EdgeCut = Capacity

For k = 1:

(Max-Flow Min-Cut Theorem)

For k ≥ 2:

4 / 10

slide-40
SLIDE 40

EdgeCut Capacity Flow

[Saks-Samorodnitsky-Zosin '04], [Harvey-Kleinberg-Lehman '06], [Ambühl-Mastrolilli-Svensson '07], [Chuzhoy-Khanna '07], [Dougherty-Freiling-Zeger '05], [Chan-Grant '08]

Linear Program NP-hard, hard to approximate

Linear coding not sufficient, entropic cone necessary

Flow ≤ EdgeCut Flow ≤ Capacity EdgeCut ≶ Capacity Flow = EdgeCut = Capacity

For k = 1:

(Max-Flow Min-Cut Theorem)

For k ≥ 2:

4 / 10

slide-41
SLIDE 41

EdgeCut Capacity Flow Can be multiplicative factor k apart

[Saks-Samorodnitsky-Zosin '04], [Harvey-Kleinberg-Lehman '06], [Ambühl-Mastrolilli-Svensson '07], [Chuzhoy-Khanna '07], [Dougherty-Freiling-Zeger '05], [Chan-Grant '08]

Linear Program NP-hard, hard to approximate

Linear coding not sufficient, entropic cone necessary

Flow ≤ EdgeCut Flow ≤ Capacity EdgeCut ≶ Capacity Flow = EdgeCut = Capacity

For k = 1:

(Max-Flow Min-Cut Theorem)

For k ≥ 2:

4 / 10

slide-42
SLIDE 42

Triangle-cast

Main Result 1: For triangle-cast as above,

EdgeCut log Flow Capacity EdgeCut

Main ideas: Adaptation of a “region-growing” technique [Garg-Vazirani-Yannakakis ’96] Generalized Network Sharing bound [K.-Tse-Anantharam ’11]

5 / 10

slide-43
SLIDE 43

Triangle-cast

s1 s2 sk d1 d2 dk Directed Graph Multiple-unicast: flow from si to di for all i

Main Result 1: For triangle-cast as above,

EdgeCut log Flow Capacity EdgeCut

Main ideas: Adaptation of a “region-growing” technique [Garg-Vazirani-Yannakakis ’96] Generalized Network Sharing bound [K.-Tse-Anantharam ’11]

5 / 10

slide-44
SLIDE 44

Triangle-cast

s1 s2 sk d1 d2 dk Directed Graph Multiple-unicast: flow from si to di for all i Triangle-cast: flow from si to dj for all i ≥ j

Main Result 1: For triangle-cast as above,

EdgeCut log Flow Capacity EdgeCut

Main ideas: Adaptation of a “region-growing” technique [Garg-Vazirani-Yannakakis ’96] Generalized Network Sharing bound [K.-Tse-Anantharam ’11]

5 / 10

slide-45
SLIDE 45

Triangle-cast

s1 s2 sk d1 d2 dk Directed Graph Multiple-unicast: flow from k(k + 1) 2 flows si to di for all i Triangle-cast: flow from si to dj for all i ≥ j

Main Result 1: For triangle-cast as above,

EdgeCut log Flow Capacity EdgeCut

Main ideas: Adaptation of a “region-growing” technique [Garg-Vazirani-Yannakakis ’96] Generalized Network Sharing bound [K.-Tse-Anantharam ’11]

5 / 10

slide-46
SLIDE 46

Triangle-cast

s1 s2 sk d1 d2 dk Directed Graph Multiple-unicast: flow from k(k + 1) 2 flows si to di for all i Triangle-cast: flow from si to dj for all i ≥ j

Main Result 1: For triangle-cast as above,

EdgeCut 4 loge(k + 1) ≤ Flow ≤ Capacity ≤ EdgeCut

Main ideas: Adaptation of a “region-growing” technique [Garg-Vazirani-Yannakakis ’96] Generalized Network Sharing bound [K.-Tse-Anantharam ’11]

5 / 10

slide-47
SLIDE 47

Triangle-cast

s1 s2 sk d1 d2 dk Directed Graph Multiple-unicast: flow from k(k + 1) 2 flows si to di for all i Triangle-cast: flow from si to dj for all i ≥ j

Main Result 1: For triangle-cast as above,

EdgeCut 4 loge(k + 1) ≤ Flow ≤ Capacity ≤ EdgeCut

Main ideas: Adaptation of a “region-growing” technique [Garg-Vazirani-Yannakakis ’96] Generalized Network Sharing bound [K.-Tse-Anantharam ’11]

5 / 10

slide-48
SLIDE 48

Triangle-cast

s1 s2 sk d1 d2 dk Directed Graph Multiple-unicast: flow from k(k + 1) 2 flows si to di for all i Triangle-cast: flow from si to dj for all i ≥ j

Main Result 1: For triangle-cast as above,

EdgeCut 4 loge(k + 1) ≤ Flow ≤ Capacity ≤ EdgeCut

Main ideas: Adaptation of a “region-growing” technique [Garg-Vazirani-Yannakakis ’96] Generalized Network Sharing bound [K.-Tse-Anantharam ’11]

5 / 10

slide-49
SLIDE 49

s

d Delay constraint D = 2

Delay constrained network

Main Result 2 Capacity Flow log

Delay

6 / 10

slide-50
SLIDE 50

Reproduced from xkcd.com

6 / 10

slide-51
SLIDE 51

s

d Delay constraint D = 2

Delay constrained network

Main Result 2 Capacity Flow log

Delay

6 / 10

slide-52
SLIDE 52

s(1) d(1) d(2) d(3) d(4) d(5) s(2) s(3) s(4) s(5)

s1 s2 d2 d1 s3 d3

Time 0 Time 1 Time 2 Time D Time D+1 Time D+2

s

d Delay constraint D = 2

Delay constrained network

Main Result 2 Capacity Flow log

Delay

6 / 10

slide-53
SLIDE 53

s(1) d(1) d(2) d(3) d(4) d(5) s(2) s(3) s(4) s(5)

s1 s2 d2 d1 s3 d3

Time 0 Time 1 Time 2 Time D Time D+1 Time D+2

s

d Delay constraint D = 2

Delay constrained network

Main Result 2 Capacity Flow log

Delay

6 / 10

slide-54
SLIDE 54

s(1) d(1) d(2) d(3) d(4) d(5) s(2) s(3) s(4) s(5)

s1 s2 d2 d1 s3 d3

Time 0 Time 1 Time 2 Time D Time D+1 Time D+2

Multiple-unicast s

d Delay constraint D = 2

Delay constrained network

Main Result 2 Capacity Flow log

Delay

6 / 10

slide-55
SLIDE 55

s(1) d(1) d(2) d(3) d(4) d(5) s(2) s(3) s(4) s(5)

s1 s2 d2 d1 s3 d3

Time 0 Time 1 Time 2 Time D Time D+1 Time D+2

Multiple-unicast Information delivered earlier is ok! s

d Delay constraint D = 2

Delay constrained network

Main Result 2 Capacity Flow log

Delay

6 / 10

slide-56
SLIDE 56

s(1) d(1) d(2) d(3) d(4) d(5) s(2) s(3) s(4) s(5)

s1 s2 d2 d1 s3 d3

Time 0 Time 1 Time 2 Time D Time D+1 Time D+2

Multiple-unicast Information delivered earlier is ok! s

d Delay constraint D = 2

Delay constrained network

Main Result 2 Capacity Flow log

Delay

6 / 10

slide-57
SLIDE 57

s(1) d(1) d(2) d(3) d(4) d(5) s(2) s(3) s(4) s(5)

s1 s2 d2 d1 s3 d3

Time 0 Time 1 Time 2 Time D Time D+1 Time D+2

Multiple-unicast Information delivered earlier is ok! Hence, triangle-cast! s

d Delay constraint D = 2

Delay constrained network

Main Result 2 Capacity Flow log

Delay

6 / 10

slide-58
SLIDE 58

s(1) d(1) d(2) d(3) d(4) d(5) s(2) s(3) s(4) s(5)

s1 s2 d2 d1 s3 d3

Time 0 Time 1 Time 2 Time D Time D+1 Time D+2

Multiple-unicast Information delivered earlier is ok! Hence, triangle-cast! s

d Delay constraint D = 2

Delay constrained network

Main Result 2 Capacity Flow ≤ 8 loge(D+1)

D = Delay

6 / 10

slide-59
SLIDE 59

Open 1: “Multicast”

s d1 d2 d3

Multicast: same information to all destinations What happens with delay constraint? Practical constraint Intra-fmow coding Coding strategies? - Random coding does not work

7 / 10

slide-60
SLIDE 60

Open 1: “Multicast”

s d1 d2 d3

Multicast: same information to all destinations What happens with delay constraint? Practical constraint Intra-fmow coding Coding strategies? - Random coding does not work

7 / 10

slide-61
SLIDE 61

Open 1: “Multicast”

s d1 d2 d3

Multicast: same information to all destinations What happens with delay constraint? Practical constraint Intra-fmow coding Coding strategies? - Random coding does not work

7 / 10

slide-62
SLIDE 62

Open 2: “Triangle-cast gap”

Theorem (this work)

For k-triangle-cast, EdgeCut 4 loge(k + 1) ≤ Flow ≤ Capacity ≤ EdgeCut

Conjecture

For

  • triangle-cast,

EdgeCut Flow Capacity EdgeCut Hence, for delay-constrained unicast, Capacity Flow

8 / 10

slide-63
SLIDE 63

Open 2: “Triangle-cast gap”

Theorem (this work)

For k-triangle-cast, EdgeCut 4 loge(k + 1) ≤ Flow ≤ Capacity ≤ EdgeCut

Conjecture

For k-triangle-cast, EdgeCut 2 ≤ Flow ≤ Capacity ≤ EdgeCut Hence, for delay-constrained unicast, Capacity Flow ≤ 2

8 / 10

slide-64
SLIDE 64

Open 3: “Symmetry Principle”

Principle Under suitable symmetry in traffjc pattern, Flow, EdgeCut, Capacity are all not “too far” apart.

9 / 10

slide-65
SLIDE 65

Open 3: “Symmetry Principle”

F : Flow EC : EdgeCut C : Capacity

9 / 10

slide-66
SLIDE 66

Open 3: “Symmetry Principle”

F : Flow EC : EdgeCut C : Capacity

Bidirected Networks Symmetric Demands Group-cast Triangle-cast

[Leighton-Rao '88] [Linial-London-Rabinovich '94] [This work] [This work] [Klein-Plotkin-Rao-Tardos '93] [Naor-Zosin '01] [K.-Viswanath '12] [K.-Viswanath '12] [K.-Viswanath '12]

EC Θ(log k) ≤ F ≤ EC EC Θ(log3 k) ≤ F ≤ EC

EC 2 ≤ F ≤ EC

EC Θ(log k) ≤ F ≤ EC

F ≤ C ≤ EC F ≤ C ≤ 2 × EC F ≤ C ≤ EC F ≤ C ≤ EC

9 / 10

slide-67
SLIDE 67

Open 3: “Symmetry Principle”

F : Flow EC : EdgeCut C : Capacity

Bidirected Networks Symmetric Demands Group-cast Triangle-cast

[Leighton-Rao '88] [Linial-London-Rabinovich '94] [This work] [This work] [Klein-Plotkin-Rao-Tardos '93] [Naor-Zosin '01] [K.-Viswanath '12] [K.-Viswanath '12] [K.-Viswanath '12]

EC Θ(log k) ≤ F ≤ EC EC Θ(log3 k) ≤ F ≤ EC

EC 2 ≤ F ≤ EC

EC Θ(log k) ≤ F ≤ EC

F ≤ C ≤ EC F ≤ C ≤ 2 × EC F ≤ C ≤ EC F ≤ C ≤ EC

???

9 / 10

slide-68
SLIDE 68

Conclusion

s1 s2 sk d1 d2 dk Directed Graph Triangle-cast: flow from si to dj for all i ≥ j

= ⇒

Capacity Flow ≤ 8 loge(D + 1) Showed a 4 loge(k + 1) Flow − EdgeCut − Capacity approximation guarantee Delay-constrained unicast (delay D) has s1 s2 sk d1 d2 dk Directed Graph

10 / 10