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
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
0 / 10
Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest
1 / 10
Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest
1 / 10
Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest
1 / 10
Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest
1 / 10
Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest
1 / 10
Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest
1 / 10
Practical constraint - eg. video streaming, fjnancial data Intra-fmow coding has fewer security and privacy concerns Implementation aligned with self-interest
1 / 10
1 / 10
1 / 10
graphs
1 / 10
graphs
1 / 10
2 / 10
2 / 10
2 / 10
3 / 10
3 / 10
3 / 10
3 / 10
3 / 10
3 / 10
3 / 10
3 / 10
3 / 10
3 / 10
3 / 10
3 / 10
3 / 10
4 / 10
(Max-Flow Min-Cut Theorem)
4 / 10
(Max-Flow Min-Cut Theorem)
4 / 10
(Max-Flow Min-Cut Theorem)
4 / 10
(Max-Flow Min-Cut Theorem)
4 / 10
[Saks-Samorodnitsky-Zosin '04], [Harvey-Kleinberg-Lehman '06], [Ambühl-Mastrolilli-Svensson '07], [Chuzhoy-Khanna '07], [Dougherty-Freiling-Zeger '05], [Chan-Grant '08]
(Max-Flow Min-Cut Theorem)
4 / 10
[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
(Max-Flow Min-Cut Theorem)
4 / 10
[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
(Max-Flow Min-Cut Theorem)
4 / 10
[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
(Max-Flow Min-Cut Theorem)
4 / 10
[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
(Max-Flow Min-Cut Theorem)
4 / 10
[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
(Max-Flow Min-Cut Theorem)
4 / 10
[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
(Max-Flow Min-Cut Theorem)
4 / 10
[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
(Max-Flow Min-Cut Theorem)
4 / 10
Main ideas: Adaptation of a “region-growing” technique [Garg-Vazirani-Yannakakis ’96] Generalized Network Sharing bound [K.-Tse-Anantharam ’11]
5 / 10
s1 s2 sk d1 d2 dk Directed Graph Multiple-unicast: flow from si to di for all i
Main ideas: Adaptation of a “region-growing” technique [Garg-Vazirani-Yannakakis ’96] Generalized Network Sharing bound [K.-Tse-Anantharam ’11]
5 / 10
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 ideas: Adaptation of a “region-growing” technique [Garg-Vazirani-Yannakakis ’96] Generalized Network Sharing bound [K.-Tse-Anantharam ’11]
5 / 10
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 ideas: Adaptation of a “region-growing” technique [Garg-Vazirani-Yannakakis ’96] Generalized Network Sharing bound [K.-Tse-Anantharam ’11]
5 / 10
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 ideas: Adaptation of a “region-growing” technique [Garg-Vazirani-Yannakakis ’96] Generalized Network Sharing bound [K.-Tse-Anantharam ’11]
5 / 10
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 ideas: Adaptation of a “region-growing” technique [Garg-Vazirani-Yannakakis ’96] Generalized Network Sharing bound [K.-Tse-Anantharam ’11]
5 / 10
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
5 / 10
s
d Delay constraint D = 2
6 / 10
Reproduced from xkcd.com
6 / 10
s
d Delay constraint D = 2
6 / 10
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
6 / 10
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
6 / 10
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
6 / 10
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
6 / 10
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
6 / 10
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
6 / 10
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
6 / 10
7 / 10
7 / 10
7 / 10
8 / 10
8 / 10
9 / 10
9 / 10
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
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
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