Expanders via Random Spanning Trees R97922031 許榮財 R97922073 黃佳婷 R97922081 黃怡嘉.

Slides:



Advertisements
Similar presentations
Lower Bounds for Additive Spanners, Emulators, and More David P. Woodruff MIT and Tsinghua University To appear in FOCS, 2006.
Advertisements

Lecture 7. Network Flows We consider a network with directed edges. Every edge has a capacity. If there is an edge from i to j, there is an edge from.
Lecture 5 Graph Theory. Graphs Graphs are the most useful model with computer science such as logical design, formal languages, communication network,
Walks, Paths and Circuits Walks, Paths and Circuits Sanjay Jain, Lecturer, School of Computing.
Approximation Algorithms Chapter 14: Rounding Applied to Set Cover.
Gibbs sampler - simple properties It’s not hard to show that this MC chain is aperiodic. Often is reversible distribution. If in addition the chain is.
1 NP-completeness Lecture 2: Jan P The class of problems that can be solved in polynomial time. e.g. gcd, shortest path, prime, etc. There are many.
A Randomized Linear-Time Algorithm to Find Minimum Spaning Trees 黃則翰 R 蘇承祖 R 張紘睿 R 許智程 D 戴于晉 R David R. Karger.
Optimization of Pearl’s Method of Conditioning and Greedy-Like Approximation Algorithm for the Vertex Feedback Set Problem Authors: Ann Becker and Dan.
A Randomized Linear-Time Algorithm to Find Minimum Spanning Trees David R. Karger David R. Karger Philip N. Klein Philip N. Klein Robert E. Tarjan.
1 Discrete Structures & Algorithms Graphs and Trees: II EECE 320.
Introduction to Approximation Algorithms Lecture 12: Mar 1.
Approximation Algorithms
Approximation Algorithms: Combinatorial Approaches Lecture 13: March 2.
1 Algorithms for Large Data Sets Ziv Bar-Yossef Lecture 8 May 4, 2005
EXPANDER GRAPHS Properties & Applications. Things to cover ! Definitions Properties Combinatorial, Spectral properties Constructions “Explicit” constructions.
Is the following graph Hamiltonian- connected from vertex v? a). Yes b). No c). I have absolutely no idea v.
Definition Dual Graph G* of a Plane Graph:
1 On the Benefits of Adaptivity in Property Testing of Dense Graphs Joint work with Mira Gonen Dana Ron Tel-Aviv University.
CSE 421 Algorithms Richard Anderson Lecture 27 NP Completeness.
Expanders Eliyahu Kiperwasser. What is it? Expanders are graphs with no small cuts. The later gives several unique traits to such graph, such as: – High.
9-1 Chapter 9 Approximation Algorithms. 9-2 Approximation algorithm Up to now, the best algorithm for solving an NP-complete problem requires exponential.
Steiner trees Algorithms and Networks. Steiner Trees2 Today Steiner trees: what and why? NP-completeness Approximation algorithms Preprocessing.
Tirgul 7 Review of graphs Graph algorithms: – BFS (next tirgul) – DFS – Properties of DFS – Topological sort.
Introduction Outline The Problem Domain Network Design Spanning Trees Steiner Trees Triangulation Technique Spanners Spanners Application Simple Greedy.
Approximation Algorithms
Minimum Spanning Trees. Subgraph A graph G is a subgraph of graph H if –The vertices of G are a subset of the vertices of H, and –The edges of G are a.
TECH Computer Science Graph Optimization Problems and Greedy Algorithms Greedy Algorithms  // Make the best choice now! Optimization Problems  Minimizing.
Introduction to Graph Theory
Graphs – Shortest Path (Weighted Graph) ORD DFW SFO LAX
Approximating the MST Weight in Sublinear Time Bernard Chazelle (Princeton) Ronitt Rubinfeld (NEC) Luca Trevisan (U.C. Berkeley)
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
1 The TSP : NP-Completeness Approximation and Hardness of Approximation All exact science is dominated by the idea of approximation. -- Bertrand Russell.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
GRAPH SPANNERS by S.Nithya. Spanner Definition- Informal A geometric spanner network for a set of points is a graph G in which each pair of vertices is.
Edge-disjoint induced subgraphs with given minimum degree Raphael Yuster 2012.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
1 Steiner Tree Algorithms and Networks 2014/2015 Hans L. Bodlaender Johan M. M. van Rooij.
Testing the independence number of hypergraphs
Markov Chains and Random Walks. Def: A stochastic process X={X(t),t ∈ T} is a collection of random variables. If T is a countable set, say T={0,1,2, …
ITEC 2620A Introduction to Data Structures Instructor: Prof. Z. Yang Course Website: 2620a.htm Office: TEL 3049.
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
CSS106 Introduction to Elementary Algorithms
Approximate Inference: Decomposition Methods with Applications to Computer Vision Kyomin Jung ( KAIST ) Joint work with Pushmeet Kohli (Microsoft Research)
Topics in Algorithms 2007 Ramesh Hariharan. Tree Embeddings.
Graphs Slide credits:  K. Wayne, Princeton U.  C. E. Leiserson and E. Demaine, MIT  K. Birman, Cornell U.
 Quotient graph  Definition 13: Suppose G(V,E) is a graph and R is a equivalence relation on the set V. We construct the quotient graph G R in the follow.
A Framework for Reliable Routing in Mobile Ad Hoc Networks Zhenqiang Ye Srikanth V. Krishnamurthy Satish K. Tripathi.
Trees Thm 2.1. (Cayley 1889) There are nn-2 different labeled trees
Complexity and Efficient Algorithms Group / Department of Computer Science Testing the Cluster Structure of Graphs Christian Sohler joint work with Artur.
Presented by Alon Levin
CSE 421 Algorithms Richard Anderson Lecture 27 NP-Completeness Proofs.
NOTE: To change the image on this slide, select the picture and delete it. Then click the Pictures icon in the placeholder to insert your own image. Fast.
COSC 3101A - Design and Analysis of Algorithms 14 NP-Completeness.
Introduction Wireless Ad-Hoc Network  Set of transceivers communicating by radio.
Theory of Computational Complexity Probability and Computing Lee Minseon Iwama and Ito lab M1 1.
GRAPH THEORY Discrete Math Team KS MATEMATIKA DISKRIT (DISCRETE MATHEMATICS )
Theory of Computational Complexity Probability and Computing Ryosuke Sasanuma Iwama and Ito lab M1.
CHAPTER SIX T HE P ROBABILISTIC M ETHOD M1 Zhang Cong 2011/Nov/28.
Theory of Computational Complexity Probability and Computing Chapter Hikaru Inada Iwama and Ito lab M1.
Markov Chains and Random Walks
Richard Anderson Lecture 26 NP-Completeness
Richard Anderson Lecture 26 NP-Completeness
Graph theory Definitions Trees, cycles, directed graphs.
Enumerating Distances Using Spanners of Bounded Degree
GRAPH SPANNERS.
Richard Anderson Lecture 28 NP-Completeness
Introduction Wireless Ad-Hoc Network
ITEC 2620M Introduction to Data Structures
Locality In Distributed Graph Algorithms
Presentation transcript:

Expanders via Random Spanning Trees R 許榮財 R 黃佳婷 R 黃怡嘉

Outline Introduction Preliminaries Uniform random spanning trees Expansion when base graph is a complete graph Expansion when base graph is a bounded-degree graph Splicers of random graphs

Introduction 1/3 Present a new method for obtaining sparse expanders from spanning trees Motivated by the problem of routing reliably and scalably in a graph Recovery from failures if considered one of the most important problems

Introduction 2/3 In practice, efficient routing also needs to be compact and scalable ▫Memory overhead should be linear or sublinear in the number of vertices The most commonly used method in practice is shortest path routing ▫One tree per destination ▫O(n) bounded on the size of the routing table that needs to be stored at each vertex

Introduction 3/3 Main problem of shortest-path routing: lack of path diversity ▫Recovery is usually achieved by recomputing shortest path trees in the remaining network So, we consider a simple extension of tree-based routing – using multiple trees ▫The union of trees has reliability approaching It raises the question: ▫For a given graph, does there exist a small collection of spanning trees such that the reliability of the union approaches that of the base graph?

Preliminaries 1/4 G=(V,E), an undirected graph For,, the set of neighbors of v For, and

Preliminaries 2/4 edge expansion of G vertex expansion of G

Preliminaries 3/4 Example: vertex expansion = 1

Preliminaries 4/4 A family of graphs is an edge expander if the edge expansion of the family is bounded below by a positive constant K n : the complete graph on n vertices For,

Uniform random spanning trees 1/6 The algorithm by Aldous and Broder ▫Start at any node ▫1) If all nodes have been visited, halt ▫2) Choose a neighbor of the current node uniformly at random ▫3) If the node has never been visited before, add the edge to that node to the spanning tree ▫4) Make the neighbor the current node and go back to step 1 T G denotes a uniformly random spanning tree U G k denotes the union of k such trees chosen independently

