Random Walks.

Slides:



Advertisements
Similar presentations
Approximation, Chance and Networks Lecture Notes BISS 2005, Bertinoro March Alessandro Panconesi University La Sapienza of Rome.
Advertisements

Lecture 22: April 18 Probabilistic Method. Why Randomness? Probabilistic method: Proving the existence of an object satisfying certain properties without.
Great Theoretical Ideas in Computer Science for Some.
Great Theoretical Ideas in Computer Science.
17.1 CompSci 102 Today’s topics Instant InsanityInstant Insanity Random WalksRandom Walks.
COMPSCI 102 Introduction to Discrete Mathematics.
Random Walks. Random Walks on Graphs - At any node, go to one of the neighbors of the node with equal probability. -
Entropy Rates of a Stochastic Process
Randomized Algorithms and Randomized Rounding Lecture 21: April 13 G n 2 leaves
What is the next line of the proof? a). Let G be a graph with k vertices. b). Assume the theorem holds for all graphs with k+1 vertices. c). Let G be a.
Algorithms in Exponential Time. Outline Backtracking Local Search Randomization: Reducing to a Polynomial-Time Case Randomization: Permuting the Evaluation.
Random Walks Great Theoretical Ideas In Computer Science Anupam GuptaCS Fall 2005 Lecture 23Nov 14, 2005Carnegie Mellon University.
Complexity 19-1 Complexity Andrei Bulatov More Probabilistic Algorithms.
Computability and Complexity 24-1 Computability and Complexity Andrei Bulatov Approximation.
Random Walks Great Theoretical Ideas In Computer Science Steven Rudich, Anupam GuptaCS Spring 2004 Lecture 24April 8, 2004Carnegie Mellon University.
Complexity ©D.Moshkovitz 1 Paths On the Reasonability of Finding Paths in Graphs.
Randomized Algorithms Morteza ZadiMoghaddam Amin Sayedi.
Random Walks and Markov Chains Nimantha Thushan Baranasuriya Girisha Durrel De Silva Rahul Singhal Karthik Yadati Ziling Zhou.
Lecture 22 More NPC problems
Random Walks Great Theoretical Ideas In Computer Science Steven Rudich, Anupam GuptaCS Spring 2005 Lecture 24April 7, 2005Carnegie Mellon University.
1 3-COLOURING: Input: Graph G Question: Does there exist a way to 3-colour the vertices of G so that adjacent vertices are different colours? 1.What could.
Presented by Dajiang Zhu 11/1/2011.  Introduction of Markov chains Definition One example  Two problems as examples 2-SAT Algorithm (simply introduce.
COMPSCI 230 Discrete Mathematics for Computer Science.
Given this 3-SAT problem: (x1 or x2 or x3) AND (¬x1 or ¬x2 or ¬x2) AND (¬x3 or ¬x1 or x2) 1. Draw the graph that you would use if you want to solve this.
18.1 CompSci 102 Today’s topics Impaired wanderingImpaired wandering Instant InsanityInstant Insanity 1950s TV Dating1950s TV Dating Final Exam reviewFinal.
Theory of Computational Complexity Probability and Computing Lee Minseon Iwama and Ito lab M1 1.
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.
The Theory of NP-Completeness
The NP class. NP-completeness
More NP-Complete and NP-hard Problems
P & NP.
Markov Chains and Random Walks
Random walks on undirected graphs and a little bit about Markov Chains
Richard Anderson Lecture 26 NP-Completeness
(xy)(yz)(xz)(zy)
NP-Completeness (36.4-5) P: yes and no in pt NP: yes in pt NPH  NPC
Probability III: The Probabilistic Method
Randomized Algorithms
P and NP CISC4080, Computer Algorithms CIS, Fordham Univ.
NP-Completeness Yin Tat Lee
CS21 Decidability and Tractability
CS154, Lecture 16: More NP-Complete Problems; PCPs
Great Theoretical Ideas In Computer Science
ICS 353: Design and Analysis of Algorithms
Haim Kaplan and Uri Zwick
More NP-complete Problems
Great Theoretical Ideas in Computer Science
Richard Anderson Lecture 28 NP-Completeness
زنجیره مارکف گشت تصادفی استاد : محمد فرشی ارائه دهنده: میثم رجعتی
Tutorial 2: Sample Space and Probability 2
Great Theoretical Ideas in Computer Science
Richard Anderson Lecture 26 NP-Completeness
NP-Completeness Yin Tat Lee
CS21 Decidability and Tractability
Random Walks.
CSE 6408 Advanced Algorithms.
NP-Completeness Yin Tat Lee
CS154, Lecture 16: More NP-Complete Problems; PCPs
Great Theoretical Ideas in Computer Science
Clustering.
Trevor Brown DC 2338, Office hour M3-4pm
Planarity.
Concepts of Computation
Locality In Distributed Graph Algorithms
Introduction to Discrete Mathematics
Presentation transcript:

Random Walks

Random Walks on Graphs -

Random Walks on Graphs - At any node, go to one of the neighbors of the node with equal probability.

Random Walks on Graphs - At any node, go to one of the neighbors of the node with equal probability.

Random Walks on Graphs - At any node, go to one of the neighbors of the node with equal probability.

Random Walks on Graphs - At any node, go to one of the neighbors of the node with equal probability.

Random Walks on Graphs - At any node, go to one of the neighbors of the node with equal probability.

a natural question on general graphs Let’s start with a natural question on general graphs

Getting back home - Lost in a city, you want to get back to your hotel. How should you do this? Depth First Search: requires a good memory and a piece of chalk

Getting back home - Lost in a city, you want to get back to your hotel. How should you do this? How about walking randomly? no memory, no chalk, just coins…

Will this work? When will I get home? I have a curfew of 10 PM!

What is E[ time to reach home ]? Will this work? Is Pr[ reach home ] = 1? When will I get home? What is E[ time to reach home ]? I have a curfew of 10 PM!

Relax, Dude! Yes, Pr[ will reach home ] = 1

If the graph has n nodes and m edges, then Furthermore: If the graph has n nodes and m edges, then E[ time to visit all nodes ] ≤ 2m × (n-1) E[ time to reach home ] is at most this

Cover times Let us define a couple of useful things: Cover time (from u) Cu = E [ time to visit all vertices | start at u ] Cover time of the graph: C(G) = maxu { Cu }

If the graph G has n nodes and m edges, then Cover Time Theorem If the graph G has n nodes and m edges, then the cover time of G is C(G) ≤ 2m (n – 1) Any graph on n vertices has < n2/2 edges. Hence C(G) < n3 for all graphs G.

Pr[ eventually get home ] = 1 Let’s prove that Pr[ eventually get home ] = 1

We will eventually get home Look at the first n steps. There is a non-zero chance p1 that we get home. Suppose we fail. Then, wherever we are, there a chance p2 > 0 that we hit home in the next n steps from there. Probability of failing to reach home by time kn = (1 – p1)(1- p2) … (1 – pk)  0 as k  ∞

Pr[ we don’t get home by 2k C(G) steps ] ≤ (½)k In fact Pr[ we don’t get home by 2k C(G) steps ] ≤ (½)k Recall: C(G) = cover time of G ≤ 2m(n-1)

An averaging argument Suppose I start at u. E[ time to hit all vertices | start at u ] ≤ C(G) Hence, Pr[ time to hit all vertices > 2C(G) | start at u ] ≤ ½. Why? (use Markov’s inequality.)

so let’s walk some more! Pr [ time to hit all vertices > 2C(G) | start at u ] ≤ ½. Suppose at time 2C(G), am at some node v, with more nodes still to visit. Pr [ haven’t hit all vertices in 2C(G) more time | start at v ] ≤ ½. Chance that you failed both times ≤ ¼ !

The power of independence It is like flipping a coin with tails probability q ≤ ½. The probability that you get k tails is qk ≤ (½)k. (because the trials are independent!) Hence, Pr[ havent hit everyone in time k × 2C(G) ] ≤ (½)k Exponential in k!

if CoverTime(G) < 2m(n-1) then We’ve proved that if CoverTime(G) < 2m(n-1) then Pr[ home by time 4km(n-1) ] ≥ 1 – (½)k

If the graph G has n nodes and m edges, then Cover Time Theorem If the graph G has n nodes and m edges, then the cover time of G is C(G) ≤ 2m (n – 1)

Electrical Networks again Let Huv = E[ time to reach v | start at u ] Theorem: If each edge is a unit resistor Huv + Hvu = 2m × Resistanceuv - u v

Electrical Networks again Let Huv = E[ time to reach v | start at u ] Theorem: If each edge is a unit resistor Huv + Hvu = 2m × Resistanceuv If u and v are neighbors  Resistanceuv ≤ 1 Then Huv + Hvu ≤ 2m - u v

Electrical Networks again If u and v are neighbors  Resistanceuv ≤ 1 Then Huv + Hvu ≤ 2m We will use this to prove the Cover Time theorem Cu ≤ 2m(n-1) for all u - u v

Suppose G is the graph 1 3 5 2 6 4

Pick a spanning tree of G Say 1 was the start vertex, C1 ≤ H12+H21+H13+H35+H56+H65+H53+H34+H43+H31 = (H12+H21) + (H35+H53) + (H56+H65) + (H34+H43) + (H31+H13) Each Huv + Hvu ≤ 2m, and there are (n-1) edges Cu ≤ (n-1) × 2m 1 3 - 5 2 6 4

A R.A. for 2SAT Q = (X1 ∨ ~X2) ∧ (~X3 ∨ X2) ∧ (~X1 ∨ X4) ∧ (X3 ∨ X4) Start with Xi = True for all i While Q contain an unsatisfied clause and #steps< 2n2 pick an unsatisfied clause C arbitrarily pick one of the two literals in C u.a.r and flip its truth value if Q is now satisfied then output yes Output no

Anaylsis A* : any satisfying assignment f(A):#variable of Q whose value in A is the same as A* f(A) takes value in {0,1, …, n} if f(A) = n then A must be A* at each step f(A) incr. or dec. by 1 at each step, Pr[f(A) incr. by 1] >= 1/2 n k