# Probabilistic Method

*Probabilistic Method* is a general methodology developed by Paul Erdös starting in the late 1940s [Mathematics Unlimited, pp. 1095-1096]. The idea of the method is that in order to prove the existence of an object one designs a non-deterministic algorithm that may or may not produce the desired object. Having the probability of failure less than one guarantees the existence of the object.

An informal example comes from an article by Noga Alon and Michael Krivelevich:

Suppose that m teams basketball teams compete in a tournament and any two teams play each other exactly once. The organizers wish to award n prizes at the end of the tournament. It would be embarrassing if there ended up being a team that had not won a prize despite beating all the teams that had won a prize. However, unlikely though it might sound, it is quite possible that this will be the case whatever n teams they choose, at least if m is large enough. To demonstrate this is easy if one uses the probabilistic method, which is one of the most powerful techniques in combinatorics. For any fixed n, and all sufficiently large m, if the results of all the games are chosen randomly (and uniformly and independently), then there is a very high probability that for any n teams there is another team that beats all of them. Probabilistic combinatorics, which is one of the most active areas in modern combinatorics, started with the realization that probabilistic reasoning often provides simple solutions to problems of this type, problems that are often very hard to solve in any other way.

Here's an example (Erdös, 1963).

### Proposition

Let A_{k}, k = 1, ..., m be subsets of a set Ω, each with n elements: |A_{k}| = n, k = 1, ..., m. If ^{ n-1},_{k} is monochromatic.

### Proof

Let *F* be a collection of *n-sets* (sets with exactly n elements), and assume that *F*| = m < 2^{n-1}.*F*_{A} be the event that A is monochromatic. Since there are two such colorings and _{A}) of the event E_{A} is given by

P(E_{A}) = 2×2^{-n} = 2^{1-n}.

Since the events E_{A} are not necessarily disjoint,

P(∪_{A∈F} E_{A}) < ∑_{A∈F} P(E_{A}) = m2^{1-n} < 1.

So the probability that at least one A∈*F* is monochromatic is less than 1. Thus there bound to be a bichromatic coloring with no monochromatic A's.

**Note** that, for example, if |Ω| = m = 2n-1 then, for any bichromatic coloring of Ω, there is a monochromatic subset A,

We may apply similar reasoning to the problem of awards in a basketball tournament.

If the results of the tournament are random, then the probability that there is no team that won against a selection of n teams is ^{-n})^{m - n}.

C(m, n)(1 - 2^{-n})^{m - n} < 1.

If this condition holds, there is a non-zero probability that, for every selection of n teams, there is a team that beats them all.

### Reference

- N. Alon, M. Krivelevich,
__Extremal and Probabilistic Combinatorics__, in*The Princeton Companion to Mathematics*, T. Gowers (ed.), Princeton University Press, 2008 - M. Aigner, G. Ziegler,
*Proofs from THE BOOK*, Springer, 2000 - J. Spencer,
__Discrete Probability__, in*Mathematics Unlimited - 2001 and Beyond*, B. Engquist, W. Schmid (eds), Springer, 2001

- What Is Probability?
- Intuitive Probability
- Probability Problems
- Sample Spaces and Random Variables
- Probabilities
- Conditional Probability
- Dependent and Independent Events
- Algebra of Random Variables
- Expectation
- Probability Generating Functions
- Probability of Two Integers Being Coprime
- Random Walks
- Probabilistic Method
- Probability Paradoxes
- Symmetry Principle in Probability
- Non-transitive Dice

|Contact| |Front page| |Contents| |Up|

Copyright © 1996-2018 Alexander Bogomolny

70203935