OFFSET
0,8
COMMENTS
First differs from the non-dashed version A335514 at a(9) = 41, A335514(9) = 42, due to the composition (3,1,3,2).
Also the number of integer compositions of n whose leaders of weakly decreasing runs are not weakly increasing. For example, the composition q = (1,1,2,1,2,2,1,3) has maximal weakly decreasing runs ((1,1),(2,1),(2,2,1),(3)), with leaders (1,2,2,3), which are weakly increasing, so q is not counted under a(13); also q does not match 3-12. On the other hand, the reverse is (3,1,2,2,1,2,1,1), with maximal weakly decreasing runs ((3,1),(2,2,1),(2,1,1)), with leaders (3,2,2), which are not weakly increasing, so it is counted under a(13); meanwhile it matches 3-12, as required.
LINKS
FORMULA
a(n>0) = 2^(n-1) - A188900(n).
EXAMPLE
The a(0) = 0 through a(8) = 14 compositions:
. . . . . . (312) (412) (413)
(1312) (512)
(3112) (1412)
(3121) (2312)
(3122)
(3212)
(4112)
(4121)
(11312)
(13112)
(13121)
(31112)
(31121)
(31211)
MATHEMATICA
Table[Length[Select[Join@@Permutations/@IntegerPartitions[n], !LessEqual@@First/@Split[#, GreaterEqual]&]], {n, 0, 15}]
- or -
Table[Length[Select[Join@@Permutations/@IntegerPartitions[n], MatchQ[#, {___, z_, ___, x_, y_, ___}/; x<y<z]&]], {n, 0, 15}] (*3-12*)
CROSSREFS
KEYWORD
nonn
AUTHOR
Gus Wiseman, Aug 22 2024
STATUS
approved