OFFSET
0,4
COMMENTS
A strict composition of n is a finite sequence of distinct positive integers summing to n.
LINKS
Alois P. Heinz, Table of n, a(n) for n = 0..7725
FORMULA
G.f.: Product_{k >= 1} (1 + A032020(k)*x^k).
EXAMPLE
The a(1) = 1 through a(5) = 11 ways:
(1) (2) (3) (4) (5)
(1,2) (1,3) (1,4)
(2,1) (3,1) (2,3)
(2),(1) (3),(1) (3,2)
(1,2),(1) (4,1)
(2,1),(1) (3),(2)
(4),(1)
(1,2),(2)
(1,3),(1)
(2,1),(2)
(3,1),(1)
MAPLE
b:= proc(n, i, p) option remember; `if`(i*(i+1)/2<n, 0,
`if`(n=0, p!, b(n, i-1, p)+b(n-i, min(n-i, i-1), p+1)))
end:
g:= proc(n, i) option remember; `if`(i*(i+1)/2<n, 0,
`if`(n=0, 1, g(n, i-1)+b(i$2, 0)*g(n-i, min(n-i, i-1))))
end:
a:= n-> g(n$2):
seq(a(n), n=0..38); # Alois P. Heinz, Jul 31 2020
MATHEMATICA
strptn[n_]:=Select[IntegerPartitions[n], UnsameQ@@#&];
Table[Length[Join@@Table[Tuples[Join@@Permutations/@strptn[#]&/@ctn], {ctn, strptn[n]}]], {n, 0, 20}]
(* Second program: *)
b[n_, i_, p_] := b[n, i, p] = If[i(i+1)/2 < n, 0,
If[n == 0, p!, b[n, i-1, p] + b[n-i, Min[n-i, i-1], p+1]]];
g[n_, i_] := g[n, i] = If[i(i+1)/2 < n, 0,
If[n == 0, 1, g[n, i-1] + b[i, i, 0]*g[n-i, Min[n-i, i-1]]]];
a[n_] := g[n, n];
a /@ Range[0, 38] (* Jean-François Alcover, May 20 2021, after Alois P. Heinz *)
CROSSREFS
Multiset partitions of partitions are A001970.
Splittings of partitions are A323583.
Splittings of partitions with distinct sums are A336131.
Partitions:
- Partitions of each part of a partition are A063834.
- Compositions of each part of a partition are A075900.
- Strict partitions of each part of a partition are A270995.
- Strict compositions of each part of a partition are A336141.
Strict partitions:
- Partitions of each part of a strict partition are A271619.
- Compositions of each part of a strict partition are A304961.
- Strict partitions of each part of a strict partition are A279785.
- Strict compositions of each part of a strict partition are A336142.
Compositions:
- Partitions of each part of a composition are A055887.
- Compositions of each part of a composition are A133494.
- Strict partitions of each part of a composition are A304969.
- Strict compositions of each part of a composition are A307068.
Strict compositions:
- Partitions of each part of a strict composition are A336342.
- Compositions of each part of a strict composition are A336127.
- Strict partitions of each part of a strict composition are A336343.
- Strict compositions of each part of a strict composition are A336139.
KEYWORD
nonn
AUTHOR
Gus Wiseman, Jul 18 2020
STATUS
approved