|
%I #15 Jan 21 2024 11:06:46
%S 0,0,0,0,1,3,11,28,71,165,372,807,1725,3611,7481,15345,31274,63392,
%T 128040,257865,518318,1040277,2085714,4178596,8367205,16748151,
%U 33515214,67056139,134147231,268341515,536746350,1073577185,2147266984,4294683056,8589563136,17179385180
%N Number of compositions of n whose negation is not unimodal.
%C A sequence of integers is unimodal if it is the concatenation of a weakly increasing and a weakly decreasing sequence.
%C A composition of n is a finite sequence of positive integers summing to n.
%H Andrew Howroyd, <a href="/A332669/b332669.txt">Table of n, a(n) for n = 0..1000</a>
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/UnimodalSequence.html">Unimodal Sequence</a>.
%F a(n) + A332578(n) = 2^(n - 1) for n > 0.
%e The a(4) = 1 through a(6) = 11 compositions:
%e (121) (131) (132)
%e (1121) (141)
%e (1211) (231)
%e (1131)
%e (1212)
%e (1221)
%e (1311)
%e (2121)
%e (11121)
%e (11211)
%e (12111)
%t unimodQ[q_]:=Or[Length[q]<=1,If[q[[1]]<=q[[2]],unimodQ[Rest[q]],OrderedQ[Reverse[q]]]];
%t Table[Length[Select[Join@@Permutations/@IntegerPartitions[n],!unimodQ[-#]&]],{n,0,10}]
%Y The strict case is A072707.
%Y The complement is counted by A332578.
%Y The version for run-lengths of partitions is A332639.
%Y The version for unsorted prime signature is A332642.
%Y The version for 0-appended first-differences of partitions is A332744.
%Y The case that is not unimodal either is A332870.
%Y Unimodal compositions are A001523.
%Y Non-unimodal permutations are A059204.
%Y Non-unimodal compositions are A115981.
%Y Non-unimodal normal sequences are A328509.
%Y Numbers whose unsorted prime signature is not unimodal are A332282.
%Y A triangle for compositions with unimodal negation is A332670.
%Y Cf. A007052, A072706, A227038, A329398, A332281, A332284, A332638, A332728, A332742, A332832.
%K nonn
%O 0,6
%A _Gus Wiseman_, Feb 28 2020
%E Terms a(21) and beyond from _Andrew Howroyd_, Mar 01 2020
| 