Uniform random spanning trees 2/6 Negative correlation of edges An event A ⊆ 2 E(G) is upwardly closed if for all B ∈ A and e ∈ E(G), we have B ∪ {e} ∈ A We say that an event A ignores an edge e if for all B ∈ A we have B ∪ {e} ∈ A and B \ {e} ∈ A

Uniform random spanning trees 3/6 Theorem : Let P be the uniform probability measure on the set of spanning trees extended to all subsets of edges. If A is an upwardly closed event that ignores some edge e, then

Uniform random spanning trees 4/6 Proof: ▫Let A be the event “e 1, …, e k-1 ∈ T G “ By the theorem, ▫Let B be the event “e 1 ∈ T G,…, e k-1 ∈ T G “ By the theorem,

Uniform random spanning trees 5/6 Negatively correlated random variables and tail bounds ▫For e ∈ E, define indicator random variables X e to be 1 if e ∈ T, and 0 otherwise. Then for any subset of edges e 1,..., e k ∈ E we have

Uniform random spanning trees 6/6 Let be a family of 0–1 negatively correlated random variables such that are also negatively correlated. Let p i be the probability that X i = 1. Let Then for λ > 0

Expansion when base graph is a complete graph R 黃佳婷

Expansion when base graph is a complete graph Theorem 1.3. The union of two uniformly random spanning trees of the complete graph on n vertices has constant vertex expansion with probability 1 - o(1).

