Impact of Network Coding on Combinatorial Optimization Chandra Chekuri Univ. of Illinois, Urbana-Champaign DIMACS Workshop on Network Coding: Next 15 Years.

Slides:



Advertisements
Similar presentations
Network Design with Degree Constraints Guy Kortsarz Joint work with Rohit Khandekar and Zeev Nutov.
Advertisements

Submodular Set Function Maximization via the Multilinear Relaxation & Dependent Rounding Chandra Chekuri Univ. of Illinois, Urbana-Champaign.
Introduction to Algorithms
1 EE5900 Advanced Embedded System For Smart Infrastructure Static Scheduling.
1 Maximum flow sender receiver Capacity constraint Lecture 6: Jan 25.
Multicut Lower Bounds via Network Coding Anna Blasiak Cornell University.
All-or-Nothing Multicommodity Flow Chandra Chekuri Sanjeev Khanna Bruce Shepherd Bell Labs U. Penn Bell Labs.
Geometric embeddings and graph expansion James R. Lee Institute for Advanced Study (Princeton) University of Washington (Seattle)
Dependent Randomized Rounding in Matroid Polytopes (& Related Results) Chandra Chekuri Jan VondrakRico Zenklusen Univ. of Illinois IBM ResearchMIT.
Basic Feasible Solutions: Recap MS&E 211. WILL FOLLOW A CELEBRATED INTELLECTUAL TEACHING TRADITION.
Piyush Kumar (Lecture 6: MaxFlow MinCut Applications)
Lectures on Network Flows
1 Network Coding: Theory and Practice Apirath Limmanee Jacobs University.
Algorithms for Max-min Optimization
Totally Unimodular Matrices Lecture 11: Feb 23 Simplex Algorithm Elliposid Algorithm.
Semidefinite Programming
1 Approximation Algorithms for Demand- Robust and Stochastic Min-Cut Problems Vineet Goyal Carnegie Mellon University Based on, [Golovin, G, Ravi] (STACS’06)
Placement of Integration Points in Multi-hop Community Networks Ranveer Chandra (Cornell University) Lili Qiu, Kamal Jain and Mohammad Mahdian (Microsoft.
Approximation Algorithm: Iterative Rounding Lecture 15: March 9.
On the Capacity of Information Networks Nick Harvey Collaborators: Micah Adler (UMass), Kamal Jain (Microsoft), Bobby Kleinberg (MIT/Berkeley/Cornell),
Network Design Adam Meyerson Carnegie-Mellon University.
1 University of Freiburg Computer Networks and Telematics Prof. Christian Schindelhauer Mobile Ad Hoc Networks Theory of Data Flow and Random Placement.
Network Coding Project presentation Communication Theory 16:332:545 Amith Vikram Atin Kumar Jasvinder Singh Vinoo Ganesan.
1 Simple Network Codes for Instantaneous Recovery from Edge Failures in Unicast Connections Salim Yaacoub El Rouayheb, Alex Sprintson Costas Georghiades.
An Approximation Algorithm for Requirement cut on graphs Viswanath Nagarajan Joint work with R. Ravi.
Maximum Flows Lecture 4: Jan 19. Network transmission Given a directed graph G A source node s A sink node t Goal: To send as much information from s.
Network Coding and Reliable Communications Group Algebraic Network Coding Approach to Deterministic Wireless Relay Networks MinJi Kim, Muriel Médard.
Processing Along the Way: Forwarding vs. Coding Christina Fragouli Joint work with Emina Soljanin and Daniela Tuninetti.
Randomness in Computation and Communication Part 1: Randomized algorithms Lap Chi Lau CSE CUHK.
A General Approach to Online Network Optimization Problems Seffi Naor Computer Science Dept. Technion Haifa, Israel Joint work: Noga Alon, Yossi Azar,
Packing Element-Disjoint Steiner Trees Mohammad R. Salavatipour Department of Computing Science University of Alberta Joint with Joseph Cheriyan Department.
Max-flow/min-cut theorem Theorem: For each network with one source and one sink, the maximum flow from the source to the destination is equal to the minimal.
Daniel Baldwin COSC 494 – Graph Theory 4/9/2014 Definitions History Examplse (graphs, sample problems, etc) Applications State of the art, open problems.
Integrality Gaps for Sparsest Cut and Minimum Linear Arrangement Problems Nikhil R. Devanur Subhash A. Khot Rishi Saket Nisheeth K. Vishnoi.
Network Alignment: Treating Networks as Wireless Interference Channel Chun Meng Univ. of California, Irvine.
Networking Seminar Network Information Flow R. Ahlswede, N. Cai, S.-Y. R. Li, and R. W. Yeung. Network Information Flow. IEEE Transactions on Information.
Approximating Minimum Bounded Degree Spanning Tree (MBDST) Mohit Singh and Lap Chi Lau “Approximating Minimum Bounded DegreeApproximating Minimum Bounded.
Advanced Algorithms Piyush Kumar (Lecture 4: MaxFlow MinCut Applications) Welcome to COT5405.
CS774. Markov Random Field : Theory and Application Lecture 13 Kyomin Jung KAIST Oct
NETWORK CODING. Routing is concerned with establishing end to end paths between sources and sinks of information. In existing networks each node in a.
Linear Programming Data Structures and Algorithms A.G. Malamos References: Algorithms, 2006, S. Dasgupta, C. H. Papadimitriou, and U. V. Vazirani Introduction.
Distributed Algorithms Rajmohan Rajaraman Northeastern University, Boston May 2012 Chennai Network Optimization WorkshopDistributed Algorithms1.
1 Network Coding and its Applications in Communication Networks Alex Sprintson Computer Engineering Group Department of Electrical and Computer Engineering.
Data Structures & Algorithms Graphs
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
Max Flow – Min Cut Problem. Directed Graph Applications Shortest Path Problem (Shortest path from one point to another) Max Flow problems (Maximum material.
Local Phy + Global Routing: A Fundamental Layering Principle for Wireless Networks Pramod Viswanath, University of Illinois July, 2011.
Embeddings, flow, and cuts: an introduction University of Washington James R. Lee.
Multicommodity flow, well-linked terminals and routing problems Chandra Chekuri Lucent Bell Labs Joint work with Sanjeev Khanna and Bruce Shepherd Mostly.
1 The Encoding Complexity of Network Coding Michael Langberg California Institute of Technology Joint work with Jehoshua Bruck and Alex Sprintson.
The High, the Low and the Ugly Muriel Médard. Collaborators Nadia Fawaz, Andrea Goldsmith, Minji Kim, Ivana Maric 2.
New algorithms for Disjoint Paths and Routing Problems
Multi-commodity Flows and Cuts in Polymatroidal Networks
Graph Partitioning using Single Commodity Flows
10/11/10 A. Smith; based on slides by E. Demaine, C. Leiserson, S. Raskhodnikova, K. Wayne Adam Smith Algorithm Design and Analysis L ECTURE 21 Network.
1 EE5900 Advanced Embedded System For Smart Infrastructure Static Scheduling.
Iterative Rounding in Graph Connectivity Problems Kamal Jain ex- Georgia Techie Microsoft Research Some slides borrowed from Lap Chi Lau.
Prof. Swarat Chaudhuri COMP 382: Reasoning about Algorithms Fall 2015.
Approximation Algorithms Duality My T. UF.
1)Effect of Network Coding in Graphs Undirecting the edges is roughly as strong as allowing network coding simplicity is the main benefit 2)Effect of Network.
Multiroute Flows & Node-weighted Network Design Chandra Chekuri Univ of Illinois, Urbana-Champaign Joint work with Alina Ene and Ali Vakilian.
Network Topology Single-level Diversity Coding System (DCS) An information source is encoded by a number of encoders. There are a number of decoders, each.
New Algorithms for Disjoint Paths Problems Sanjeev Khanna University of Pennsylvania Joint work with Chandra Chekuri Bruce Shepherd.
TU/e Algorithms (2IL15) – Lecture 8 1 MAXIMUM FLOW (part II)
Impact of Interference on Multi-hop Wireless Network Performance
Lap Chi Lau we will only use slides 4 to 19
Topics in Algorithms Lap Chi Lau.
Algorithm Design and Analysis
A note on the Survivable Network Design Problem
Instructor: Shengyu Zhang
Presentation transcript:

