Метод условных вероятностей при решении задач на теорию вероятностей заключается в преобразовании неконструктивного вероятностного доказательства в эффективный детерминированный алгоритм. 14 Он гарантирует обнаружение объекта с желаемыми свойствами. 1
Основная идея метода — заменить каждый случайный выбор в случайном эксперименте детерминированным выбором таким образом, чтобы сохранить условное математическое ожидание неудачи, обусловленной выбором, меньшим 1. 1
Чтобы применить метод к вероятностному доказательству, случайно выбранный объект в исходном доказательстве должен допускать выбор путём случайных экспериментов, состоящих из последовательности «малых» случайных выборов. 1
Например, метод условных вероятностей заменяет случайный проход от корня к листу в случайном эксперименте детерминированным проходом, в котором каждый шаг выбирается так, чтобы условное математическое ожидание неуспеха, определяемое текущим состоянием, было меньше 1. 1 Тем самым обеспечивается достижение листа с меткой 0, то есть успешного решения. 1