A bag holds five red tokens and three blue tokens, and two tokens are drawn one after the other without replacement. What is the probability that both are red? The chance of red on the second draw depends on what the first draw removed, so the calculation has to keep track of what happened first. A probability tree records every history together with the probabilities that apply after it. This lesson builds such trees, derives the chain rule that multiplies along their paths, and shows how adding complete paths gives the probability of an event.
Key terms
Probability tree
Definition A probability tree describes an experiment carried out in stages. Each node stands for a history, the outcomes of the stages so far, starting from the root before the first stage. The branches leaving a node list the possible outcomes of the next stage, which must be disjoint and exhaustive. When the history at a node has positive probability, each branch leaving it carries the probability of its outcome given that history.
In plain words The tree is a map of the experiment, read from the root outward. Every fork asks what can happen next and how likely each possibility is from that point on.
Example For the bag above, write and for a red or a blue token on draw . The root splits into with probability and with probability . After the bag holds four red and three blue tokens, and after it holds five red and two blue, so each of these two nodes splits again into red and blue with its own probabilities.
Conditional branch
Definition A branch from a node with history , where , to an outcome of the next stage carries the conditional probability . The branches from the root carry unconditional probabilities. Branches with the same outcome can carry different probabilities at different nodes, because their histories differ.
In plain words A branch label answers one question. How likely is this next step, given everything that has already happened on the way to this node?
Example In the token tree the second-draw branches are
Labeling both second-draw forks with for red and for blue would describe a different experiment, such as returning the first token to the bag before the second draw.
Multiplication rule
Definition For events and with , multiplying the definition through by gives
The rule does not need independence. If and happen to be independent, then and the rule becomes the product . If , then as well, and no conditional probability is needed.
In plain words The chance that both things happen is the chance of the first, times the chance of the second once the first has happened.
Example Both tokens are red with probability
If instead each token is returned before the next draw and the draws are modeled as independent, the same path has probability . The answers differ because the experiments differ.
Chain rule
Definition Let be events. Write for the history after stages and , and suppose . Then
where the first factor is . Every conditioning event has positive probability, since . The rule follows from the multiplication rule , applied for each from to and started from . For three events it reads
If some history has probability , then because , and the later factors are not needed.
In plain words Along a path, multiply the probability of reaching each history by the probability of the next step from there. Each factor conditions on the whole history before it, not only on the previous stage.
Example Draw a third token without replacement. The path red, red, blue passes through the history , after which three red and three blue tokens remain. So
Terminal path
Definition A terminal path runs from the root to a leaf and records one complete history of the experiment. By the chain rule, its probability is the product of the branch probabilities along it. A path that reaches a history of probability has probability , and the product can stop there. Different terminal paths are disjoint events, and together they cover every possible history. So the probability of any event described by the stages is the sum of the probabilities of the terminal paths that make up the event.
In plain words Multiply along a path, then add across the paths that make up the event. Added paths have to be disjoint, and distinct complete paths always are.
Example Write for red and then blue, and so on. The four terminal paths of the two-draw tree have probabilities
Exactly one red token means or , with probability . A red second token means or , with probability . That equals the red share of the full bag, yet the draws are dependent, since while . With replacement and independent draws, exactly one red would instead have probability .
Branch normalization
Definition At every node whose history has , the outcomes of the next stage are disjoint and exhaustive, so the branch probabilities are nonnegative and satisfy
As a consequence, the probabilities of all terminal paths add to . A history with probability needs no branch labels after it, since every path through it has probability .
In plain words Each fork hands out all of its probability, no more and no less. Checking each fork is a local check on every conditional choice, and checking that the leaves add to is a global check on the whole model.
Example The three forks of the token tree give , and , and the leaves give . A common slip is to label the fork after with and , forgetting that only seven tokens remain. Those labels add to , and the fork check catches the mistake at once.
Check yourself
- A box holds three working fuses and two faulty ones. Two fuses are drawn without replacement. Find the probability that both are faulty and the probability that at least one works.
Show the answer
The first fuse is faulty with probability . Given that, one faulty fuse remains among four, so the second is faulty with probability . Both are faulty with probability
The event “at least one works” contains every terminal path except faulty, faulty, so its probability is .
- A bag holds four green tokens and two orange tokens. Three are drawn without replacement. Find the probability of exactly two green tokens, and check the answer with combinations.
Show the answer
The successful terminal paths are , and . Updating the bag along each path gives
The paths are disjoint, so the probability is . Counting unordered selections instead, all three-token subsets are equally likely, and the favorable ones contain two of the four green tokens and one of the two orange ones,
The tree counts ordered histories and the combinations count unordered subsets, and the two models agree once order is ignored.
- For the same bag and three draws, a classmate argues that each draw is orange with probability , so at least one orange token appears with probability . Find the mistake and the correct probability.
Show the answer
Each draw on its own is indeed orange with probability . The mistake is adding events that are not disjoint. The path , for example, has orange on both the first and the second draw, so it is counted twice in the sum. The complement of “at least one orange” is the single terminal path , with probability
So at least one orange token appears with probability , not .