Один из способов получить дескриптор функции разделения заключается в
промежуточная функция p (k, n), которая представляет собой число
разбиения n, использующие только натуральные числа, по крайней мере такие же большие, как k. За
любое заданное значение k, разделы, подсчитанные p (k, n), вписываются точно
одна из следующих категорий:
smallest addend is k
smallest addend is strictly greater than k.
Количество разделов, удовлетворяющих первому условию, равно p (k, n - k).
Чтобы увидеть это, представьте список всех разделов числа n - k
на числа размером не менее k, затем представьте, что вы добавляете "+ k" к каждому
раздел в списке. Теперь, что это за список? Как примечание стороны, один
можно использовать это для определения своего рода рекурсивного отношения для раздела
функция в терминах промежуточной функции, а именно
1+ sum{k=1 to floor (1/2)n} p(k,n-k) = p(n),
Количество разделов, удовлетворяющих второму условию, равно p (k + 1, n)
так как разбиение на части по крайней мере к, который не содержит частей
ровно k должно иметь все части не менее k + 1.
Поскольку эти два условия являются взаимоисключающими, число
разделение, удовлетворяющее какому-либо условию: p (k + 1, n) + p (k, n - k).
рекурсивно определенная функция, таким образом:
p(k, n) = 0 if k > n
p(k, n) = 1 if k = n
p(k, n) = p(k+1, n) + p(k, n − k) otherwise.