Problem of points
The problem of points, also called the problem of division of the stakes, is a classical problem in probability theory. One of the famous problems that motivated the beginnings of modern probability theory in the 17th century, it led Blaise Pascal to the first explicit reasoning about what today is known as an expectation value.
The problem concerns a game of chance with two players who have equal chances of winning each round. The players contribute equally to a prize pot, and agree in advance that the first player to have won a certain number of rounds will collect the entire prize. Now suppose that the game is interrupted by external circumstances before either player has achieved victory. How does one then divide the pot fairly? It is tacitly understood that the division should depend somehow on the number of rounds won by each player, such that a player who is close to winning will get a larger part of the pot. But the problem is not merely one of calculation; it also includes deciding what a "fair" division should mean in the first place.
Early solutions
Luca Pacioli considered such a problem in his 1494 textbook Summa de arithmetica, geometrica, proportioni et proportionalità. His method was to divide the stakes in proportion to the number of rounds won by each player, and the number of rounds needed to win did not enter his calculations at all.^{[1]}
In the mid-16th century Niccolò Tartaglia noticed that Pacioli's method leads to counterintuitive results if the game is interrupted when only one round has been played. In that case, Pacioli's rule would award the entire pot to the winner of that single round, though a one-round lead early in a long game is far from decisive. Tartaglia constructed a method that avoids that particular problem by basing the division on the ratio between the size of the lead and the length of the game.^{[1]} This solution is still not without problems, however; in a game to 100 it divides the stakes in the same way for a 65–55 lead as for a 99–89 lead, even though the former is still a relatively open game whereas in the latter situation victory for the leading player is almost certain. Tartaglia himself was unsure whether the problem was solvable at all in a way that would convince both players of its fairness: "in whatever way the division is made there will be cause for litigation".^{[2]}
Pascal and Fermat
The problem arose again around 1654 when Chevalier de Méré posed it to Blaise Pascal. Pascal discussed the problem in his ongoing correspondence with Pierre de Fermat. Through this discussion Pascal and Fermat not only came up with a convincing, self-consistent solution to the division of the stakes, but also developed concepts that continue to be fundamental in probability to this day.
The starting insight for Pascal and Fermat was that the division should not depend so much on the history of the part of the interrupted game that actually took place, as on the possible ways the game might have continued, were it not interrupted. It is intuitively clear that a player with a 7–5 lead in a game to 10 has the same chance of eventually winning as a player with a 17–15 lead in a game to 20, and Pascal and Fermat therefore thought that interruption in either of the two situations ought to lead to the same division of the stakes. In other words, what is important is not the number of rounds each player has won yet, but the number of rounds each player still needs to win in order to achieve overall victory.
Fermat now reasoned thus:^{[3]} if one player needs r more rounds to win and the other needs s, the game will surely have been won by someone after '"`UNIQ--postMath-00000001-QINU`"' additional rounds. Therefore, imagine that the players were to play '"`UNIQ--postMath-00000002-QINU`"' more rounds; in total these rounds have '"`UNIQ--postMath-00000003-QINU`"' different possible outcomes. In some of these possible futures the game will actually have been decided in fewer than '"`UNIQ--postMath-00000004-QINU`"' rounds, but it does no harm to imagine the players continuing to play with no purpose. Considering only equally long futures has the advantage that one easily convinces oneself that each of the '"`UNIQ--postMath-00000005-QINU`"' possibilities is equally likely. Fermat was thus able to compute the odds for each player to win, simply by writing down a table of all '"`UNIQ--postMath-00000006-QINU`"' possible continuations and counting how many of them would lead to each player winning. Fermat now considered it obviously fair to divide the stakes in proportion to those odds.
Fermat's solution, certainly "correct" by today's standards, was improved by Pascal in two ways. First, Pascal produced a more elaborate argument why the resulting division should be considered fair. Second, he showed how to calculate the correct division more efficiently than Fermat's tabular method, which becomes completely impractical (without modern computers) if '"`UNIQ--postMath-00000007-QINU`"' is more than about 10.
Instead of just considering the probability of winning the entire remaining game, Pascal devised a principle of smaller steps: Suppose that the players had been able to play just one more round before being interrupted, and that we already had decided how to fairly divide the stakes after that one more round (possibly because that round lets one of the players win). The imagined extra round may lead to one of two possible futures with different fair divisions of the stakes, but since the two players have even chances of winning the next round, they should split the difference between the two future divisions evenly. In this way knowledge of the fair solutions in games with fewer rounds remaining can be used to calculate fair solutions for games with more rounds remaining.^{[4]}
It is easier to convince oneself that this principle is fair than it is for Fermat's table of possible futures, which are doubly hypothetical because one must imagine that the game sometimes continues after having been won. Pascal's analysis here is one of the earliest examples of using expectation values instead of odds when reasoning about probability. Shortly after, this idea would become a basis for the first systematic treatise on probability by Christiaan Huygens. Later the modern concept of probability grew out of the use of expectation values by Pascal and Huygens.
The direct application of Pascal's step-by-step rule is significantly quicker than Fermat's method when many rounds remain. However, Pascal was able to use it as a starting point for developing more advanced computational methods. Through clever manipulation of identities involving what is today known as Pascal's triangle (including several of the first explicit proofs by induction) Pascal finally showed that in a game where one player needs r points to win and the other needs s points to win, the correct division of the stakes is in the ratio of (using modern notation)
- '"`UNIQ--postMath-00000008-QINU`"'
The problem of dividing the stakes became a major motivating example for Pascal in his Treatise on the arithmetic triangle.^{[4]} ^{[5]}
Though Pascal's derivation of this result was independent of Fermat's tabular method, it is clear that it also describes exactly the counting of different outcomes of '"`UNIQ--postMath-00000009-QINU`"' additional rounds that Fermat suggested.
References
- Anders Hald: A history of Probability and Statistics and their Applications before 1750. Wiley 2003, ISBN 978-0-471-47129-5, p. 35, 54
- Keith Devlin: The Unfinished Game: Pascal, Fermat, and the Seventeenth-Century Letter that Made the World Modern. Basic Books 2010, ISBN 978-0465018963
External links
- Lua error in Module:Citation/CS1 at line 746: Argument map not defined for this variable.
- The Early Development of Mathematical Probability
- Problem of points at MathForum
Footnotes
- ↑ ^{1.0} ^{1.1} Lua error in Module:Citation/CS1 at line 746: Argument map not defined for this variable. Section 11.3.1
- ↑ Tartaglia, quoted by Katz (op.cit.), from Oystein Ore, "Pascal and the Invention of Probability Theory", American Mathematical Monthly 67 (1960), 409–419, p.414.
- ↑ Pascal, letter to Fermat, quoted in F. N. David (1962) Games, Gods, and Gambling, Griffin Press, p. 239.
- ↑ ^{4.0} ^{4.1} Katz, op.cit., Section 11.3.2
- ↑ Lua error in Module:Citation/CS1 at line 746: Argument map not defined for this variable. Digital facsimile at the Cambridge University Library (in French) with short English summary