A Unification of Menger's and Edmonds' Theorems and Network Coding Theorems

Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=ub8PM5N0FfM



Duration: 53:50
126 views
0


The {\em multicast capacity} is the maximum rate that a sender can communicate common information to a set of receivers in a network. A fundamental theorem in graph theory by Menger determines the unicast capacity from a sender to a receiver; another fundamental theorem in graph theory by Edmonds determines the broadcast capacity from a sender to all other nodes. In both extreme cases, the multicast capacity can be achieved by routing, i.e., replicating or forwarding, information. Recent works on network information flow establish that the multicast capacity is equal to the minimum capacity of cuts separating the sender from a receiver, which can be achieved by performing network coding, while in general it cannot be achieved by routing.   We present a statement that unifies Menger's Theorem, Edmonds' Theorem, and network information flow theorems. Specifically, we show that the multicast capacity can be achieved by linear time-invariant network coding on {\em Steiner edges} (edges pointing into Steiner nodes) only. Our proof is constructive: a polynomial-time algorithm is presented that ``hardwires'' each non-Steiner edge with one of its predecessors while preserving the required connectivity from the sender to each receiver.   This is a joint work with Dr. Kamal Jain and Prof. Sun-Yuan Kung.




Other Videos By Microsoft Research


2016-09-05Collaborative Algorithms for a Class of Clustered Wireless Networks
2016-09-05Computer Consciousness
2016-09-05Checking well-definedness of XQueries
2016-09-05RAPUNSEL & CREOL - Games that Teach Kids to Program
2016-09-05The Role of Template Engines in Code Generation
2016-09-05Anomalous Diffusion and Polya Recurrence
2016-09-05Designing for Intimacy: Interaction Research at the Human Communication Technologies Laboratory
2016-09-05Breaking the Frame: Novel Strategies for Interactive Computer Graphics [1/33]
2016-09-05Single and Multiple Document Summarization with Graph-based Ranking Algorithms
2016-09-05Sharp thresholds for random constraint satisfaction problems [1/3]
2016-09-05A Unification of Menger's and Edmonds' Theorems and Network Coding Theorems
2016-09-05Statistical Learning and Analysis for Unconstrained Face Recognition
2016-09-05A Novel Approach to Sequence Analysis using Assign-SBTTM Software Improves Heterozygous Base Calling
2016-09-05Convergence in competitive Games
2016-09-05Recovering Human Shape and Motion from Video Sequences
2016-09-05The Garbage Collection Advantage: Improving Program Locality
2016-09-05Space Elevator ΓÇô Fiction, Fact, and Progress Reports on required Robotics and Carbon NanoTube
2016-09-05Bridging Computer Science and Behavioral Science: Research Examples
2016-09-05Overview of the Science Fiction Museum
2016-09-05Formal Commercial Contracts
2016-09-05Parameterized Model Checking of Protocols: Two Developments



Tags:
microsoft research