190 likes | 325 Views
Algorithmic Performance in Power Law Graphs. Milena Mihail Christos Gkantsidis Christos Papadimitriou Amin Saberi. Graphs with Heavy Tailed Degree Sequences. E[degree] ~ constant. Power Law :. Degrees not Concentrated around Mean. Not Erdos-Renyi. 1. 2. 3. 4.
E N D
Algorithmic Performance in Power Law Graphs Milena Mihail Christos Gkantsidis Christos Papadimitriou Amin Saberi
Graphs with Heavy Tailed Degree Sequences E[degree] ~ constant Power Law : Degrees not Concentrated around Mean Not Erdos-Renyi 1 2 3 4 5 10 100 Interdomain Routing, WWW, P2P
Power Laws [Interdomain Routing: Faloutsos et al 99] [WWW: Kumar et al 99, Barabasi-Albert 99] Degree-Frequency Rank-Degree Eigenvalues (Adjacency Matrix)
How does Algorithmic Performance Scale in Power Law Graphs ? Routing Searching, Information Retrieval Mechanism Design ISPs: 900-14K Routers:500-200K WWW: 500K-3B P2P: tens Ks-2M
Sprint AT&T How does Routing Congestion Scale? Demand: , uniform. What is load of max congested link, in optimal routing ?
Models for Power Law Graphs EVOLUTIONARY : Growth & Preferential Attachment One vertex at a time New vertex attaches to existing vertices
Models for Power Law Graphs • EVOLUTIONARY • Macroscopic : Growth & Preferential Attachment • Simon 55, Barabasi-Albert 99, Kumar et al 00, • Bollobas-Riordan 01. • Microscopic : Growth & Multiobjective Optimization, • QoS vs Cost • Fabrikant-Koutsoupias-Papadimitriou 02. • STRUCTURAL, aka CONFIGURATIONAL • “Random” graph with “power law” degree sequence.
STRUCTURAL RANDOM GRAPH MODEL Given Choose random perfect matching over minivertices Bollobas 80s, Molloy&Reed 90s, Chung 00s, Sigcomm/Infocom 00s
STRUCTURAL RANDOM GRAPH MODEL Given Choose random perfect matching over minivertices Bollobas 80s, Molloy&Reed 90s, Chung 00s, Sigcomm/Infocom 00s
Theorem [MM, Papadimitriou, Saberi 03]: For a random graph grown with preferential attachment with there is a poly time computable flow that routes demand between all vertices i and j with max link congestion , a.s. Theorem [Gkantsidis,MM, Saberi 02]: For a random graph in the structural model arising from degree sequence there is a poly time computable flow that routes demand between all vertices i and j with max link congestion a.s. Note: Why is demand ? Each vertex with degree in the network core serves customers from the network periphery.
Proofs, Step 1 : Reduce to Conductance By max multicommodity flow, Leighton-Rao 95
Lemma [MM, Papadimitriou, Saberi 03]: For a random graph grown with preferential attachment with , , a.s. Lemma [Gkantsidis, MM, Saberi 02]: For a random graph in the structural model arising from degree sequence , , a.s. Proofs, Step 2 : Bounds on Conductance Previously known [Cooper-Frieze 02] Technical: Establish conductance by counting arguments. Difficulties arise from inhomogeneity of underlying state space. Need invariants and/or worst case characterizations.
Spectral Implications Theorem: Eigenvalue separation for stochastic normalization of adjacency matrix follows by [Jerrum-Sinclair 88] Further Algorithmic Performance Implications: Random Walk Trajectory ~ Independent Samples Cover Time ~ Coupon Collection (WWW, P2P crawling) see also [Cooper-Frieze 02] Chernoff-like Bounds (P2P searching) see also [Cohen et al 02, Shenker et al 03]
Spectral Implications • Theorem: Eigenvalue separation • for stochastic normalization of adjacency matrix On the eigenvalue Power Law [M.M. & Papadimitriou 02] Rank-Degree Using matrix perturbation [Courant-Fisher Theorem] in a structural random graph model. Eigenvalues Adjacency Matrix Negative implication for Information Retrieval: Principal Eigenvectors do not reveal “latent semantics”.
How does Algorithmic Performance Scale in Power Law Graphs ? Routing Searching, Information Retrieval Mechanism Design ISPs: 900-14K Routers:500-200K WWW: 500K-3B P2P: tens Ks-2M
Incentive Compatible Mechanism Design VCG mechanism for shortest path routing [Nissan-Ronen 99] s t e Pay(e) = cost(e) + cost(st shortest path in G-e) – cost(st shortest path in G) VCG overpayment
VCG overpayment can be arbitrarily large [Archer-Tardos 02] 1 VCG pays 1 + (10-5) = 6 to each edge of cost 1 1 1 1 1 s t 10 This is “inherent” in any truthful mechanism [Elkind,Sahai,Steiglitz 03] In the real Interdomain Internet graph, with unit link costs, the average VCG overpayment is ~ 30% [Feigenbaum,Papadimitriou,Sami,Shenker 02]
Theorem [MM, Papadimitriou, Saberi 03] : The average VCG overpayment in a sparse near-regular random graph (structural model, uniform degrees) is , w.h.p. Theorem [MM, Papadimitriou, Saberi 03] : The average VCG overpayment in a power law random graph arising from a structural model is , w.h.p. Conjecture:
Some Open Problems Routing: integral shortest paths. Routing & Searching: incentives to share resources, particularly relevant to P2P applications. Maintain “good connectivity” (e.g. an expander) in a distributed, dynamic setting.