+= The vertex expansion of G is T1T2 G = T1 ∪ T2 = 1 with probability 1 - o(1). A Г’(A) Expansion when base graph is a complete graph

K n : complete graph with n vertices T : a random spanning tree in K n A : c : a given expansion constant We will give an upper bound on the probability that A’ :, | A’ | = ca We will bound the probability that Expansion when base graph is a complete graph

We will bound the probability that, and use a union bound over all possible choices of A and A’. t random independent spanning trees ( t =2) the probability ≤ Expansion when base graph is a complete graph

A random walk on V starting outside of A defines a random spanning tree Let X 1, X 2,… denote the states of this random walk Let τ i be the first time that the walk has visited i different vertices of A X1X1 X2X2 X3X3 X4X4 X5X5 X6X6 X7X7 X8X8 X9X9 … … τ 1 =1τ 2 =2τ 3 =4τ 4 =6τ 5 =7 … Expansion when base graph is a complete graph

Let Y i = τ i+1 – τ i, for i = 1,…, a –1 ▫the gap between first visits i and i+1 ▫ Y i are independent Let Z i = 1, if Y i = 1 Z i = 0, otherwise For i = 1,…, a –1, X1X1 X2X2 X3X3 X4X4 X5X5 X6X6 X7X7 X8X8 X9X9 … … τ 1 =1τ 2 =2τ 3 =4τ 4 =6τ 5 =7 … Z 1 = Y 1 =1 Z 2 =0 Y 2 =2 Z 3 =0 Y 3 =2 Z 4 = Y 4 =1 Expansion when base graph is a complete graph

For i = 2,…, a, For i = 1, X1X1 X2X2 X3X3 X4X4 X5X5 X6X6 X7X7 X8X8 X9X9 … … τ 1 =1τ 2 =2τ 3 =4τ 4 =6τ 5 =7 … Z 1 = Y 1 =1 Z 2 =0 Y 2 =2 Z 3 =0 Y 3 =2 Z 4 = Y 4 =1 Expansion when base graph is a complete graph

Let Expansion when base graph is a complete graph

