week 8: second moment method

14
The Probabilistic Method Joshua Brody CS49/Math59 Fall 2015 Week 8: Second Moment Method

Upload: others

Post on 09-Nov-2021

4 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Week 8: Second Moment Method

The Probabilistic Method

Joshua BrodyCS49/Math59

Fall 2015

Week 8: Second Moment Method

Page 2: Week 8: Second Moment Method

Reading Quiz

(A) a set of graphs

(B) a set of graphs closed under addition of edges

(C) a set of graphs closed under addition of vertices

(D) a set of graphs closed under isomorphism

(E) None of the above

What is a graph property?

Page 3: Week 8: Second Moment Method

Reading Quiz

(A) a set of graphs

(B) a set of graphs closed under addition of edges

(C) a set of graphs closed under addition of vertices

(D) a set of graphs closed under isomorphism

(E) None of the above

What is a graph property?

Page 4: Week 8: Second Moment Method

The First Moment Method

(1) Define bad events BADi

(2) BAD := ∪i BADi

(3) bound Pr[BADi] ≤ 𝜹

(4) Compute # bad events ≤ m(5) union bound:

Pr[BAD] ≤ m𝜹 < 1

(6) ∴ Pr[GOOD] > 0

(1) Zi: indicator var for BADi

(2) Z := ∑i Zi

(3) E[Zi] = Pr[BADi] ≤ 𝜹

(4) Compute # bad events ≤ m

(5) E[Z] = E[Zi] ≤ m𝜹 < 1

(6) ∴ Z = 0 w/prob > 0

Basic Method: as First Moment Method:

Page 5: Week 8: Second Moment Method

Exploiting Expected Value

Suppose X is non-negative, integer random variable

Fact: Pr[X > 0] ≤ E[X]

Page 6: Week 8: Second Moment Method

Exploiting Expected Value

Suppose X is non-negative, integer random variable

Fact: Pr[X > 0] ≤ E[X]

•If E[X] < 1, then Pr[X=0] > 0•If E[X] = o(1), then Pr[X=0] = 1-o(1)•If E[X] →∞, then ???

Consequences:

Page 7: Week 8: Second Moment Method

More on The Second Moment Method

Theorem: Pr[X = 0] ≤ Var[X]/E[X]2

•use Chebyshev’s Inequality with ! := E[X]proof:

Page 8: Week 8: Second Moment Method

More on The Second Moment Method

Theorem: Pr[X = 0] ≤ Var[X]/E[X]2

• If Var[X] = o(E[X]2), then Pr[X=0] = o(1)Consequences:

•use Chebyshev’s Inequality with ! := E[X]proof:

Page 9: Week 8: Second Moment Method

More on The Second Moment Method

Theorem: Pr[X = 0] ≤ Var[X]/E[X]2

• If Var[X] = o(E[X]2), then Pr[X=0] = o(1)Consequences:

•use Chebyshev’s Inequality with ! := E[X]proof:

X > 0 “almost always”

Page 10: Week 8: Second Moment Method

More on The Second Moment Method

Theorem: Pr[X = 0] ≤ Var[X]/E[X]2

• If Var[X] = o(E[X]2), then Pr[X=0] = o(1)• If Var[X] = o(E[X]2), then X ~ E[X] almost always.

Consequences:

•use Chebyshev’s Inequality with ! := E[X]proof:

X > 0 “almost always”

Page 11: Week 8: Second Moment Method

Random Graphs

G ~ G(n,p) : random graph on n vertices V = {1, ..., n} each edge (i,j) ∈ E independently with prob. p

[Erdős-Rényi 60]

G(n,p) : probability distributionG : random variable

Page 12: Week 8: Second Moment Method

Clicker Question

(A) S, T share at least one vertex

(B) S, T share at least one edge

(C) S, T share at least two vertices

(D) (A) and (B)

(E) (B) and (C)

When are AS and AT not independent?

Page 13: Week 8: Second Moment Method

Clicker Question

(A) S, T share at least one vertex

(B) S, T share at least one edge

(C) S, T share at least two vertices

(D) (A) and (B)

(E) (B) and (C)

When are AS and AT not independent?

Page 14: Week 8: Second Moment Method

The Probabilistic Method