Method of conditional probabilities

In mathematics and computer science, the method of conditional probabilities is a systematic method for converting non-constructive probabilistic existence proofs into efficient deterministic algorithms that explicitly construct the desired object. Often, the probabilistic method is used to prove the existence of mathematical objects with some desired combinatorial properties.