Не очень понимаю смысла вопроса.
Мы имеем простую схему Бернулли. Испытание - выбор одной из

частиц. Успехом назовем выбор частицы из первого ящика, неудачей - из второго. Вероятность успеха

. Так как все восстанавливается, то испытания независимы и вероятность успеха все время одна и та же.
Проводим

испытаний. Вопрос заключается в вероятности того, что будет ровно

успехов. Формула известна:
Сложность вычисления не зависит от

, а зависит только от

.
Если

невелико, то несложно вычислить непосредственно по приведенной формуле. Если

велико, то можно пользоваться известными приближениями (предельными теоремами). Более точно, если число

невелико или, наоборот, почти

, то работает теорема Пуассона, а если отношение

отделено и от 0, и от 1, то работает теорема Муавра-Лапласа. По ним можно получать более-менее точные численные значения.
В чем заключается вопрос?