Изменения

Перейти к: навигация, поиск

Числа Стирлинга второго рода

5 байт добавлено, 20:56, 15 января 2015
м
Применения
* Пусть дано множество из <tex>k</tex> [[Вероятностное пространство, элементарный исход, событие|элементарных исходов]] (все исходы равновероятны). Вероятность того, что после <tex>n</tex> проведенных экспериментов каждое событие произойдет хотя бы один раз, может быть найдена по следующей формуле:<tex dpi = "150">P = </tex><tex dpi = "180">\lbrace{n\atop k}\rbrace {k! \over{k^n}}</tex>
* <tex dpi = "180">\lbrace{n+1\atop k+1}\rbrace</tex> — количество наборов из <tex>k</tex> попарно непересекающихся подмножеств исходного множества <tex>\{1,2..., \dots ,n\}</tex>. Например, <tex dpi = "180">\lbrace{4\atop 3}\rbrace</tex><tex dpi = "130"> = 6</tex>, так как всего шесть наборов из двух непересекающихся подмножеств множества <tex>\{1,2,3\}</tex>: <tex>\{(1)(23)\},\{(12)(3)\}, \{(13)(2)\}, \{(1)(2)\}, \{(1)(3)\}, \{(2)(3)\}</tex>.
* Обозначим как <tex dpi = "180">\lbrace{n\atop k}\rbrace^d</tex> количество всех способов разбиений множества <tex>n</tex> натуральных чисел на <tex>k</tex> подмножеств, в которых расстояния между двумя любыми элементами <tex>i</tex>, <tex>j</tex> не меньше <tex>d</tex> <tex>(|i-j| \geqslant d)</tex>. Тогда <tex dpi = "180">\lbrace{n\atop k}\rbrace^d = \lbrace{n-d+1\atop k-d+1}\rbrace,</tex><tex dpi = "150"> n \geqslant k \geqslant d</tex>
* Также числа Стирлинга II рода можно определить как коэффициенты в разложении обычных степеней на факториальные: <tex dpi = "150">x^n = \sum_{k=0}^n \textstyle \lbrace{n\atop k}\rbrace x^{\underline{k}} = \sum_{k=0}^n \textstyle \lbrace{n\atop k}\rbrace (-1)^{n-k} x^{\overline{k}}</tex>, где <tex dpi = "150">x^{\underline{k}} = x\cdot (x-1)\cdot \ldots\cdot (x-k+1)</tex> — убывающий факториал, <tex dpi = "150">x^{\overline{k}} = x\cdot (x+1)\cdot \ldots\cdot (x+k-1)</tex> — возрастающий факториал. См. также [[Числа Стирлинга первого рода#Связь между числами Стирлинга | связь между числами Стирлинга]].
== Переход от базиса обычных степеней к базису убывающих факториальных степеней ==

Навигация