Math 2.0

Probability theory and stochastic processes Combinatorial and geometric probability Problem

Coupon collector's problem

Builds on Geometric distributionLinearity of expectationMean of the geometric distributionVariance of a sum of independent random variables

Problem

There are n≥1n \ge 1 different types of coupons. Each draw gives a coupon of a uniform random type, independently of the other draws. Let TT be the number of draws needed to collect all nn types. Find E[T]E[T].

Remarks

Solution: write T=t1+⋯+tnT = t_1 + \dots + t_n, where tit_i is the number of draws to get a new type when i−1i - 1 types are known. Each tit_i counts trials up to the first success, with success probability pi=(n−i+1)/np_i = (n - i + 1)/n. So E[ti]=1/piE[t_i] = 1/p_i by the mean of the geometric distribution. By linearity of expectation, E[T]=n(11+12+⋯+1n)=nHnE[T] = n \left(\frac{1}{1} + \frac{1}{2} + \dots + \frac{1}{n}\right) = n H_n, where HnH_n is the nn-th harmonic number. So E[T]=nln⁡n+γn+12+o(1)E[T] = n \ln n + \gamma n + \frac{1}{2} + o(1), with the Euler–Mascheroni constant γ≈0.5772\gamma \approx 0.5772. The tit_i are independent, so Var⁡(T)=∑i(1−pi)/pi2<π2n2/6\operatorname{Var}(T) = \sum_i (1 - p_i)/p_i^2 < \pi^2 n^2 / 6.

Reading path

To understand this page from the ground up, read these 68 pages in order. The foundations come first.

  1. Construction of the reals from Cauchy sequences concept
  2. Element definition
  3. Integers object
  4. Ordered field definition
  5. Proposition concept
  6. Random experiment concept
  7. Rational numbers object
  8. Real numbers object
  9. Set definition
  10. Ring of integers statement
  11. Disjunction definition
  12. Implication definition
  13. Predicate definition
  14. Bernoulli trial concept
  15. Ordered pair definition
  16. Union definition
  17. Sample space definition
  18. The rationals form a field statement
  19. Existential quantifier definition
  20. Universal quantifier definition
  21. Cartesian product definition
  22. Subset definition
  23. The rationals form an ordered field statement
  24. Uniqueness quantifier definition
  25. Binary relation definition
  26. Universal set definition
  27. Order on the reals definition
  28. Power set definition
  29. Complement definition
  30. Function definition
  31. Interval definition
  32. Injective function definition
  33. Preimage of a set definition
  34. Sigma-algebra definition
  35. Countable set definition
  36. Event definition
  37. Borel sigma-algebra definition
  38. Probability axioms concept
  39. Probability measure definition
  40. Probability distribution definition
  41. Probability space definition
  42. Conditional probability definition
  43. Random variable definition
  44. Cumulative distribution function definition
  45. Discrete random variable definition
  46. Law of a random variable definition
  47. Independence of two events definition
  48. Random variable with a density definition
  49. Joint probability distribution definition
  50. Probability mass function definition
  51. Mutual independence of events definition
  52. Expected value definition
  53. Independence of two random variables definition
  54. Marginal distribution definition
  55. Tail sum formula for expectation statement
  56. Independent sigma-algebras definition
  57. Variance definition
  58. Geometric distribution definition
  59. Linearity of expectation statement
  60. Independence means the joint law is the product of the marginals statement
  61. Independence of random variables definition
  62. Mean of the geometric distribution statement
  63. Covariance definition
  64. Expectation of a product of independent random variables statement
  65. Variance of a sum statement
  66. Independent random variables are uncorrelated statement
  67. Variance of a sum of independent random variables statement
  68. Coupon collector's problem problem

Further reading

  1. Web https://en.wikipedia.org/wiki/Coupon_collector's_problem, Calculating the expectation
  2. Web https://en.wikipedia.org/wiki/Coupon_collector's_problem, Calculating the variance
About this page
Tag0MXCP7MXWJ
URIm2://0MXCP7MXWJ
Aliasescoupon-collector-problem
Kindproblem
WritingW0 stub
MSC60C05
StatusThis copy of the site has no build data. Run m2 status 0MXCP7MXWJ.
UsesGeometric distribution, Linearity of expectation, Mean of the geometric distribution, Variance of a sum of independent random variables
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.