Impact of Network Coding on Combinatorial Optimization Chandra Chekuri Univ. of Illinois, Urbana-Champaign DIMACS Workshop on Network Coding: Next 15 Years December 16, 2015

Network Coding [Ahlswede-Cai-Li-Yeung] Beautiful result that established connections between Coding and communication theory Networks and graphs Combinatorial Optimization Many others …

Combinatorial Optimization “Good characterizations” via “Min-Max” results is key to algorithmic success Multicast network coding result is a min-max result

Benefits to Combinatorial Optimization My perspective/experience New applications of existing results New problems New algorithms for classical problems Challenging open problems Interdisciplinary collaborations/friendships

Outline Part 1: Quantifying the benefit of network coding over routing Part 2: Algebraic algorithms for connectivity

Part 1

Coding Advantage Question: What is the advantage of network coding in improving throughput over routing?

Coding Advantage Question: What is the advantage of network coding in improving throughput over routing? Motivation Basic question since routing is standard and easy To understand and approximate capacity

Different Scenarios Unicast in wireline zero-delay networks Multicast in wireline zero-delay networks Multiple unicast in wireline zero-delay networks Broadcast/wireless networks Delay constrained networks Undirected graphs vs directed graphs

Max-flow Min-cut Theorem [Ford-Fulkerson, Menger] G=(V,E) directed graph with non-negative edge-capacities max s-t flow value equal to min s-t cut value if capacities integral max flow can be chosen to be integral s t Min s-t cut value upper bound on information capacity No coding advantage

