Presentation is loading. Please wait.

Presentation is loading. Please wait.

Interchanging distance and capacity in probabilistic mappings Uriel Feige Weizmann Institute.

Similar presentations


Presentation on theme: "Interchanging distance and capacity in probabilistic mappings Uriel Feige Weizmann Institute."— Presentation transcript:

1 Interchanging distance and capacity in probabilistic mappings Uriel Feige Weizmann Institute

2 Harald Racke Optimal Hierarchical Decompositions for Congestion Minimization in Networks [STOC 2008] Presentation based on discussions with Reid Andersen from Microsoft Research.

3 Motivating example Graph Bisection Given a (weighted) graph with an even number of vertices, partition its vertices into two equal sets, minimizing the number of edges cut.

4 Motivating example Graph Bisection Given a (weighted) graph with an even number of vertices, partition its vertices into two equal sets, minimizing the number of edges cut.

5 Coping with NP-hardness Bi-criteria approximation: near bisection of nearly optimal width [Leighton and Rao; Linial, London and Rabinovich; Arora, Rao and Vazirani]. Based on metric embeddings into l 1 and into (l 2 ) 2. O(log 1/2 n) pseudo approximation. Feige and Krauthgamer: O(log 3/2 n) approximation. ARV + dynamic programming. Racke: O(log n) approximation. Based on probabilistic capacity mappings.

6 Intuition Unary subset sum can be reduced to deciding whether the bisection width is 0. Any approximation algorithm for bisection “must” use dynamic programming. 85 28 7397 19 77 35

7 Easy family of graphs For many NP-hard graph properties, dynamic programming runs in time exponential in treewidth. Min-bisection on trees is in P.

8 Plan of attack Given an input graph, find a “low distortion embedding” into a tree. Solve min-bisection optimally on the tree. Will provide a solution to the original problem, with approximation ratio at most the distortion.

9 A problem The distortion when embedding a graph into a tree is large (e.g., for the n-cycle). Solution [Alon, Karp, Peleg and West; Bartal]: a probabilistic embedding into (dominating) trees. Suffices when objective function is linear, as in bisection.

10 Modified plan of attack Given an input graph, find a low distortion probability distribution over embeddings to polynomially many (dominating) trees. Solve min-bisection optimally on each of these trees. Best solution will solve the original problem within an approximation ratio of at most the average distortion.

11 Another problem “Standard” low distortion embeddings relate to distortion of distances. Small cut in tree does not imply small cut in graph. E.g., distortion 3 for complete graph.

12 Capacities rather than distances Distance distortion 3 for complete graph. Give every tree edge a capacity equal to the capacity of the associated cut. n 2 /2 capacity distortion.

13 Racke’s approach Consider distortion of capacities rather than distances. Find a low distortion (of capacity) probability distribution of embeddings into (dominating) trees. Solve min-bisection on every tree (use DP). Approximation ratio for bisection of best solution is bounded by the distortion.

14 Racke’s main theorem Theorem: there are probability distributions of embeddings into (dominating) trees with O(log n) distortion of capacity. Proof: based on a reduction to existing results for distortion of distances. Corollary: an O(log n) approximation for min- bisection. (And other corollaries.)

15 In this talk An abstract version of Racke’s result. Applies more generally. Tighter parameters. More modular presentation: easier to understand. (Implicit in Racke’s work. We make it explicit.)

16 The abstract framework E set of items (edges). P ½ 2 E collection of subsets of E (“paths”). M : E P maps edges to paths. Can be represented as a matrix: M ij indicates if edge j lies in path M(i) in map M. M family of admissible mappings (trees). Probabilistic mapping between E and M: probability distribution over mappings M 2 M. M weight of mapping M

17 A mapping M Edge 2 is mapped to the path {1,2,4} 0110 1011 0011 0100

18 Distance mapping Edge i has positive length len i. dist M (i)=  j M ij len j length of path M(i). dist M (i)/len i stretch of edge i. Average stretch of edge i under a probabilistic mapping: weighted average according to M of stretches of i. Stretch of probabilistic mapping: maximum over all edges of their average stretches.

19 Notes For certain length functions and mappings, the stretch of an edge may be smaller than 1. The stretch of the shortest edge is at least 1. Stretch of probabilistic mapping is at least 1.

20 Capacity mapping Edge i has positive capacity cap i. load M (j) =  i M ij cap i sum of capacities of edges whose paths under M contain edge j. Congestion of edge j = load M (j)/cap j. Average congestion of edge j: average weighted according to M. Congestion of probabilistic mapping: max j [avg M -congestion(j)].

21 Notes For certain mappings, the congestion of an edge may be smaller than 1. The sum of capacities of M(E) is at least as large as sum of capacities of E. Congestion of probabilistic mapping is at least 1.

22 Main theorem For every  and every admissible family M, the two statements are equivalent: For every collection of lengths len i there is a probabilistic mapping with stretch at most . For every collection of capacities cap i there is a probabilistic mapping with congestion at most .

23 A spanning tree example E set of edges in a graph. P set of paths in the graph. M Admissible maps correspond to spanning trees of the graph. M an edge is mapped to the unique path between its endpoints.

24 An instructive graph

25 Probabilistic mappings For any choice of lengths, probabilistic mapping with max-avg(stretch) < 3. For any choice of capacities, probabilistic mapping with max-avg(congestion) < 3. Will illustrate both statements when the graph is unweighted.

26 Uniform length, low stretch

27 Delete at random one column

28 Delete at random one column Max[avg(stretch)] < 2

29 Uniform capacity, low congestion

30 Keep at random one path

31 Keep at random one path Max[avg(congestion)] < 3

