03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof...

59
03: Intro to Probability Lisa Yan April 10, 2020 1

Transcript of 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof...

Page 1: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

03: Intro to ProbabilityLisa Yan

April 10, 2020

1

Page 2: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Quick slide reference

2

3 Defining Probability 03a_definitions

13 Axioms of Probability 03b_axioms

20 Equally likely outcomes 03c_elo

30 Corollaries 03d_corollaries

37 Exercises LIVE

Todayโ€™s discussion thread: https://us.edstem.org/courses/109/discussion/24492

Page 3: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Defining Probability

3

Gradescope quiz, blank slide deck, etc.

http://cs109.stanford.edu/

03a_definitions

Page 4: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Key definitions

An experiment in probability:

Sample Space, ๐‘†: The set of all possible outcomes of an experiment

Event, ๐ธ: Some subset of ๐‘† (๐ธ โŠ† ๐‘†).

Outcome

4

Experiment

๐‘†

๐ธ

Page 5: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020 5

Key definitions

Event, ๐ธ

โ€ข Flip lands heads๐ธ = Heads

โ€ข โ‰ฅ 1 head on 2 coin flips๐ธ = (H,H), (H,T), (T,H)

โ€ข Roll is 3 or less:๐ธ = 1, 2, 3

โ€ข Low email day (โ‰ค 20 emails)๐ธ = ๐‘ฅ | ๐‘ฅ โˆˆ โ„ค, 0 โ‰ค ๐‘ฅ โ‰ค 20

โ€ข Wasted day (โ‰ฅ 5 TT hours):๐ธ = ๐‘ฅ | ๐‘ฅ โˆˆ โ„, 5 โ‰ค ๐‘ฅ โ‰ค 24

Sample Space, ๐‘†

โ€ข Coin flip๐‘† = Heads, Tails

โ€ข Flipping two coins๐‘† = (H,H), (H,T), (T,H), (T,T)

โ€ข Roll of 6-sided die๐‘† = {1, 2, 3, 4, 5, 6}

โ€ข # emails in a day๐‘† = ๐‘ฅ | ๐‘ฅ โˆˆ โ„ค, ๐‘ฅ โ‰ฅ 0

โ€ข TikTok hours in a day๐‘† = ๐‘ฅ | ๐‘ฅ โˆˆ โ„, 0 โ‰ค ๐‘ฅ โ‰ค 24

Page 6: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

What is a probability?

A number between 0 and 1

to which we ascribe meaning.*

6

*our belief that an event ๐ธ occurs.

Page 7: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

What is a probability?

๐‘› = # of total trials

๐‘›(๐ธ) = # trials where ๐ธ occurs

7

Let ๐ธ = the set of outcomes

where you hit the target.

Page 8: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

What is a probability?

๐‘› = # of total trials

๐‘›(๐ธ) = # trials where ๐ธ occurs

8

Let ๐ธ = the set of outcomes

where you hit the target.

Page 9: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

What is a probability?

๐‘› = # of total trials

๐‘›(๐ธ) = # trials where ๐ธ occurs

9

Let ๐ธ = the set of outcomes

where you hit the target.

๐‘ƒ ๐ธ โ‰ˆ 0.500

Page 10: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

What is a probability?

๐‘› = # of total trials

๐‘›(๐ธ) = # trials where ๐ธ occurs

10

Let ๐ธ = the set of outcomes

where you hit the target.

๐‘ƒ ๐ธ โ‰ˆ 0.667

Page 11: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

What is a probability?

๐‘› = # of total trials

๐‘›(๐ธ) = # trials where ๐ธ occurs

11

Let ๐ธ = the set of outcomes

where you hit the target.

๐‘ƒ ๐ธ โ‰ˆ 0.458

Page 12: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020 12Not just yetโ€ฆ

Page 13: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Axioms of Probability

13

03b_axioms

Page 14: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Quick review of sets

14

Review of Sets

E F

S ๐ธ and ๐น are events in ๐‘†.

Experiment:

Die roll

๐‘† = 1, 2, 3, 4, 5, 6Let ๐ธ = 1, 2 , and ๐น = 2,3