Edmonds Arborescence Packing Theorem [Edmonds] G=(V,E) directed graph with non-negative edge-capacities A s-arboresence is a out-tree T rooted at s that contains all nodes in V Theorem: There are k edge-disjoint s-arborescences in G if and only if the s-v mincut is k for all v in V Min s-t cut value upper bound on information capacity No coding advantage for multicast from s to all nodes in V

Enter Network Coding Multicast from s to a subset of nodes T [Ahlswede-Cai-Li-Yeung] Theorem: Information capacity is equal to min cut from s to a terminal in T What about routing? Packing Steiner trees How big is the coding advantage?

Multicast Example s t1t1 t2t2 b1b1 b2b2 b1b1 b2b2 b1b1 b2b2 b 1 +b 2 s can multicast to t 1 and t 2 at rate 2 using network coding Optimal rate since min-cut (s, t 1 ) = min-cut (s, t 2 ) = 2 Question: what is the best achievable rate without coding (only routing) ?

A 1, A 2, A 3 are multicast/Steiner trees: each edge of G in at most 2 trees Use each tree for ½ the time. Rate = 3/2 t2t2 t2t2 s t1t1 A3A3 s t1t1 A1A1 s t1t1 t2t2 A2A2

Packing Steiner trees Question: If mincut from s to each t in T is k, how many Steiner trees can be packed? Packing questions fundamental in combinatorial optimization Optimum packing can be written as a “big” LP Connected to several questions on Steiner trees

Several results/connections [Li, Li] In undirected graphs coding advantage for multicast is at most 2 [Agarwal-Charikar] In undirected graphs coding advantage for multicast is exactly equal to the integrality gap of the bi-directed relaxation for Steiner tree problem. Gap is at most 2 and at least 8/7. An important unresolved problem in approximation. [Agarwal-Charikar] In directed graphs coding advantage is exactly equal to the integrality gap of the natural LP for directed Steiner tree problem. Important unresolved problem. Via results from [Zosin-Khuller, Halperin etal] coding advantages is Ω (k ½ ) or Ω (log 2 n) [C-Fragouli-Soljanin] extend results to lower bound coding advantage for average throughput and heterogeneous settings

New Theorems [Kiraly-Lau’06] “Approximate min-max theorems for Steiner rooted- orientation of graphs and hypergraphs” [FOCS’06, Journal of Combinatorial Theory ‘08] Motivated directly by network coding for multicast

Multiple Unicast G=(V,E) and multiple pairs (s 1, t 1 ), (s 2, t 2 ), …, (s k, t k ) What is the coding advantage for multiple unicast? In directed graphs it can be Ω (k) [Harvey etal] In undirected graphs it is unknown! [Li-Li] conjecture states that there is no coding advantage

Multiple Unicast What is the coding advantage for multiple unicast? Can be upper bounded by the gap between maximum concurrent flow and sparsest cut Extensive work in theoretical computer science Many results known

Max Concurrent Flow and Min Sparsest Cut f i (e) : flow for pair i on edge e  i f i (e) · c(e) for all e val(f i ) ¸ ¸ D i for all i max ¸ (max concurrent flow) s1s1 s3s3 t2t2 s2s2 t3t t1t1

Max Concurrent Flow and Min Sparsest Cut f i (e) : flow for pair i on edge e  i f i (e) · c(e) for all e val(f i ) ¸ ¸ D i for all i max ¸ (max concurrent flow) Sparsity of cut = capacity of cut / demand separated by cut Max Concurrent Flow · Min Sparsity s1s1 s3s3 t2t2 s2s2 t3t t1t1

