Cross-Monotonic Multicast

Transcription

1 Cross-Monotonic Multicast Zongpeng Li Department of Computer Science University of Calgary April 17,

2 Multicast Multicast models one-to-many data dissemination in a computer network Example: live Video Streaming on the Internet 2

3 Network: G = (V, E) Min-Cost Multicast Link capacities: c : E Q + Unit flow cost on each link: w : E Q + Each receiver should receive data at rate d Flow rate on each link during routing: f : E Q + Total routing cost: e E w(e)f(e) Goal: compute min-cost multicast flow f that achieves multicast rate d 3

4 Using multicast trees: Min-Cost Multicast w(e) = 1, e (every tree link has a cost 1.0 for a unit flow on it) For throughput d = 1: minimum tree has cost 5 Q: how to share the cost among the receivers? 4

5 with network coding: Min-Cost Multicast 0.5 b b b a+b a+b a a a+b 0.5 a Every link flow has rate 0.5. Total cost e w(e)f(e) = = 4.5. Q: how to share the cost among the receivers? 5

6 Min-Cost Multicast A multicast rate d is feasible in a directed network if and only if it is feasible as a unicast rate to every multicast receiver independently. [Ahlswede et al., IT 2000] Optimal multicast can be modelled using LP [Lun et al., INFOCOM 2005][Li et al., INFOCOM 2005] Network flow LPs with extra constraints Tailored solution algorithms, efficient, distributed Now: cooperative environment selfish/strategic receivers 6

7 Game Theory Aspects of Computer Networks Classic network protocol design assume cooperative and altruistic user behavior e.g., TCP congestion control Not always safe Network game theory face the reality: strategic network users selfish network traffic market-driven network infrastructure Network operators, protocol designers : induce desired behaviors from selfish network agents, for the well-being of the entire network 7

8 The Multicast Game Selfish Traffic [Li, IEEE INFOCOM 2007] Shadow prices from dual LP Shadow price based costing sharing and link tolls Every min-cost multicast flow can be enforced Selfish Users [Li, IEEE INFOCOM 2008] You are here! Selfish Links Induce truthful cost reports from links Apply the Vickrey-Clarke-Groves Mechanism Efficient computation of Vickrey prices, ongoing work 8

9 The Background Story Potential set of users, T (think of Internet media streaming) Each with private valuation of the multicast service For each subset of potential users A T Compute multicast routing f A f A has cost f A Share the cost among users in A Which set A to serve? How to share the cost? We really want users to tell us their true valuations! 9

10 Strategyproof Multicast Strategyproof mechanisms Telling the truth is for the best interest of a user herself dominant strategy Group-strategyproof mechanisms Further being robust against collusion The key: Cross-Monotonic Cost Sharing [Moulin,Shenker, 2001] 10

11 Cross-Monotonicity A B AC AB ABC ABE Travel down any of these Criss-Crossing routes, a node s cost share should be monotonically decreasing. 11

12 From C-S to Group-stragetyproofness The simultaneous Cournot Tatonnement [Moulin, 1982]: 1. Start with full set T 2. Ask each user: how much do you wish to pay for the service? 3. Compute C-S cost share for each user 4. Exclude a user from the service set if her willingness to pay is under the computed cost share 5. Loop to 2., till convergence 6. Serve users in the converged set 12

13 Cross-Monotonic Optimal Cross-Monotonic Multicast min-cost multicast routing Budget Balanced Recover routing cost from user payments In-Core Users motivated to participate No-Positive Transfers Never pay someone to participate Efficient Maximize net social utility 13

14 The hardness of the problem OPT + C-S + B-B = hard Submodular costs always have C-S sharing schemes Multicast cost is not submodular Fundamental conflict between primal optimality and dual smoothness 14

15 The hardness of the problem OPT + C-S + B-B = hard OPT + C-S = easy Use optimal routing computed by LP Every user always pays 0 OPT + B-B = easy Use optimal routing computed by LP Split link flow cost evenly among receivers using it C-S + B-B = easy Restrict route selection to one base tree For each subset of users, use a corresponding subtree Split link flow cost evenly among receivers using it 15

16 The hardness of the problem OPT + C-S + B-B = hard Direct LP dual is not smooth Local sharing is not in-core S 4 4 S 4 T 1 T 3 2 T 1 T

17 Directed Networks, positive result A 1 k-budget-balanced, optimal, cross-monotonic multicast scheme For any A T : (1) Solve min-cost multicast LP, let f A be the optimal solution (2) for each receiver u in A: Solve min-cost S u unicast flow f u (3) Route multicast flows as specified in f A (4) Let each u A pay y A (u) = f u A 17

18 Directed Networks, negative result No optimal, cross-monotonic, ( 2 k + ɛ)-budget-balanced scheme, ɛ > 0 h nodes in each partite... T 11 T 21 T 12 T l-partite T l 2 T 1h T 2h T lh T (j 1,j 2,..j l ) [1..h] l : l1 T 1j 1 δ δ 1 T 2j 2 S δ... T ljl k: total number of potential multicast receivers k = hl 18

19 Probabilistic proof Directed Networks, negative result randomly pick service set A = A 1 A 2, show expected B-B factor is low A 1 : uniformly randomly pick a partite i A 2 : j i, uniformly randomly pick a user in partite j E A ( T ij A y A(T ij )) = 1 E A ( T ij A 1 y A (T ij )) + E A ( T ij A 2 y A (T ij )) 2 he A2,T ij A 1 (y A2 +T ij (T ij )) +E A2,T ij A 1 ( T ij A 2 y A2 +T ij (T ij )) = 3 h( 1 l + δ) + (l 1)( 1 l + δ) = 4 (h + l 1)( 1 l + δ) 2 k 19

20 Undirected Networks, Negative Result No optimal, cross-monotonic, ( ɛ)-budget-balanced scheme, ɛ > 0 (j 1,j 2,..j l ) [1..h] l : T 1j 1 1 S 1 1 T lj l 1... T 2j 2 20

21 Undirected Networks, Positive Result A k+1 (2k+1)ζ -budget-balanced, optimal, cross-monotonic multicast scheme ζ: the coding advantage proven: 2 [Li et al., CISS 2004] contrived networks: 8 7 random networks: always 1 believed: always close to 1 k+1 (2k+1)ζ should be close to 1 2, almost tight bound Idea: smooth dual growing, from primal-dual algorithm design 21

22 The Complexity for Maximum Budget-Balance Input: multicast network network topology link capacities and costs sender, potential receivers Output: maximum b-b ratio for optimal and crossmonotonic multicast schemes Brute-force solution: two-stage linear optimization (solve large # of LPs) NP-Hard? 22

23 Maximum B-B: two-stage linear optimization Stage 1: A T, compute f A: Minimize Subject to: uv w( uv)f( uv) v N (u) f i( uv) = v N (u) f i( vu) f i ( T i S) = d f i ( uv) f( uv) c( uv) T i A, u T i A T i A, uv f i ( uv), f( uv) 0 T i A, uv 23

24 Maximum B-B: two-stage linear optimization Stage 2: compute maximum b-b ratio x: Maximize x Subject to: { x f A u A y A(u) f A A T y A (u) y B (u) u B A T x, y A (u) 0 u A T 24