Page 15: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Quick review of sets

15

Review of Sets

๐ธ and ๐น are events in ๐‘†.

Experiment:

Die roll

๐‘† = 1, 2, 3, 4, 5, 6Let ๐ธ = 1, 2 , and ๐น = 2,3

E

S

F

def Union of events, ๐ธ โˆช ๐น

The event containing all outcomes in ๐ธ or ๐น.

๐ธ โˆช ๐น = {1,2,3}

Page 16: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Quick review of sets

16

Review of Sets

๐ธ and ๐น are events in ๐‘†.

Experiment:

Die roll

๐‘† = 1, 2, 3, 4, 5, 6Let ๐ธ = 1, 2 , and ๐น = 2,3

E

S

F

def Intersection of events, ๐ธ โˆฉ ๐น

The event containing all outcomes in ๐ธ and ๐น.

๐ธ โˆฉ ๐น = ๐ธ๐น = {2}

def Mutually exclusive events ๐นand ๐บ means that ๐น โˆฉ ๐บ = โˆ…

G

Page 17: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Quick review of sets

17

Review of Sets

๐ธ and ๐น are events in ๐‘†.

Experiment:

Die roll

๐‘† = 1, 2, 3, 4, 5, 6Let ๐ธ = 1, 2 , and ๐น = 2,3

E

S

F

def Complement of event ๐ธ, ๐ธ๐ถ

The event containing all outcomes in that are not in ๐ธ.

๐ธ๐ถ = {3, 4, 5, 6}

Page 18: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

3 Axioms of Probability

Definition of probability: ๐‘ƒ ๐ธ = lim๐‘›โ†’โˆž

๐‘›(๐ธ)

๐‘›

Axiom 1: 0 โ‰ค ๐‘ƒ ๐ธ โ‰ค 1

Axiom 2: ๐‘ƒ ๐‘† = 1

Axiom 3: If ๐ธ and ๐น are mutually exclusive (๐ธ โˆฉ ๐น = โˆ…),then ๐‘ƒ ๐ธ โˆช ๐น = ๐‘ƒ ๐ธ + ๐‘ƒ ๐น

18

Page 19: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Axiom 3 is the (analytically) useful Axiom

Axiom 3: If ๐ธ and ๐น are mutually exclusive (๐ธ โˆฉ ๐น = โˆ…),then ๐‘ƒ ๐ธ โˆช ๐น = ๐‘ƒ ๐ธ + ๐‘ƒ ๐น

More generally, for any sequence ofmutually exclusive events ๐ธ1 , ๐ธ2 , โ€ฆ :

19

(like the Sum Rule

of Counting, but for

probabilities)

๐‘†

๐ธ1 ๐ธ2

๐ธ3

Page 20: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Equally Likely Outcomes

20

03c_elo

Page 21: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Equally Likely Outcomes

Some sample spaces have equally likely outcomes.

โ€ข Coin flip: S = {Head, Tails}

โ€ข Flipping two coins: S = {(H, H), (H, T), (T, H), (T, T)}

โ€ข Roll of 6-sided die: S = {1, 2, 3, 4, 5, 6}

If we have equally likely outcomes, then P(Each outcome)

Therefore

21

(by Axiom 3)

Page 22: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Roll two dice

Roll two 6-sided fair dice. What is P(sum = 7)?

๐‘† = { (1, 1) , (1, 2), (1, 3), (1, 4), (1, 5), (1, 6),

(2, 1) , (2, 2), (2, 3), (2, 4), (2, 5), (2, 6),

(3, 1) , (3, 2), (3, 3), (3, 4), (3, 5), (3, 6),

(4, 1) , (4, 2), (4, 3), (4, 4), (4, 5), (4, 6),

(5, 1) , (5, 2), (5, 3), (5, 4), (5, 5), (5, 6),

(6, 1) , (6, 2), (6, 3), (6, 4), (6, 5), (6, 6)}

๐ธ =

22

๐‘ƒ ๐ธ =|๐ธ|

|๐‘†|

Equally likely

outcomes

