Craps principle
   HOME

TheInfoList



OR:

In
probability theory Probability theory is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expressing it through a set ...
, the craps principle is a theorem about
event Event may refer to: Gatherings of people * Ceremony, an event of ritual significance, performed on a special occasion * Convention (meeting), a gathering of individuals engaged in some common interest * Event management, the organization of e ...
probabilities under repeated
iid In probability theory and statistics, a collection of random variables is independent and identically distributed if each random variable has the same probability distribution as the others and all are mutually independent. This property is us ...
trials. Let E_1 and E_2 denote two
mutually exclusive In logic and probability theory, two events (or propositions) are mutually exclusive or disjoint if they cannot both occur at the same time. A clear example is the set of outcomes of a single coin toss, which can result in either heads or tails ...
events which might occur on a given trial. Then the probability that E_1 occurs before E_2 equals the
conditional probability In probability theory, conditional probability is a measure of the probability of an event occurring, given that another event (by assumption, presumption, assertion or evidence) has already occurred. This particular method relies on event B occu ...
that E_1 occurs given that E_1 or E_2 occur on the next trial, which is :\operatorname E_1 \, \, \text\,\, E_2\operatorname\left _1\mid E_1\cup E_2\right\frac The events E_1 and E_2 need not be
collectively exhaustive In probability theory and logic, a set of events is jointly or collectively exhaustive if at least one of the events must occur. For example, when rolling a six-sided die, the events 1, 2, 3, 4, 5, and 6 balls of a single outcome are collect ...
(if they are, the result is trivial).


Proof

Let A be the event that E_1 occurs before E_2. Let B be the event that neither E_1 nor E_2 occurs on a given trial. Since B, E_1 and E_2 are
mutually exclusive In logic and probability theory, two events (or propositions) are mutually exclusive or disjoint if they cannot both occur at the same time. A clear example is the set of outcomes of a single coin toss, which can result in either heads or tails ...
and
collectively exhaustive In probability theory and logic, a set of events is jointly or collectively exhaustive if at least one of the events must occur. For example, when rolling a six-sided die, the events 1, 2, 3, 4, 5, and 6 balls of a single outcome are collect ...
for the first trial, we have : \operatorname(A) = \operatorname(E_1)\operatorname(A \mid E_1) + \operatorname(E_2)\operatorname(A \mid E_2) + \operatorname(B) \operatorname(A \mid B) = \operatorname(E_1) + \operatorname(B) \operatorname(A \mid B) and \operatorname(B) = 1 - \operatorname(E_1) - \operatorname(E_2). Since the trials are i.i.d., we have \operatorname(A \mid B) = \operatorname(A). Using \operatorname(A, E_1)=1,\quad \operatorname(A, E_2)=0 and solving the displayed equation for \operatorname(A) gives the formula :\operatorname(A) = \frac.


Application

If the trials are repetitions of a game between two players, and the events are :E_1:\mathrm :E_2:\mathrm then the craps principle gives the respective conditional probabilities of each player winning a certain repetition, given that someone wins (i.e., given that a
draw Draw, drawing, draws, or drawn may refer to: Common uses * Draw (terrain), a terrain feature formed by two parallel ridges or spurs with low ground in between them * Drawing (manufacturing), a process where metal, glass, or plastic or anything ...
does not occur). In fact, the result is only affected by the relative marginal probabilities of winning \operatorname _1/math> and \operatorname _2/math> ; in particular, the probability of a draw is irrelevant.


Stopping

If the game is played repeatedly until someone wins, then the conditional probability above is the probability that the player wins the game. This is illustrated below for the original game of
craps Craps is a dice game in which players bet on the outcomes of the roll of a pair of dice. Players can wager money against each other (playing "street craps") or against a bank ("casino craps"). Because it requires little equipment, "street ...
, using an alternative proof.


Craps example

If the game being played is
craps Craps is a dice game in which players bet on the outcomes of the roll of a pair of dice. Players can wager money against each other (playing "street craps") or against a bank ("casino craps"). Because it requires little equipment, "street ...
, then this principle can greatly simplify the computation of the probability of winning in a certain scenario. Specifically, if the first roll is a 4, 5, 6, 8, 9, or 10, then the dice are repeatedly re-rolled until one of two events occurs: :E_1:\text :E_2:\text Since E_1 and E_2 are mutually exclusive, the craps principle applies. For example, if the original roll was a 4, then the probability of winning is :\frac=\frac This avoids having to sum the
infinite series In mathematics, a series is, roughly speaking, a description of the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, math ...
corresponding to all the possible outcomes: :\sum_^\operatorname text(i+1)^\text/math> Mathematically, we can express the probability of rolling i ties followed by rolling the point: :\operatorname text(i+1)^ \text = (1-\operatorname _1\operatorname _2^i\operatorname _1 The summation becomes an infinite
geometric series In mathematics, a geometric series is the sum of an infinite number of terms that have a constant ratio between successive terms. For example, the series :\frac \,+\, \frac \,+\, \frac \,+\, \frac \,+\, \cdots is geometric, because each suc ...
: :\sum_^ (1-\operatorname _1\operatorname _2^i\operatorname _1= \operatorname _1\sum_^ (1-\operatorname _1\operatorname _2^i :: = \frac = \frac which agrees with the earlier result.


References


Notes

* {{Craps Theorems in statistics Probability theorems Statistical principles