Изменения

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

Числа Белла

625 байт убрано, 18:11, 28 сентября 2020
что значит n-я строфа ?
{{Определение
|definition = В комбинаторной математике '''числа Белла''' (''англ. Bell's numbers'') определяют количество возможных способов разбиения множества<ref>[[wikipedia:Partition of a setКомбинаторные объекты#Разбиение на подмножества|Разбиение разбиения множества]]</ref> из <tex>n</tex> элементов на подмножества.
}}
Числа Белла начинаются с <tex dpi="130">B_0=B_1=1</tex> и образуют последовательность:
:<tex dpi="130">1, 1, 2, 5, 15, 52, 203, 877, 4140, 21147, 115975, 678570, 4213597, 27644437,
\newline{} 190899322, 1382958545, 10480142147, 82864869804, 682076806159, 5832742205057\dots
</tex>
<tex dpi="130">n</tex>-й элемент множества чисел Белла, <tex dpi="130">B_n</tex>, определяет количество различных способов разбиения множества, то есть количество [[Отношение эквивалентности|отношений эквивалентности]] в нем.
==Подсчет==
Разбиения множеств могут быть расположены частично-упорядоченном виде<ref>[[Частичный порядок]]</ref>. Каждое подмножество размера <tex dpi="130">n</tex> имеет одно из подмножеств размера <tex dpi="130">n-1</tex>.
[[File:XxxCircles.png|400px|thumb|upright|52 разбиения множества из 5 элементов]]
[[File:Order.png|400px|border|Разбиения множеств могут быть расположены частично-упорядоченном виде. Каждое подмножество длины n использует одно из подмножеств длины <tex dpi="130">n-1</tex>.]]
Разбиение множества <tex dpi="130">S</tex> определяется как совокупность '''попарно непересекающихся подмножеств множества''' <tex dpi="130">S</tex>. Например, <tex>B_3 = 5</tex>, потому что множество, состоящее их <tex>3</tex> элементов <tex> \{ a, b , c \} </tex> может быть разделено <tex>5</tex> различными способами:
==Схемы рифмовки==
Числа Белла показывают ''количество схем рифмовки на <tex dpi="130">n</tex>-ой строфыстроках''. Схема рифмы описывает, какие строки рифмуются друг с другом, и поэтому может быть истолковано как разбиение множества отношение экивалентности на множестве строк в подмножества рифм. Таким образом, <tex>15</tex> возможных четверостиший схемами рифмовки являются:<tex dpi="130"> \newline{} AAAA, AAAB, AABA, AABB, AABC, ABAA, ABAB, ABAC,
ABBA, ABBB, ABBC, ABCA, ABCB, ABCC, ABCD</tex>.
:<tex dpi = "150">B_{n+h} = \frac{(n+h)!}{W(n)^{n+h}} \times \frac{\exp(e^{W(n)} - 1)}{(2\pi B)^{1/2}} \times \left( 1 + \frac{P_0 + hP_1 + h^2P_2}{e^{W(n)}} + \frac{Q_0 + hQ_1 + h^2Q_2 + h^3Q_3 + h^4Q_4}{e^{2W(n)}} + O(e^{-3W(n)}) \right)</tex>
Асимптотическое выражение
:<tex dpi = "150">$$ \frac{\ln B_n}{n} = \ln n - \ln \ln n - 1 + \frac{\ln \ln n}{\ln n} + \frac{1}{\ln n} + \frac{1}{2}\left(\frac{\ln \ln n}{\ln n}\right)^2 + O\left(\frac{\ln \ln n}{(\ln n)^2} \right) $$ \newline {} \qquad \text{as }n\to\infty
</tex>
Было установлено '''де Брайном'''<ref>de Bruijn, N.G. (1981). Asymptotic methods in analysis (3rd ed.). Dover. p. 108.</ref> в <tex>1981</tex> году.
Числа Белла могут быть с легкостью '''вычислены''' с помощью '''треугольника Белла''', который также называют '''массивом Айткена''' или '''треугольником Пирса'''.
# Начнем с единицы. Помещаем ее в верхнюю строку. (<tex> x_{0,1} = 1 </tex>)
# Каждая новая строка должна начинаться с крайнего правого элемента прошлой строки. (<tex>x_{i,1} \leftarrow x_{i-1, i-1}</tex>.)# Определим остальные элементы строки Заполняем строчку <tex>i</tex> по формуле <tex>( x_{i,j} \leftarrow x_{i,j-1} + x_{i-1,j-1} )</tex> # Повторяем пункт , начиная с <tex>3j = 2 </tex>, пока <tex> j = \leqslant i + 1 </tex>).
# Крайнее левое число данной строки является числом Белла для этой строки. (<tex>B_i \leftarrow x_{i,1}</tex>)
Первые пять строк треугольника, построенного по этим правилам:
Анонимный участник

Навигация