Page 23: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Target revisited

23

Page 24: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Target revisited

Screen size = 800 ร— 800

Radius of target: 200

The dart is equally likely to land anywhere on the screen. What is ๐‘ƒ ๐ธ , the probability of hitting the target?

24

Let ๐ธ = the set of outcomeswhere you hit the target.

๐‘† = 8002 ๐ธ โ‰ˆ ๐œ‹ โ‹… 2002

๐‘ƒ ๐ธ =|๐ธ|

|๐‘†|

Equally likely

outcomes

Page 25: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Target revisited

Screen size = 800 ร— 800

Radius of target: 200

The dart is equally likely to land anywhere on the screen. What is ๐‘ƒ ๐ธ , the probability of hitting the target?

25

Let ๐ธ = the set of outcomeswhere you hit the target.

๐‘† = 8002 ๐ธ โ‰ˆ ๐œ‹ โ‹… 2002

๐‘ƒ ๐ธ =|๐ธ|

|๐‘†|

Equally likely

outcomes

Page 26: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Play the lottery.

What is ๐‘ƒ win ?

๐‘† = {Lose,Win}

๐ธ = {Win}

26

Not equally likely outcomes ๐‘ƒ ๐ธ =|๐ธ|

|๐‘†|

Equally likely

outcomes

The hard part: defining outcomes consistently

across sample space and events

Page 27: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Cats and sharks

4 cats and 3 sharks in a bag. 3 drawn.

What is P(1 cat and 2 sharks drawn)?

27

Note: Do indistinct objects give you an equally likely sample space?

A.

B.

C.

D.

E. Zero/other

๐‘ƒ ๐ธ =|๐ธ|

|๐‘†|

Equally likely

outcomes

๐Ÿค”

(No)

Make indistinct items distinct

to get equally likely outcomes.

Page 28: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Cats and sharks (ordered solution)

4 cats and 3 sharks in a bag. 3 drawn.

What is P(1 cat and 2 sharks drawn)?

28

Define

โ€ข ๐‘† = Pick 3 distinct items

โ€ข๐ธ = 1 distinct cat,2 distinct sharks

๐‘ƒ ๐ธ =|๐ธ|

|๐‘†|

Equally likely

outcomes

Make indistinct items distinct

to get equally likely outcomes.

Page 29: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Cats and sharks (unordered solution)

4 cats and 3 sharks in a bag. 3 drawn.

What is P(1 cat and 2 sharks drawn)?

29

๐‘ƒ ๐ธ =|๐ธ|

|๐‘†|

Equally likely

outcomes

Define

โ€ข ๐‘† = Pick 3 distinct items

โ€ข๐ธ = 1 distinct cat,2 distinct sharks

Make indistinct items distinct

to get equally likely outcomes.

Page 30: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Corollaries of Probability

30

03d_corollaries

Page 31: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Axioms of Probability

Definition of probability: ๐‘ƒ ๐ธ = lim๐‘›โ†’โˆž

๐‘›(๐ธ)

๐‘›

Axiom 1: 0 โ‰ค ๐‘ƒ ๐ธ โ‰ค 1

Axiom 2: ๐‘ƒ ๐‘† = 1

Axiom 3: If ๐ธ and ๐น are mutually exclusive (๐ธ โˆฉ ๐น = โˆ…),then ๐‘ƒ ๐ธ โˆช ๐น = ๐‘ƒ ๐ธ + ๐‘ƒ ๐น

31

Review

Page 32: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

3 Corollaries of Axioms of Probability

Corollary 1: ๐‘ƒ ๐ธ๐ถ = 1 โˆ’ ๐‘ƒ(๐ธ)

32

Page 33: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Proof of Corollary 1

Corollary 1: ๐‘ƒ ๐ธ๐ถ = 1 โˆ’ ๐‘ƒ(๐ธ)

Proof:

๐ธ, ๐ธ๐ถ are mutually exclusive Definition of ๐ธ๐ถ

๐‘ƒ ๐ธ โˆช ๐ธ๐ถ = ๐‘ƒ ๐ธ + ๐‘ƒ ๐ธ๐ถ Axiom 3

