Unformatted text preview:

Great Theoretical Ideas In Computer Science Anupam Gupta Lecture 23 CS 15 251 April 5 2005 Spring 2005 Carnegie Mellon University Probability III The probabilistic method infinite probability spaces Recap Random Variables An event is a subset of S A Random Variable RV is a realx P x valued function on S Example Event A the first die came up 1 Random Variable X the value of the first die E g X 3 5 3 X 1 6 1 1 1 1 2 1 3 1 4 1 5 1 6 2 1 M M 6 5 6 6 1 36 1 36 1 36 1 36 1 36 1 36 1 36 1 36 1 36 It s a floor wax and a dessert topping It s a function on the sample space S It s a variable with a probability distribution on its values HMU You should be comfortable with both views Definition expectation The expectation or expected value of a random variable X is E g 2 coin flips X heads What is E X 1 HT 2 HH 0 TT 1 TH Thinking about expectation D S TT TH HT HH X Distrib on X 0 1 2 E X 0 1 1 2 1 E X 0 1 2 1 Linearity of Expectation If Z X Y then E Z E X E Y HMU Even if X and Y are not independent New topic The probabilistic method Use a probabilistic argument to prove a nonprobabilistic mathematical theorem Definition A cut in a graph A cut is a partition of the nodes of a graph into two sets U and V We say that an edge crosses the cut if it goes from a node is U to a node in V Cut U V Theorem In any graph there exists a cut such that at least half the edges cross the cut Theorem In any graph there exists a cut such that at least half the edges cross the cut How are we going to prove this Will show that if we pick a cut at random random the expected number of edges crossing is edges What might be is surely possible Goal show exists object of value at least v Proof strategy Define distribution D over objects Define RV X object value of object Theorem In any graph there exists a cut such that at least half the edges cross the cut Proof Pick a cut uniformly at random I e for each node flip a fair coin to determine if it is in U or V Let Xe be the indicator RV for the event that edge e crosses the cut Ans What is E Xe Theorem In any graph there exists a cut such that at least half the edges cross the cut Proof Pick random cut Let Xe 1 if e crosses else Let Xe 0 Let X total edges crossing So X e Xe Also E X Also Pick a cut uniformly at random I e for each node flip a fair coin to see if it should be in U E of edges crossing cut of edges 2 The sample space of all possible cuts must contain at least one cut that at least half the edges cross if not the average number of edges would be less than half Another example of prob method What you did on hwk 8 If you color nodes at random Pr every v has a neighbor of a different color 0 So must exist coloring where every v has a neighbor of a different color This then implied existence of evenlength cycle Back to cuts Can you use this argument to also find such a cut In this case you can through a neat strategy called the conditional expectation method HMU Idea make decisions in greedy manner to maximize expectation togo First a few more facts For any partition of the sample space S into disjoint events A1 A2 An and any event B Pr B i Pr B Ai i Pr B Ai Pr Ai B A1 A2 A3 An Def Conditional Expectation For a random variable X and event A the conditional expectation of X given A is defined as E g roll two dice X sum of dice E X 7 Let A be the event that the first die is 5 E X A 8 5 Def Conditional Expectation For a random variable X and event A the conditional expectation of X given A is defined as Useful formula for any partition of S into A1 A2 we have E X i E X Ai Pr Ai Proof just plug in Pr X k i Pr X k Recap of cut argument Pick random cut Let Xe 1 if e crosses else Xe 0 Let X total edges crossing So X e Xe Also E Xe By linearity of expectation E X total edges Conditional expectation method Say we have already decided fate of nodes 1 2 i 1 Let X number of edges crossing cut if we place rest of nodes into U or V at random Let A event that node i is put into U So E X E X A E X A It can t be the case that both terms on the RHS are smaller than the LHS So just put node i into side whose C E is larger Pictorial view important View S as leaves of choice tree ith choice is where to put node i Label leaf by value of X E X avg leaf value G U U V 1 3 2 V U U V U V U V 0 1 2 1 1 2 V U 1 V 0 Pictorial view important If A is some node the event that we reach that node then E X A avg value of leaves below A Alg greedily follow path to maximize G avg 1 U U V 3 2 V U U V U V U V 0 1 2 1 1 2 V U 1 V 0 Pictorial view important Linearity of expectation gives us a way of magically computing E X A for any node A Even though the tree has 2n leaves G U U V 1 3 2 V U U V U V U V 0 1 2 1 1 2 V U 1 V 0 Pictorial view important In particular E X A edges crossing so far edges not yet determined G U U V 1 3 2 V U U V U V U V 0 1 2 1 1 2 V U 1 V 0 Conditional expectation method In fact our algorithm is just put node i into the side that has the fewest of its neighbors so far The side that causes the most of the edges determined so far to cross the cut But the probabilistic view was useful for proving that this works In many cases though we can t get an exact handle on these expectation Probabilistic method can often give us proof of existence without an algorithm for finding the thing In …


