login
Sum over all partitions of [n] of the number of blocks containing their own index.
4

%I #31 Jan 11 2022 19:18:39

%S 0,1,3,9,30,112,464,2109,10411,55351,314772,1903878,12189432,82274309,

%T 583389847,4332513061,33607736990,271657081128,2283282938288,

%U 19916981288017,179994994948647,1682624910161483,16247280435775188,161833756265886822,1660836884761337248

%N Sum over all partitions of [n] of the number of blocks containing their own index.

%C Also the number of partitions of [n] where the first k elements are marked (1 <= k <= n) and at least k blocks contain their own index: a(3) = 9 = 5 + 3 + 1: 1'23, 1'2|3, 1'3|2, 1'|23, 1'|2|3, 1'3|2', 1'|2'3, 1'|2'|3, 1'|2'|3'.

%H Alois P. Heinz, <a href="/A350589/b350589.txt">Table of n, a(n) for n = 0..575</a>

%H Wikipedia, <a href="https://en.wikipedia.org/wiki/Partition_of_a_set">Partition of a set</a>

%F a(n) = Sum_{k=1..n} A108087(n-k,k).

%F a(n) = Sum_{k=1..n} k * A259691(n-1,k).

%F a(n) = Sum_{k=1..n} A259691(n,k)/k.

%F a(n) = A347420(n) - A000110(n).

%F a(n) = 1 + A005490(n) - A000110(n).

%F a(n) mod 2 = A088911(n+5).

%e a(3) = 9 = 1 + 1 + 2 + 2 + 3: 123, 12|3, 13|2, 1|23, 1|2|3.

%p b:= proc(n, m) option remember;

%p `if`(n=0, 1, b(n-1, m+1)+m*b(n-1, m))

%p end:

%p a:= n-> add(b(n-i, i), i=1..n):

%p seq(a(n), n=0..25);

%t b[n_, m_] := b[n, m] = If[n == 0, 1, b[n - 1, m + 1] + m*b[n - 1, m]];

%t a[n_] := Sum[b[n - i, i], {i, 1, n}];

%t Table[a[n], {n, 0, 25}] (* _Jean-François Alcover_, Jan 11 2022, after _Alois P. Heinz_ *)

%Y Cf. A000110, A005490, A088911, A108087, A259691, A347420, A350648.

%K nonn

%O 0,3

%A _Alois P. Heinz_, Jan 07 2022