Изменения
Нет описания правки
# Пусть $A$ - множество помеченных комбинаторных объектов, известно количество объектов веса 0 $a_0$, веса 1 $a_1$, ... Выведите рекуррентную формулу $b_{n, k}$ для количества объектов веса $n$ в классе $Set^k(A)$ (не используя рекуррентную формулу для $Seq^k(A)$).
# Обозначим за $Z$ множество помеченных комбинаторных объектов, содержащее только один элемент веса 1. Используя конструкцию $Set^k(Cycle(Z))$ и предыдущее задание, постройте альтернативную рекуррентную формулу для чисел Стирлинга 1 рода.
# Обозначим за $Set^+(A)$ множество непустых множеств, состоящих из элементов класса $A$. Используя конструкцию $Set^k(Set^+(Z))$, постройте альтернативную рекуррентную формулу для чисел Стирлинга 2 рода.
# Используя конструкцию $Set(Set^+(Z))$, постройте рекуррентную формулу для чисел Белла.
# Пусть $k$ - константа. Постройте отображения $\{1..n\} \to \{1..k\}$ как помеченные комбинаторные объекты. Найдите формулу количества объектов веса $n$.
# Сюръекцией называется функция $A \to B$, что для любого $b \in B$ существует $a \in A$, что $f(a) = b$. Пусть $k$ - константа. Постройте сюръекции $\{1..n\} \to \{1..k\}$ как помеченные комбинаторные объекты.