View Full Document

CMU CS 15251 - lecture

Documents in this Course
lecture

lecture

66 pages

lecture

lecture

79 pages

lecture

lecture

111 pages

lecture

lecture

85 pages

lecture17

lecture17

64 pages

Lecture

Lecture

85 pages

Lecture

Lecture

71 pages

Lecture

Lecture

70 pages

Lecture

Lecture

11 pages

Lecture

Lecture

45 pages

Lecture

Lecture

50 pages

Lecture

Lecture

93 pages

Lecture

Lecture

93 pages

Lecture

Lecture

35 pages

Lecture

Lecture

98 pages

Lecture

Lecture

74 pages

Lecture

Lecture

13 pages

Lecture

Lecture

15 pages

Lecture

Lecture

66 pages

Lecture

Lecture

82 pages

Lecture

Lecture

15 pages

Lecture

Lecture

47 pages

Lecture

Lecture

69 pages

Lecture

Lecture

13 pages

Lecture

Lecture

67 pages

Lecture

Lecture

68 pages

Lecture

Lecture

69 pages

lecture03

lecture03

44 pages

Lecture

Lecture

69 pages

Lecture

Lecture

68 pages

Lecture

Lecture

55 pages

Lecture

Lecture

79 pages

Lecture

Lecture

85 pages

Lecture

Lecture

87 pages

Lecture

Lecture

85 pages

Lecture

Lecture

103 pages

Lecture

Lecture

9 pages

Lecture

Lecture

83 pages

Lecture

Lecture

8 pages

lecture03

lecture03

68 pages

lecture24

lecture24

78 pages

lecture03

lecture03

72 pages

Thales

Thales

129 pages

lecture13

lecture13

81 pages

Lecture

Lecture

64 pages

lecture01

lecture01

59 pages

lecture11

lecture11

105 pages

Lecture

Lecture

89 pages

Lecture

Lecture

74 pages

lecture25

lecture25

57 pages

Lecture

Lecture

99 pages

lecture

lecture

50 pages

lecture

lecture

14 pages

Lecture

Lecture

78 pages

lecture

lecture

8 pages

Lecture

Lecture

98 pages

lecture

lecture

83 pages

lecture23

lecture23

88 pages

lecture

lecture

64 pages

lecture

lecture

72 pages

Lecture

Lecture

88 pages

lecture

lecture

79 pages

Lecture

Lecture

60 pages

lecture

lecture

74 pages

lecture19

lecture19

72 pages

lecture25

lecture25

86 pages

lecture

lecture

13 pages

lecture17

lecture17

79 pages

lecture

lecture

91 pages

lecture

lecture

78 pages

Lecture

Lecture

11 pages

Lecture

Lecture

54 pages

lecture

lecture

72 pages

lecture

lecture

119 pages

lecture

lecture

167 pages

lecture

lecture

73 pages

lecture

lecture

73 pages

lecture

lecture

83 pages

lecture

lecture

16 pages

lecture

lecture

67 pages

lecture

lecture

81 pages

lecture

lecture

72 pages

lecture

lecture

57 pages

lecture16

lecture16

82 pages

lecture21

lecture21

46 pages

Lecture

Lecture

92 pages

Lecture

Lecture

14 pages

Lecture

Lecture

49 pages

Lecture

Lecture

132 pages

Lecture

Lecture

101 pages

Lecture

Lecture

98 pages

Lecture

Lecture

59 pages

Lecture

Lecture

64 pages

Lecture

Lecture

106 pages

Lecture

Lecture

70 pages

Lecture

Lecture

80 pages

Lecture

Lecture

76 pages

Lecture

Lecture

91 pages

Lecture

Lecture

112 pages

Lecture

Lecture

91 pages

Lecture

Lecture

10 pages

Lecture

Lecture

39 pages

Lecture

Lecture

79 pages

Lecture

Lecture

74 pages

Lecture

Lecture

44 pages

Lecture

Lecture

39 pages

Lecture

Lecture

99 pages

Lecture

Lecture

44 pages

Lecture

Lecture

59 pages

Lecture

Lecture

36 pages

lecture17

lecture17

36 pages

lecture

lecture

71 pages

lecture

lecture

