Combinatorial Probability - Applications
Combinatorial methods extend beyond basic counting to solve complex probability problems involving partitions, matchings, and recursive structures.
Stars and Bars Method
The number of ways to distribute indistinguishable balls into distinguishable boxes is:
Proof: Represent balls as stars and dividers as bars. Any arrangement of stars and bars corresponds to a distribution. The number of such arrangements is choosing positions for bars among total positions. □
How many non-negative integer solutions are there to ?
Using stars and bars with balls and boxes:
If we require each (positive integers), first place one ball in each box, leaving balls to distribute freely:
Catalan Numbers
The -th Catalan number is:
Catalan numbers count many combinatorial structures:
- Number of ways to properly parenthesize a product of factors
- Number of paths from to staying below the diagonal
- Number of binary trees with internal nodes
The first few Catalan numbers:
Ballot Problem: In an election, candidate A receives votes and candidate B receives votes, where . What is the probability that A is always ahead throughout the counting?
If votes are counted in random order, the probability is:
For : probability =
Principle of Inclusion-Exclusion (General Form)
For events and sets , the number of elements in none of the sets is:
where is the universal set.
Derangements Revisited: The number of derangements (permutations with no fixed points) is:
For large , .
Thus compared to total permutations.
Stirling Numbers
Stirling numbers of the second kind count the number of ways to partition distinct objects into non-empty unlabeled subsets.
Stirling numbers of the first kind count the number of permutations of elements with exactly cycles.
These satisfy recurrence relations:
Advanced combinatorial structures like Catalan numbers and Stirling numbers appear throughout discrete mathematics, computer science, and probability theory. They provide exact formulas for quantities that seem intractable at first glance.