A sharp threshold for minimum bound

advertisement
A sharp threshold for
minimum bound-depth/diameter
spanning and Steiner trees
in random networks
arXiv:0810.4908
Omer Angel Abraham Flaxman David B. Wilson
U British Columbia
U Washington
Microsoft Research
Minimum spanning tree (MST)
• Graph with nonnegative edge weights
• Connected acyclic subgraph,
minimizes sum of edge weights (costs)
• Classical optimization problem
electric network, communication network, etc.
• Efficiently computable:
Prim’s algorithm (explore tree from start vertex)
Kruskal’s algorithm (add edges in order by weight)
1
3
5
4
2
6
7
MST on graph with random weights
Weight distribution irrelevant to MST
Clique K4
12 trees like
4 trees like
1
2
3
3
1
2
4
MST on graph with random weights
• Weight distribution irrelevant to MST
• Not same as uniform spanning tree (UST)
(e.g. non-uniform on K4)
• Diameter of MST on Kn is (n1/3)
[Addario-Berry, Broutin, Reed]
• Diameter of UST on Kn is (n1/2) [Rényi, Szekeres]
• Weight of MST with Exp(1) weights on Kn tends to
(3) a.a.s. [Frieze]
• PDF of edge weights 1 at 0  weight (3) [Steele]
Minimum bounded-depth/diameter
spanning tree
• Data in communication network, delay for each link,
put a limit on number of links.
• Also known as “MST with hop constraints”
• Tree with depth  k from specified root has diameter
 2k. Tree with diameter  2k has “center” from
which depth is  k
• NP-hard for any diameter bound between 4 and n-2,
poly-time solvable for 2,3, & n-1 [Garey & Johnson]
• Inapproximable within factor of O(log n) unless P=NP
[Bar-Ilan, Kortsarz, Peleg]
Greedy Tree
Depth 2 Greedy Tree
Depth 3 Greedy Tree
Sharp threshold for depth bound
Sliced and spliced tree
Lower bound ingredients
Concentration of level weights
Minimum Steiner tree
• In addition to graph, set of terminals is
specified. Tree must connect terminals,
may or may not connect other vertices.
• Another classical optimization problem.
• NP-hard to solve.
1
3
4
2
5
6
7
Steiner trees on Kn
When there are m terminals and Exp(1)
weights, the Steiner tree weight tends to
when 2  m  o(n)
[Bollobás, Gamarnik, Riordin, Sudakov]
When m=(n), weight is unknown constant
Minimum bounded-depth/diameter
Steiner tree
• Generalizes two different NP-hard problems, is
NP-hard
• Solvable by integer programming [AchuthanCaccetta, Gruber-Raidl]
• Fast approximation algorithms [Bar-IlanKortsarz-Peleg, Althus-Funke-Har-PeledKönemann-Ramos-Skutella]
• Heuristics [Abdalla-Deo-Franceschini, DahlGouveia-Requejo, Voß, Gouveia, CostaCordeauc-Laporte, Raidl-Julstrom, Gruber-Raidl,
Gruber-Van-Hemert-Raidl, Kopinitsch, Putz,
Zaubzer, Bayati-Borgs-Braunstein-ChayesRamezanpour-Zecchina, …]
Same threshold for Steiner trees
(with linear number of terminals)
Everything works for Steiner trees
(with linear number of terminals)
Steiner trees with
sub-linear number of terminals
Don’t know asymptotic weight when depth bound is
Minimum bounded depth/diameter
spanning subgraph
• If depth-constrained, best subgraph is a
tree, we give minimum weight
• If diameter-constrained, best subgraph is
not a tree, possible to get smaller weight
Optimization problems
with side-constraints
Side-constraint (depth or diameter bound)
has almost no effect on optimization
(up to a point)
http://arXiv.org/abs/0810.4908
Download