View
36
Download
3
Category
Tags:
Preview:
DESCRIPTION
Limits of Local Algorithms in Random Graphs. Madhu Sudan MSR. Joint work with David Gamarnik (MIT). Main Result. Background: Almost surely, r andom -regular graph on vertices has independent set of size for . Can you find such a large independent set? - PowerPoint PPT Presentation
Citation preview
Local Algorithms on Random Graphs 1 of 17
Limits of Local Algorithms in Random Graphs
Madhu SudanMSR
Joint work with David Gamarnik (MIT)
7/11/2013
Local Algorithms on Random Graphs 2 of 17
Main Result
• Background: Almost surely, random -regular graph on vertices has independent set of size for .
• Can you find such a large independent set?– Greedy finds one of half this size.
• Our Theorem: “Local algorithms” can not. In fact they fall short by a constant factor.
7/11/2013
Local Algorithms on Random Graphs 3 of 17
Definition: Local Algorithms
• Informally: Local algorithms– Input = Communication network.– Wish to use local communication to compute
some property of input.– In our case – large independent set in graph.– Allowed to use randomness, generated locally.
7/11/2013
Local Algorithms on Random Graphs 4 of 17
Formally
• (Randomized) Decision Algorithm: – : Determines if
• is a weighting, say in on vertices
• Correctness: – s.t. or .
• Locality:– is -local if whenever -local weighted
neighborhood around in and in are identical.
7/11/2013
Local Algorithms on Random Graphs 5 of 17
Locality Locality
• Locality in distributed algorithms– Usually algorithms try to compute some function of
input graph, on the graph itself.– Algorithm uses data available topologically locally.– Leads to our model
• Locality a la Codes/Property Testing– Locality simply refers to number of queries to input. – More general model. – We can’t/don’t deal with it.
7/11/2013
Local Algorithms on Random Graphs 6 of 17
Motivations for our work
1. Paucity of “complexity” results for random graphs. Major exceptions:• Rossman: /Monotone complexity of planted clique.• Feige-Krauthgamer/Meka-Wigderson: SDP relaxations.
2. Physicists explanation of complexity• Clustering/Shattering explain inability of algorithms.
3. Graph Limit theory• Local characteristics of (random) graphs predict global
properties (nearly).
7/11/2013
Local Algorithms on Random Graphs 7 of 17
Motivations (contd.)
• Specific conjecture [Hatami-Lovasz-Szegedy]: As -local algorithms should find independent sets of cardinality .
• Refuted by our theorem.
7/11/2013
Local Algorithms on Random Graphs 8 of 17
Proof
• Part I: – A clustering phenomenon for independent sets in
random graphs [Inspired by Coja-Oglan].• Part II: – Locality Continuity (Clustering).
Both parts simple.
7/11/2013
Local Algorithms on Random Graphs 9 of 17
Clustering Phenomena
• Generally: – When you look at “near-optimal” solutions, then
they are very structured.– topology of solutions highly disconnected (in
Hamming space.• In our context– Consider graph on independent sets (of size with
if – Highly disconnected?
7/11/2013
Local Algorithms on Random Graphs 10 of 17
Clustering Theorem
• Theorem: s.t.:– Almost surely over , of size ,
• Proof: – Compute expected number of independent sets
with forbidden intersection and note it is – Second moment proves concentration.
• Implies Clustering.
7/11/2013
Local Algorithms on Random Graphs 11 of 17
Locality (Clustering)
• Main Idea:– Fix -local function , that usually produces
independent sets of size – Sample weights twice: , and then ; -correlatedly.– Let and .– Prove:• whp, • whp, • s.t.
7/11/2013
Local Algorithms on Random Graphs 12 of 17
Size of Ind. Set
• Claim: Size of independent set produced by local algorithms is concentrated.– Let (where = infinite tree of degree )– W.p. 1-o(1), size of ind. set produced
• Proof:– Most neighborhoods are trees Expectation.– Most neighborhoods are disjoint Chebychev.
7/11/2013
Local Algorithms on Random Graphs 13 of 17
-correlated distributions
• Pick , independently.• Let w.p. and otherwise, independently for
each .• Let ]• As in previous argument:
– concentrated around expectation.
7/11/2013
Local Algorithms on Random Graphs 14 of 17
Continuity of
• Fix , and consider
• Above expression is some polynomial in , of degree at most
• In particular, it is continuous as function of • =Expectation over is also continuous.• Suffices to show
7/11/2013
Local Algorithms on Random Graphs 15 of 17
Continuity (contd.)
• ]
• Follows from calculations (also naturally) that
• Conclude:– whp, – whp, – s.t.
7/11/2013
Local Algorithms on Random Graphs 16 of 17
Conclusions
• “Clustering” is an obstacle?• Answer:– At least to local algorithms.– Local algorithms behave continuously, forcing non-
clustering of solutions.• Open questions:– Barrier to local algorithms in general sense?– To other complexity classes?
7/11/2013
Local Algorithms on Random Graphs 17 of 17
Thank You
7/11/2013
Recommended