79 pages

lecture

lecture

12 pages

lecture

lecture

43 pages

lecture

lecture

87 pages

lecture

lecture

35 pages

lecture03

lecture03

23 pages

lecture

lecture

68 pages

lecture

lecture

74 pages

lecture

lecture

21 pages

lecture

lecture

79 pages

lecture

lecture

15 pages

lecture

lecture

83 pages

lecture

lecture

13 pages

Lecture

Lecture

53 pages

lecture

lecture

55 pages

lecture

lecture

49 pages

lecture

lecture

10 pages

lecture

lecture

70 pages

lecture

lecture

12 pages

Lecture

Lecture

105 pages

Lecture

Lecture

9 pages

Lecture

Lecture

72 pages

Lecture

Lecture

66 pages

Lecture

Lecture

54 pages

Lecture

Lecture

98 pages

Lecture

Lecture

57 pages

Lecture

Lecture

75 pages

Lecture

Lecture

48 pages

lecture

lecture

53 pages

Lecture

Lecture

72 pages

Lecture

Lecture

53 pages

Lecture

Lecture

84 pages

Lecture

Lecture

55 pages

Lecture

Lecture

15 pages

Lecture

Lecture

6 pages

Lecture

Lecture

38 pages

Lecture

Lecture

71 pages

Lecture

Lecture

110 pages

Lecture

Lecture

70 pages

lecture

lecture

48 pages

lecture

lecture

76 pages

lecture

lecture

48 pages

lecture

lecture

52 pages

lecture

lecture

43 pages

lecture

lecture

81 pages

lecture

lecture

82 pages

lecture

lecture

83 pages

lecture

lecture

64 pages

lecture

lecture

71 pages

lecture

lecture

65 pages

lecture

lecture

56 pages

lecture

lecture

12 pages

lecture

lecture

66 pages

lecture

lecture

50 pages

lecture

lecture

86 pages

lecture

lecture

70 pages

Lecture

Lecture

74 pages

Lecture

Lecture

54 pages

Lecture

Lecture

90 pages

lecture

lecture

78 pages

lecture

lecture

87 pages

Lecture

Lecture

55 pages

Lecture

Lecture

12 pages

lecture21

lecture21

66 pages

Lecture

Lecture

11 pages

lecture

lecture

83 pages

Lecture

Lecture

53 pages

Lecture

Lecture

69 pages

Lecture

Lecture

12 pages

lecture04

lecture04

97 pages

Lecture

Lecture

14 pages

lecture

lecture

75 pages

Lecture

Lecture

74 pages

graphs2

graphs2

8 pages

lecture

lecture

82 pages

Lecture

Lecture

8 pages

lecture

lecture

47 pages

lecture

lecture

91 pages

lecture

lecture

76 pages

lecture

lecture

73 pages

lecture

lecture

10 pages

lecture

lecture

63 pages

lecture

lecture

91 pages

lecture

lecture

79 pages

lecture

lecture

9 pages

lecture

lecture

70 pages

lecture

lecture

86 pages

lecture

lecture

102 pages

lecture

lecture

145 pages

lecture

lecture

91 pages

Lecture

Lecture

87 pages

lecture

lecture

87 pages

Notes

Notes

19 pages

Lecture

Lecture

50 pages

Lecture

Lecture

13 pages

Lecture

Lecture

97 pages

Lecture

Lecture

98 pages

Lecture

Lecture

83 pages

Lecture

Lecture

77 pages

Lecture

Lecture

102 pages

Lecture

Lecture

63 pages

Lecture

Lecture

104 pages

lecture

lecture

41 pages

lecture

lecture

14 pages

Lecture

Lecture

87 pages

Lecture

Lecture

94 pages

lecture

lecture

9 pages

Lecture

Lecture

96 pages

Lecture

Lecture

72 pages

Lecture

Lecture

35 pages

Lecture

Lecture

77 pages

Lecture

Lecture

98 pages

Lecture

Lecture

48 pages

Lecture

Lecture

66 pages

Lecture

Lecture

53 pages

lecture18

lecture18

101 pages

Lecture

Lecture

10 pages

Lecture

Lecture

70 pages

Lecture

Lecture

12 pages

Lecture

Lecture

74 pages

graphs

graphs

10 pages

Lecture

Lecture

62 pages

Lecture

Lecture

11 pages

Lecture

Lecture

71 pages

Lecture

Lecture

42 pages

lecture15

lecture15

72 pages

Lecture

Lecture

82 pages

Load more
Loading Unlocking...
Login

Join to view lecture and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view lecture and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?