32 Simultaneous low stretch and low congestion If top edge is in spanning tree, it is loaded by n 1/2. If top edge is not in spanning tree, it is stretched by n 1/2. Hence for every distribution over spanning trees, either stretch or congestion is n 1/2 /2.

33 Implication for main theorem For every  and every admissible family M, the two statements are equivalent: For every collection of lengths len i there is a probabilistic mapping with stretch at most . For every collection of capacities cap i there is a probabilistic mapping with congestion at most . The probabilistic mappings achieving the two guarantees are sometimes very different from each other.

34 A useful equivalence [Alon, Karp, Peleg, West] Lemma: for every  1, admissible family M and length function len, there is a probabilistic mapping of stretch at most  iff for every nonnegative coefficients  i (with   i = 1) for the edges, there is a mapping M 2 M s.t.   i dist M (i)/len i 

35 Proof – use 0-sum games View as a 0-sum two player game. Map player chooses an admissible mapping M. Edge player chooses an edge i. Value for edge player: stretch of i under M. Probabilistic mapping = a mixed strategy for the map player. Nonnegative coefficients  i = a mixed strategy of the edge player.

36 The minimax theorem The lemma is equivalent to the minimax theorem: min M max E (stretch)=max  min M (stretch)

37 If direction Inequality holds. Edge player cannot ensure stretch larger than . Map player can limit edge player to stretch of . Probabilistic mapping is a mixed strategy for map player. Wins against every edge.

38 Only if direction No probabilistic mapping of stretch at most . Map player cannot limit value to . Edge player can get expected value larger than . Mixed strategy for edge player gives  i. Map player cannot choose a map M satisfying the inequality.

39 Likewise Lemma 2: for every  1, admissible family M and capacity function cap, there is a probabilistic mapping of congestion at most  iff for every nonnegative coefficients  i (with   i = 1) for the edges, there is a mapping M 2 M s.t.   i load M (i)/cap i 

40 Back to main theorem For every  and every admissible family M, the two statements are equivalent: For every collection of lengths len i there is a probabilistic mapping with stretch at most . For every collection of capacities cap i there is a probabilistic mapping with congestion at most .

41 Proof that low congestion implies low stretch Assume probabilistic mapping with congestion . By Lemma 2, for every , there is M with   j load M (j)/cap j . Rewriting the load as a sum:  i,j  j M ij cap i /cap j .

42 Need to prove that there is a probabilistic mapping with stretch at most . By Lemma 1, suffices to show that for every , there is a mapping M with   i dist M / len i . Rewriting distance as sum:  i,j  i M ij len i /len j .

43 Know that for all  and cap there is M  i,j  j M ij cap i /cap j . Find for every  and len an M satisfying  i,j  i M ij len i /len j . Choose  j =  j and cap i =  i /len i (and then of course cap j =  j /len j ), find M that satisfies the first inequality, and it will satisfy the second.

44 Proof that low stretch implies low congestion Same as before, this time choosing  i =  i and len i =  i /cap i, finding M that satisfies the second inequality, which will necessarily also satisfy the first inequality.

45 The proof does not assume that: The matrix M is a 0/1 matrix. Lengths and capacities of edges are nonnegative (though they cannot be 0). “Paths” are actual paths in graphs. Edges are edges of graphs. Hence the theorem applies in more general situations.

46 The algorithmic aspect The proof of the main theorem as presented is existential. Will give a polynomial time algorithm that finds a probabilistic mapping whenever the associated 0-sum two player game can be solved efficiently. Standard low regret online algorithms (e.g., multiplicative weight update) solve 0-sum games under fairly general conditions.

47 Approximation algorithm Let  be a desired target distortion for probabilistic capacity embedding. To efficiently find such a mapping, it suffices that for every nonnegative coefficients  i (with   i = 1) for the edges, can efficiently find a mapping M 2 M s.t.   i load M (i)/cap i 

48 Alternative sufficient condition By main theorem, it also suffices that for every length function len and every nonnegative coefficients  i (with   i = 1) for the edges, can efficiently find a mapping M 2 M satisfying   i dist M (i)/len i 

49 Back to min-bisection simplified version E is a set of edges in a graph G. P is the collection of all paths. M is collection of spanning trees. Every edge of G is mapped to its unique path in the tree. Load on tree edge equals the capacity of the cut.

50 Load of tree bisection is lower than graph bisection The load on a cut in the tree is at least as high as the capacity of the same cut in the graph.

51 Approximating min-bisection Consider minimum bisection in graph. Its average load in the dominating trees (average weighted by M ) is at most  times larger than its capacity. Hence the minimum of all minimum load bisections of trees is a  approximation for minimum bisection.

52 The value of  For spanning trees, max-avg(stretch) is at most O*(log n) [Elkin, Emek, Spielman and Teng; Abraham, Bartal and Neiman]. By our main theorem, the same holds for congestion. Gives O*(log n) approximation for bisection.

53 Racke’s approximation for min-bisection Use probabilistic mappings into trees (that may use non-graph edges). There, max-avg(stretch) is at most O(log n) [Fakcharoenphol, Rao, and Talwar]. Every edge of the tree is a shortest path in G. Every edge of G is mapped to its unique path in the tree, and hence to a sequence of paths of G. Hence M has nonnegative integer entries.

54 Summary Probabilistic mappings of low congestion are useful algorithmic tools for cut problems (and for oblivious routing …). Given the same family of admissible mappings, the maximum stretch (over all length functions) equals the maximum congestion (over all capacity functions). Proof is algorithmic (in most cases).


Download ppt "Interchanging distance and capacity in probabilistic mappings Uriel Feige Weizmann Institute."

Similar presentations


Ads by Google