дискретная-математика - Высоковероятное множество

Посмотрите вот этот текст -- там разъяснено это понятие.

Если совсем коротко, то имеется случайная величина, принимающая конечное число значений с заданными вероятностями. Делается $%n$% испытаний, и мы смотрим, сколько раз эта величина приняла каждое из значений. Если $%n$% достаточно велико, то частота, с которой встречается каждое из значений, должна быть близка к этой вероятности. Например, если мы кидаем игральный кубик много раз и записываем результаты бросаний, то каждое из чисел от $%1$% до $%6$% должно встречаться примерно $%n/6$% раз. При этом мы допускаем, что в каком-то диапазоне может наблюдаться отклонение. Оно может задаваться по-разному, но принцип именно такой. Скажем, если я бросил монетку $%100$% раз, то она примерно $%50$% раз должна упасть орлом, и примерно $%50$% решкой. Но это не точно, и мы допускаем отклонение, скажем, порядка $%10$% или $%15$%. Если орёл выпадет $%30$% раз, а решка $%70$%, то такое, конечно, может быть, но более вероятно в этом случае, что монетка "нечестная" или рулетка "подкрученная".

Иными словами, выбирается такое множество исходов, вероятность наступления которых близка к нулю при больших значениях $%n$%. Все остальные исходы объединяются в это самое "высоковероятное" множество. Смысл в том, что именно эти исходы, скорее всего, будут иметь место почти всегда, а остальными можно пренебречь. Скажем, для монетки, бросаемой $%100$% раз, мы берём такое множество последовательностей длиной $%100$% из символов О, Р, куда каждый символ входит около $%50$% раз, плюс-минус допустимое отклонение. Это и будет то, о чём Вы спрашиваете.

Детали насчёт принципа выбора допустимого отклонения могут меняться в зависимости от ситуации, но идея примерно такая.