Let K = 2(1+ c ) Expansion when base graph is a complete graph

The probability goes to 0, when n→ ∞,, t = 2, and a sufficiently small constant c Expansion when base graph is a complete graph

Any fixed edge from K n appears in T with probability iff no edge between A and V \ [a+ca] is present in T and negative correlation implies that this happens with probability at most Expansion when base graph is a complete graph

|A|=a |A’|=ca V |Γ’(A)| ≦ ca

Expansion when base graph is a complete graph

For any c > 0, is convex for >0 The sup is attained at one of the boundary points 1/12 and 1/2 For t = 2 and a sufficiently small constant c, is strictly less than 1 at these boundary points This implies that this sum goes to 0 as n→ ∞ Expansion when base graph is a complete graph

Expansion when base graph is a bounded-degree graph R 許榮財

Notation d : the number of degree Xe : ▫the indicator random variable taking value 1 if e belongs T, and value 0 otherwise

Proof of Theorem 1.1

Step 1 The random walk construction of random spanning trees that for any edge(u,v) E. P[(u,v) T] 1/d(u),and A V. A E Show

Step 1 Using Theorem 3.2 Where p is the average of P[Xe =1] for. Since P[Xe =1] 1/d for all edges e. For p 1/d, and

Step 1 We can get Due to Negatively correlation property

Step 2 Bad cut : a cut A such that and The number of cuts in the first tree of size a is no more than

Step 2 The probability that a bad cut is at most Choosing makes sum o(1).

Step 2

Proof of Theorem 1.2

Step 1 We begin with a d-regular edge expander G’ on n vertices with a Hamiltonian cycle. And d > 4. Let

Step 1 Let H be a Hamiltonian path in G’ Subdivide H into subpaths,….., of length Interact : for any

Step 1, and any subpath can interact with at most other subpaths We can find a set of paths among,….,.so that no two paths in interact.

Step 1 G : Add edges to G’ ▫If the subgraph doesn’t have a Hamiltonian cycle, then add edges to it so that it becomes Hamiltonian. ▫Add an edge between the two end-point of,if such and edge didn’t already exist in G’. Increase the degree of each vertex at most 2

Step 1 For, event occurs if the random walk, on first visit to Go around without going out or visiting any vertex twice Then go on traverse without going out or visiting any vertex twice

Step 1 For all If event happens then in the resulting tree T, then

Step 2 Mutually independent. The probability that doesn’t occur for any at most

Step 2 When, the probability is

Step 2 With high probability there is a path such that The edge expansion of P is

Splicers of random graphs

Step1 Given an undirected graph H and. Construct a random directed graph denoted with vertex set V(H) and independent for every edge (u,v) of H

Notation Covering walk of a graph : A walk passing through all vertices. D : the distribution on covering walks of the complete graph starting at a vertex : the distribution on covering walks of the complete graph given by first choosing H according to and running Process starting from

Notation T : the uniform distribution on spanning trees of : the distribution on trees obtained by first choosing H from, then generating a random spanning tree according to Process

Process B p Start at a vertex of At a vertex v, an edge is traversed as follows. Suppose out of outgoing edges at v are previously traversed. Then, the probability of picking a previously traversed edge is 1 / (n - 1 )

Process B p The probability for each new edges is If all vertices have been visited, output the walk and stop. If has not happened and at current vertex v one has, stop with on output

Lemma 7.1 There exists an absolute constant c such that for p > the total variation distance between the distribution

Lemma 7.2 There exists an absolute constant c such that for p > the total variation distance between the distribution

Theorem 1.4

Proof of Theorem 1.4 In the random graph H, we generate two random trees by using one long sequence of edges. Using the same coupling as in Lemma 7.2. these sequences have variation distance

Proof of Theorem 1.4 The spanning trees of H obtained by the first process have total variation distance to random spanning trees of the complete graph Using Theorem 1.3, the union of these trees has constant vertex expansion with high probability.

Theorem 1.5

Proof of Theorem 1.5 : the 2-splicer obtained from H via process For sufficiently large constant C, with high probability, all cuts in random graph H satisfy

Proof of Theorem 1.5 For a

Proof of Theorem 1.5 Maximum degree of a vertex in a random spanning tree in the complete graph is

Thank you for your attention!