Known Flow-Cut Gap Results ScenarioFlow-Cut Gap Undirected graphs Θ (log k) Directed graphsO(k), O(n 11/23 ), Ω (k), Ω (n 1/7 ) Directed graphs, symmetric demands O(log k log log k), Ω (log k)

Symmetric Demands G=(V,E) and multiple pairs (s 1, t 1 ), (s 2, t 2 ), …, (s k, t k ) s i wants to communicate with t i and t i wants to communicate with s i at the same rate [Kamath-Kannan-Viswanath] showed that flow-cut gap translates to upper bound on coding advantage. Using GNS cuts

Challenging Questions How to understand capacity? [Li-Li] conjecture and understanding gap between flow and capacity in undirected graphs Can we obtain a slightly non-trivial approximation to capacity in directed graphs?

Capacity of Wireless Networks

Capacity of wireless networks Major issues to deal with: interference due to broadcast nature of medium noise

Capacity of wireless networks Understand/model/approximate wireless networks via wireline networks Linear deterministic networks [Avestimehr-Diggavi- Tse’09] Unicast/multicast (single source). Connection to polylinking systems and submodular flows [Amaudruz- Fragouli’09, Sadegh Tabatabaei Yazdi-Savari’11, Goemans-Iwata-Zenklusen’09] Polymatroidal networks [Kannan-Viswanath’11] Multiple unicast.

Key to Success Flow-cut gap results for polymatroidal networks Originally studied by [Edmonds-Giles] (submodular flows) and [Lawler-Martel] for single-commodity More recently for multicommodity [C-Kannan-Raja- Viswanath’12] motivated by questions from models of [Avestimehr-Diggavi-Tse’09] and several others

Polymatroidal Networks Capacity of edges incident to v jointly constrained by a polymatroid (monotone non-neg submodular set func) v e1e1 e2e2 e3e3 e4e4  i 2 S c(e i ) · f(S) for every S µ {1,2,3,4}

Directed Polymatroidal Networks [Lawler-Martel’82, Hassin’79] Directed graph G=(V,E) For each node v two polymatroids ½ v - with ground set ± - (v) ½ v + with ground set ± + (v)   e 2 S f(e) · ½ v - (S) for all S µ ± - (v)   e 2 S f(e) · ½ v + (S) for all S µ ± + (v) v

s-t flow Flow from s to t: “standard flow” with polymatroidal capacity constraints s t

What is the cap. of a cut? Assign each edge (a,b) of cut to either a or b Value = sum of function values on assigned sets Optimize over all assignments min{1+1+1, 1.2+1, 1.6+1} s t

Maxflow-Mincut Theorem [Lawler-Martel’82, Hassin’79] Theorem: In a directed polymatroidal network the max s-t flow is equal to the min s-t cut value. Model equivalent to submodular-flow model of[Edmonds- Giles’77] that can derive as special cases polymatroid intersection theorem maxflow-mincut in standard network flows Lucchesi-Younger theorem

Multi-commodity Flows Polymatroidal network G=(V,E) k pairs (s 1,t 1 ),...,(s k,t k ) Multi-commodity flow: f i is s i -t i flow f(e) =  i f i (e) is total flow on e flows on edges constrained by polymatroid constraints at nodes

Multi-commodity Cuts Polymatroidal network G=(V,E) k pairs (s 1,t 1 ),...,(s k,t k ) Multicut: set of edges that separates all pairs Sparsity of cut: cost of cut/demand separated by cut Cost of cut : as defined earlier via optimization

Main Result [C-Kannan-Raja-Viswanath’12] Flow-cut gaps for polymatroidal networks essentially match the known bounds for standard networks ScenarioFlow-Cut Gap Undirected graphs Θ (log k) Directed graphsO(k), O(n 11/23 ), Ω (k), Ω (n 1/7 ) Directed graphs, symmetric demands O(log k log log k), Ω (log k)

Implications for network information theory Results on polymatroidal networks and special cases have provided approximate understanding of the capacity of a class of wireless networks

Implications for Combinatorial Optimization Motived study of multicommodity polymatroidal networks Resulted in new results and new proofs of old results Several important technical connections bridging submodular optimization and embeddings techniques for flow-cut gap results Additional work [Lee-Mohorrrami-Mendel’14] motivated by questions from polymatroidal networks

Networks with Delay [Wang-Chen’14] Coding provides constant factor advantage over routing even for unicast! How much?

Networks with Delay [Wang-Chen’14] Coding provides constant factor advantage over routing even for unicast! How much? [C-Kamath-Kannan-Viswanath’15] At most O(log D) See Sudeep’s talk later in workshop

