

A332726


Number of compositions of n whose runlengths are unimodal.


18



1, 1, 2, 4, 8, 16, 31, 61, 120, 228, 438, 836, 1580, 2976, 5596, 10440, 19444, 36099, 66784, 123215, 226846, 416502, 763255, 1395952, 2548444, 4644578, 8452200, 15358445, 27871024, 50514295, 91446810, 165365589, 298730375, 539127705, 972099072, 1751284617, 3152475368
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

0,3


COMMENTS

A sequence of integers is unimodal if it is the concatenation of a weakly increasing and a weakly decreasing sequence.
A composition of n is a finite sequence of positive integers summing to n.


LINKS

Andrew Howroyd, Table of n, a(n) for n = 0..500
MathWorld, Unimodal Sequence


FORMULA

a(n) + A332727(n) = 2^(n  1).


EXAMPLE

The only composition of 6 whose runlengths are not unimodal is (1,1,2,1,1).


MATHEMATICA

unimodQ[q_]:=Or[Length[q]<=1, If[q[[1]]<=q[[2]], unimodQ[Rest[q]], OrderedQ[Reverse[q]]]]
Table[Length[Select[Join@@Permutations/@IntegerPartitions[n], unimodQ[Length/@Split[#]]&]], {n, 0, 10}]


PROG

(PARI)
step(M, m)={my(n=matsize(M)[1]); for(p=m+1, n, my(v=vector((p1)\m, i, M[pi*m, i]), s=vecsum(v)); M[p, ]+=vector(#M, i, sif(i<=#v, v[i]))); M}
desc(M, m)={my(n=matsize(M)[1]); while(m>1, m; M=step(M, m)); vector(n, i, vecsum(M[i, ]))/(#M1)}
seq(n)={my(M=matrix(n+1, n+1, i, j, i==1), S=M[, 1]~); for(m=1, n, my(D=M); M=step(M, m); D=(MD)[m+1..n+1, 1..nm+2]; S+=concat(vector(m), desc(D, m))); S} \\ Andrew Howroyd, Dec 31 2020


CROSSREFS

Looking at the composition itself (not runlengths) gives A001523.
The case of partitions is A332280, with complement counted by A332281.
The complement is counted by A332727.
Unimodal compositions are A001523.
Unimodal normal sequences appear to be A007052.
Nonunimodal compositions are A115981.
Compositions with normal runlengths are A329766.
Numbers whose prime signature is not unimodal are A332282.
Partitions whose 0appended first differences are unimodal are A332283, with complement A332284, with Heinz numbers A332287.
Compositions whose negated runlengths are unimodal are A332578.
Compositions whose negated runlengths are not unimodal are A332669.
Compositions whose runlengths are weakly increasing are A332836.
Cf. A072706, A100883, A181819, A227038, A328509, A329744, A329746, A332642, A332670, A332741, A332833, A332835.
Sequence in context: A189076 A192656 A128761 * A239557 A001591 A194628
Adjacent sequences: A332723 A332724 A332725 * A332727 A332728 A332729


KEYWORD

nonn


AUTHOR

Gus Wiseman, Feb 29 2020


EXTENSIONS

Terms a(21) and beyond from Andrew Howroyd, Dec 31 2020


STATUS

approved



