Числа Деланнуа

Материал из testwiki
Перейти к навигации Перейти к поиску

Числа Деланнуа[1] (или числа Деланоя[2]; Шаблон:Lang-fr) D(a, b) в комбинаторике описывают количества путей из левого нижнего угла прямоугольной решётки (a, b) в противоположный по диагонали угол, используя только ходы вверх, вправо или вверх-вправо («ходом короля»). В a-мерном клеточном автомате D(a,b) задают количество клеток в окрестности фон Неймана радиуса b, Шаблон:OEIS; количество клеток на поверхности окрестности задет Шаблон:OEIS. Названы в честь французского математика Шаблон:Нп3[3].

Некоторые значения

Для квадратной сетки n × n первые числа Деланнуа (начиная с n=0) Шаблон:OEIS:

1, 3, 13, 63, 321, 1683, 8989, 48639, 265729, …

Например, D(3,3)=63, так как существует 63 различных пути Деланнуа в квадрате 3 × 3:

Пути, которые не поднимаются выше диагонали, описывают числа Шрёдера.

Дополнительные значения приведены в таблице:

k\n 0 1 2 3 4 5 6 7 8 9 10
0 1 1 1 1 1 1 1 1 1 1
1 1 3 5 7 9 11 13 15 17 19 21
2 1 5 13 25 41 61 85 113 145 181 221

Свойства

Числа Деланнуа удовлетворяют рекуррентному соотношению:  D(m,n)=D(m1,n)+D(m1,n1)+D(m,n1), в качестве начальных условий можно принять D(0,k)=D(k,0)=1.

Это уравнение аналогично треугольнику Паскаля для биномиальных коэффициентов C(m,n):

 C(m,n)=C(m1,n)+C(n1,m)

которое относится к количеству путей между теми же вершинами, но при условии, что допустимы только ходы по сторонам клеток.

Если учесть места, в которых пути пересекают диагональ, то можно вывести связь между числами Деланнуа и биномиальными коэффициентами[4]:

 D(m,n)=k=0mC(m,k)C(n+mk,m)=k=0m2kC(m,k)C(n,k)

Кроме того

D(m,n)=k=0nA(m,k),

где A(m,k) задано Шаблон:OEIS.

Производящая функция для чисел:

p,q=0D(p,q)xpyq=11xyxy

Когда рассматриваются пути в квадрате, числа Деланнуа равны:

D(n)=D(n,n)=Pn(3), где Pn(x) — полином Лежандра.

Другие свойства для них:

D(n)=3(2n1)D(n1)(n1)D(n2)n
n=0D(n)xn=116x+x2=1+3x+13x2+63x3+321x4+

См. также

Примечания

Шаблон:Примечания

Ссылки