๐‘† = ๐ธ โˆช ๐ธ๐ถ Everything must either bein ๐ธ or ๐ธ๐ถ, by definition

1 = ๐‘ƒ ๐‘† = ๐‘ƒ ๐ธ +๐‘ƒ ๐ธ๐ถ Axiom 2

๐‘ƒ ๐ธ๐ถ = 1 โˆ’ ๐‘ƒ(๐ธ) Rearrange

33

Page 34: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

3 Corollaries of Axioms of Probability

Corollary 1: ๐‘ƒ ๐ธ๐ถ = 1 โˆ’ ๐‘ƒ(๐ธ)

Corollary 2: If ๐ธ โŠ† ๐น, then ๐‘ƒ ๐ธ โ‰ค ๐‘ƒ(๐น)

Corollary 3: ๐‘ƒ ๐ธ โˆช ๐น = ๐‘ƒ ๐ธ + ๐‘ƒ ๐น โˆ’ ๐‘ƒ ๐ธ๐น(Inclusion-Exclusion Principle for Probability)

34

Page 35: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Selecting Programmers

โ€ข P(student programs in Java) = 0.28

โ€ข P(student programs in Python) = 0.07

โ€ข P(student programs in Java and Python) = 0.05.

What is P(student does not program in (Java or Python))?

35

1. Define events& state goal

2. Identify knownprobabilities

3. Solve

Page 36: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Corollary 3: ๐‘ƒ ๐ธ โˆช ๐น = ๐‘ƒ ๐ธ + ๐‘ƒ ๐น โˆ’ ๐‘ƒ ๐ธ๐น(Inclusion-Exclusion Principle for Probability)

General form:

Inclusion-Exclusion Principle (Corollary 3)

๐‘ƒ ๐ธ โˆช ๐น โˆช ๐บ =

๐‘ƒ ๐ธ + ๐‘ƒ ๐น + ๐‘ƒ(๐บ)

โˆ’ ๐‘ƒ ๐ธ โˆฉ ๐น โˆ’ ๐‘ƒ ๐ธ โˆฉ ๐บ โˆ’ ๐‘ƒ ๐น โˆฉ ๐บ

+ ๐‘ƒ ๐ธ โˆฉ ๐น โˆฉ ๐บ

36

E

FG

r = 1:

r = 2:

r = 3:

Page 37: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

(live)03: Intro to ProbabilityOishi Banerjee and Cooper RaterinkAdapted from Lisa YanJune 26, 2020

37

Page 38: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Reminders: Lecture with

โ€ข Turn on your camera if you are able, mute your mic in the big room

โ€ข Virtual backgrounds are encouraged (classroom-appropriate)

Breakout Rooms for meeting your classmatesโ—ฆ Just like sitting next to someone new Our best approximation to sitting next to someone new

We will use Ed instead of Zoom chatโ€ข Lots of activity and questions, thank you all!

38

Todayโ€™s discussion thread: https://us.edstem.org/courses/667/discussion/82037

Page 39: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Summary so far

39

Sort objects

(permutations)

Distinct

(distinguishable)

Some

distinct Distinct Indistinct

Distinct

1 group ๐‘Ÿ groups

Counting tasks on ๐‘› objects

Choose ๐‘˜ objects

(combinations)

Put objects in ๐‘Ÿbuckets

๐‘›

๐‘˜๐‘Ÿ๐‘›๐‘›!

Ordered Unordered

๐‘ƒ ๐ธ =|๐ธ|

|๐‘†|

Equally likely

outcomes

Review

Page 40: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Indistinguishable? Distinguishable? Probability?

We choose 3 books from a set of 4 distinct (distinguishable) and 2 indistinct (indistinguishable) books.

Let event ๐ธ = our choice does not include both indistinct books.

1. What is |๐ธ|?

2. What is ๐‘ƒ ๐ธ ?

40

Review

distinguishable,

equally likely

outcomes

report

countmake indistinct

compute

probability

Page 41: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Think, then Breakout Rooms