Connections to Combinatorial Optimization Work in [C-Kamath-Kannan-Viswanath’15] raised a very nice new flow-cut gap problem “Triangle Cast”

Triangle Cast Given G=(V,E) terminals s 1, s 2, …, s k and t 1, t 2, …, t k communication pattern is s i to t j for all j ≥ i s1s1 t1t1 s2s2 s3s3 s4s4 t2t2 t3t3 t4t4

Connections to Combinatorial Optimization Work in [C-Kamath-Kannan-Viswanath’15] raised a very nice new flow-cut gap problem “Triangle Cast” Connected to several classical problems such multiway cut, multicut and feedback problems Seems to require new techniques to solve Inspired several new results [C-Madan’15]

Part 2 Algebraic algorithms for connectivity

Graph Connectivity Given a simple directed graph G=(V,E) and two nodes s and t, compute the maximum number of edge disjoint paths between s and t. Equivalently the min s-t cut value Fundamental algorithmic problem in combinatorial optimization 45

Known Algorithms [Even-Tarjan’75] O(min{m 1.5, n 2/3 m}) run-time, where n is the number of vertices and m is the number of edges. Recent breakthroughs (ignoring log factor) [Madry’13] O(m 10/7 ) [Sidford-Lee’14] O(mn 1/2 )

All Pairs Edge Connectivities Given simple directed graph G=(V,E) compute s-t edge connectivity for each pair (s,t) in V x V Not known how to do faster than computing each pair separately. Even from a single source s to all v Undirected graphs have much more structure. Can compute all pairs in O(mn polylog(n)) time

New Algebraic Approach [Cheung-Kwok-Lau-Leung’11] Faster algorithms for connectivity via “random network coding”

Next few slides from Lap Chi Lau: used with his permission

Random Linear Network Coding Random linear network coding is oblivious to network [Jaggi] observed that edge connectivity from the source can be determined by looking at the rank of the receiver’s vectors. Restricted to directed acyclic graphs. For general graphs, network coding is more complicated as it requires convolution codes. 50

S New Algebraic Formulation Very similar to random linear network coding

S New Algebraic Formulation (1) Source sends out linearly independent vectors. If the source has outdegree d, then the vectors are d-dimensional.

S New Algebraic Formulation (2) Pick random coefficients for each pair of adjacent edges (uv, vw) Random coefficients Field size = 11

S New Algebraic Formulation (3) Require each vector to be a linear combination of its incoming vectors. Random coefficients Field size =

5 S New Algebraic Formulation Random coefficients Field size = (3) Require each vector to be a linear combination of its incoming vectors.

S New Algebraic Formulation (4) Compute vectors that satisfy all the equations. Random coefficients Field size =

Theorem: Field size is poly(m), with high probability for every vertex v, the rank of incoming vectors to v is equal to the edge connectivity from s to v st e.g. s-t connectivity =

S How to compute those vectors?

S How to compute those vectors?

Algorithmic Results Advantages: compute edge-connectivity from one source to all vertices at the same time Allow use of fast algorithms from linear algebra Faster Algorithms Single source / All pairs edge connectivities General / Acyclic / Planar graphs

s General Directed Graphs 61

S For source 1 S Another source Multiple Sources

Outgoing edges of v i Connectivit y V 3 – V 1 V 4 – V 2 All-Pairs Edge-Connectivities Incoming edges of v i

Encoding: O(m w ) (to compute the inverse) Decoding: O(m 2 n w-2 ) (to compute the rank of all submatrices) Overall: O(m w ) Best known (combinatorial) methods: O(min(n 2.5 m, m 2 n, n 2 m 10/7 )) Sparse graphs: m=O(n), algebraic algorithm takes O(n w ) steps while other algorithms takes O(n 3 ) steps. All-Pairs Edge-Connectivity 64

New Questions Is there some combinatorial structure that the algebraic structure is exploiting that we have not found yet? Can we obtain algorithms without using fast matrix multiplication? Does the algebraic methodology work for other connectivity problems?

Benefits to Combinatorial Optimization My perspective/experience New applications of existing results New problems New algorithms for classical problems Challenging open problems Interdisciplinary collaborations/friendships

Personal Benefits Collaborations with ECE/Info theory. Christina Fragouli, Emina Soljanin, Serap Savari, Pramod Viswanath, Sreeram Kannan, Adnan Raja, Sudeep Kamath … Conversations with several CS researchers on interrelated topics Several papers. Direct and indirect! Made me understand my own area better! Friendships and fun

Thanks!