Then check out the question on the next slide (Slide 44). Post any clarifications here!

https://us.edstem.org/courses/667/discussion/82037

Think by yourself: 2 min

Breakout rooms: 5 min. Introduce yourself!

41

๐Ÿค”

Page 42: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Poker Straights and Computer Chips

1. Consider 5-card poker hands.โ€ข โ€œstraightโ€ is 5 consecutive rank

cards of any suit

What is P(Poker straight)?

2. Consider the โ€œofficialโ€ definition of a Poker Straight:โ€ข โ€œstraightโ€ is 5 consecutive rank cards of any suit

โ€ข straight flushโ€ is 5 consecutive rank cards of same suit

What is P(Poker straight, but not straight flush)?

3. Computer chips: ๐‘› chips are manufactured, 1 of which is defective.๐‘˜ chips are randomly selected from ๐‘› for testing.

What is P(defective chip is in ๐‘˜ selected chips?)

42

โ€ข What is an example of an outcome?

โ€ข Is each outcome equally likely?

โ€ข Should objects be

ordered or unordered?

๐Ÿค”

Page 43: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Any Poker Straight

1. Consider 5-card poker hands.

โ€ข โ€œstraightโ€ is 5 consecutive rankcards of any suit

What is P(Poker straight)?

43

Define

โ€ข ๐‘† (unordered)

โ€ข ๐ธ (unordered,consistent with S)

Compute ๐‘ƒ Poker straight =

Page 44: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Consider 5-card poker hands.

โ€ข โ€œstraightโ€ is 5 consecutive rank cards of any suit

โ€ข โ€œstraight flushโ€ is 5 consecutive rank cards of same suit

What is P(Poker straight, but not straight flush)?

44

โ€œOfficialโ€ Poker Straight

Define

โ€ข ๐‘† (unordered)

โ€ข ๐ธ (unordered,consistent with S)

Compute ๐‘ƒ Official Poker straight =

Page 45: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Define

โ€ข ๐‘† (unordered)

โ€ข ๐ธ (unordered,consistent with S)

Compute

๐‘› chips are manufactured, 1 of which is defective.๐‘˜ chips are randomly selected from ๐‘› for testing.

What is ๐‘ƒ(defective chip is in ๐‘˜ selected chips?)

45

Chip defect detection

๐‘ƒ ๐ธ =

Page 46: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

๐‘› chips are manufactured, 1 of which is defective.๐‘˜ chips are randomly selected from ๐‘› for testing.

What is P(defective chip is in ๐‘˜ selected chips?)

46

Chip defect detection, solution #2

Redefine experiment

1. Choose ๐‘˜ indistinct chips (1 way)

2. Throw a dart and make one defective

Define

โ€ข ๐‘† (unordered)

โ€ข ๐ธ (unordered,consistent with S)

Page 47: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Interlude for announcements

47

Page 48: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Section

48

Week 1โ€™s section: pre-recorded Python review session

Week 2+: 12:30-1:30PT Thursdays, live on Zoom (will be recorded)

Page 49: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Interesting probability news

49

โ€œThe study finds that very few chords govern most of

the music, a phenomenon that is also known in

linguistics, where very few words dominate language

corporaโ€ฆ. It characterizes Beethoven's specific

composition style for the String Quartets, through a

distribution of all the chords he used, how often they

occur, and how they commonly transition from one to

the other.โ€

https://actu.epfl.ch/news/de

coding-beethoven-s-music-

style-using-data-scienc/

Page 50: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

3 Corollaries of Axioms of Probability

Corollary 1: ๐‘ƒ ๐ธ๐ถ = 1 โˆ’ ๐‘ƒ(๐ธ)

Corollary 2: If ๐ธ โŠ† ๐น, then ๐‘ƒ ๐ธ โ‰ค ๐‘ƒ(๐น)

Corollary 3: ๐‘ƒ ๐ธ โˆช ๐น = ๐‘ƒ ๐ธ + ๐‘ƒ ๐น โˆ’ ๐‘ƒ ๐ธ๐น(Inclusion-Exclusion Principle for Probability)

50

Review

Page 51: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Takeaway: Mutually exclusive events

51

๐‘ƒ แˆซ๐‘–=1

โˆž

๐ธ๐‘– =

๐‘†

๐ธ1 ๐ธ2

๐ธ3

Axiom 3,

Mutually exclusive

events

E

F G

Inclusion-

Exclusion

Principle

The challenge of probability is in defining events.

Some event probabilities are easier to compute than others.

๐‘ƒ แˆซ๐‘–=1

โˆž

๐ธ๐‘– =

Review

Page 52: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Serendipity

52

Page 53: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Serendipity

โ€ข The population of Stanford is ๐‘› = 17,000 people.

โ€ข You are friends with ๐‘Ÿ = people.

โ€ข Walk into a room, see ๐‘˜ = 360 random people.

โ€ข Assume you are equally likely to see each person at Stanford.

What is the probability that you see someone you know in the room?

53

Page 54: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Breakout Rooms

Check out the question on the next slide (Slide 57). Post any clarifications here!

https://us.edstem.org/courses/667/discussion/82037

Breakout rooms: 5 min. Introduce yourself if you havenโ€™t yet!

54

๐Ÿค”

Page 55: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Serendipity

โ€ข The population of Stanford is ๐‘› = 17,000 people.

โ€ข You are friends with ๐‘Ÿ = 100 people.

โ€ข Walk into a room, see ๐‘˜ = 360 random people.

โ€ข Assume you are equally likely to see each person at Stanford.

What is the probability that you see someone you know in the room?

Define

โ€ข ๐‘† (unordered)

โ€ข ๐ธ: โ‰ฅ 1 friend in the room

55

What strategy should you use?

A. ๐‘ƒ exactly 1 + ๐‘ƒ exactly 2๐‘ƒ exactly 3 + โ‹ฏ

B. 1 โˆ’ ๐‘ƒ see no friends

๐Ÿค”

Page 56: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

Serendipity

โ€ข The population of Stanford is ๐‘› = 17,000 people.

โ€ข You are friends with ๐‘Ÿ = 100 people.

โ€ข Walk into a room, see ๐‘˜ = 360 random people.

โ€ข Assume you are equally likely to see each person at Stanford.

What is the probability that you see someone you know in the room?

Define

โ€ข ๐‘† (unordered)

โ€ข ๐ธ: โ‰ฅ 1 friend in the room

56

It is often much easier to compute ๐‘ƒ ๐ธ๐‘ .

Page 57: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

The Birthday Paradox Problem

What is the probability that in a set of n people, at least one pair of them will share the same birthday?

For you to think about (and discuss in section!)

57

Page 58: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

In a 52 card deck, cards are flipped one at a time.After the first ace (of any suit) appears, consider the next card.

Is P(next card = Ace Spades) < P(next card = 2 Clubs)?

Card Flipping

๐Ÿค”(by yourself)

Page 59: 03: Intro to Probabilityweb.stanford.edu/class/archive/cs/cs109/cs109.1208/lectures/03...ย ยท Proof of Corollary 1 Corollary 1: ๐‘ƒ ๐ถ=1โˆ’๐‘ƒ( ) Proof: , ๐ถare mutually exclusive

Lisa Yan, CS109, 2020

In a 52 card deck, cards are flipped one at a time.After the first ace (of any suit) appears, consider the next card.

Is P(next card = Ace Spades) < P(next card = 2 Clubs)?

Card Flipping

Sample space | S | = 52!

Event ๐ธ๐ด๐‘† , next card

is Ace Spades

๐ธ2๐ถ, next card

is 2 Clubs

1. Take out Ace of Spades.

2. Shuffle leftover 51 cards.

3. Add Ace Spades after first ace.

|๐ธ๐ด๐‘†| = 51! โ‹… 1

1. Take out 2 Clubs.

2. Shuffle leftover 51 cards.

3. Add 2 Clubs after first ace.

|๐ธ2๐ถ| = 51! โ‹… 1

๐‘ƒ ๐ธ๐ด๐‘† = ๐‘ƒ ๐ธ2๐ถ