A332870 -id:A332870 - cp's OEIS frontend

A332743 Number of non-unimodal compositions of n covering an initial interval of positive integers.

0, 0, 0, 0, 0, 1, 5, 14, 35, 83, 193, 417, 890, 1847, 3809, 7805, 15833, 32028, 64513, 129671, 260155, 521775, 1044982, 2092692, 4188168, 8381434, 16767650, 33544423, 67098683, 134213022, 268443023, 536912014, 1073846768, 2147720476, 4295440133, 8590833907

Offset: 0

Gus Wiseman, Mar 02 2020

nonn

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.

			The a(5) = 1 through a(7) = 14 compositions:
  (212)  (213)   (1213)
         (312)   (1312)
         (1212)  (2113)
         (2112)  (2122)
         (2121)  (2131)
                 (2212)
                 (3112)
                 (3121)
                 (11212)
                 (12112)
                 (12121)
                 (21112)
                 (21121)
                 (21211)

MathWorld, Unimodal Sequence

Not requiring non-unimodality gives A107429.
Not requiring the covering condition gives A115981.
The complement is counted by A227038.
A version for partitions is A332579, with complement A332577.
Unimodal compositions are A001523.
Non-unimodal permutations are A059204.
Non-unimodal normal sequences are A328509.
Numbers whose unsorted prime signature is not unimodal are A332282.
Cf. A007052, A072704, A072706, A332281, A332284, A332287, A332578, A332639, A332642, A332669, A332834, A332870.

normQ[m_]:=m=={}||Union[m]==Range[Max[m]];
unimodQ[q_]:=Or[Length[q]<=1,If[q[[1]]<=q[[2]],unimodQ[Rest[q]],OrderedQ[Reverse[q]]]];
Table[Length[Select[Join@@Permutations/@IntegerPartitions[n],normQ[#]&&!unimodQ[#]&]],{n,0,10}]

For n > 0, a(n) = A107429(n) - A227038(n).

A072707 Number of non-unimodal compositions of n into distinct terms.

Original entry on oeis.org

0, 0, 0, 0, 0, 0, 2, 2, 4, 6, 24, 26, 46, 64, 100, 224, 276, 416, 590, 850, 1144, 2214, 2644, 3938, 5282, 7504, 9776, 13704, 21984, 27632, 38426, 51562, 69844, 91950, 123504, 159658, 246830, 303400, 416068, 540480, 730268, 933176, 1248110

Offset: 0

Henry Bottomley, Jul 04 2002

Also the number of compositions of n into distinct terms whose negation is not unimodal. - Gus Wiseman, Mar 05 2020

			a(6)=2 since 6 can be written as 2+1+3 or 3+1+2.
From _Gus Wiseman_, Mar 05 2020: (Start)
The a(6) = 2 through a(9) = 6 strict compositions:
  (2,1,3)  (2,1,4)  (2,1,5)  (2,1,6)
  (3,1,2)  (4,1,2)  (3,1,4)  (3,1,5)
                    (4,1,3)  (3,2,4)
                    (5,1,2)  (4,2,3)
                             (5,1,3)
                             (6,1,2)
(End)

Eric Weisstein's World of Mathematics, Unimodal Sequence

The complement is counted by A072706.
The non-strict version is A115981.
The case where the negation is not unimodal either is A332874.
Unimodal compositions are A001523.
Strict compositions are A032020.
Non-unimodal permutations are A059204.
A triangle for strict unimodal compositions is A072705.
Non-unimodal sequences covering an initial interval are A328509.
Numbers whose prime signature is not unimodal are A332282.
Strict partitions whose 0-appended differences are not unimodal are A332286.
Compositions whose negation is unimodal are A332578.
Compositions whose negation is not unimodal are A332669.
Non-unimodal compositions covering an initial interval are A332743.
Cf. A007052, A072704, A107429, A227038, A329398, A332281, A332284, A332285, A332579, A332870.

unimodQ[q_]:=Or[Length[q]<=1,If[q[[1]]<=q[[2]],unimodQ[Rest[q]],OrderedQ[Reverse[q]]]];
Table[Length[Select[Join@@Permutations/@IntegerPartitions[n],UnsameQ@@#&&!unimodQ[#]&]],{n,0,16}] (* Gus Wiseman, Mar 05 2020 *)

a(n) = A032020(n) - A072706(n) = Sum_{k} A059204(k) * A060016(n, k).

A072705 Triangle of number of unimodal compositions of n into exactly k distinct terms.

Original entry on oeis.org

1, 1, 0, 1, 2, 0, 1, 2, 0, 0, 1, 4, 0, 0, 0, 1, 4, 4, 0, 0, 0, 1, 6, 4, 0, 0, 0, 0, 1, 6, 8, 0, 0, 0, 0, 0, 1, 8, 12, 0, 0, 0, 0, 0, 0, 1, 8, 16, 8, 0, 0, 0, 0, 0, 0, 1, 10, 20, 8, 0, 0, 0, 0, 0, 0, 0, 1, 10, 28, 16, 0, 0, 0, 0, 0, 0, 0, 0, 1, 12, 32, 24, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 12, 40, 40, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0

Offset: 1

Henry Bottomley, Jul 04 2002

Also the number of compositions of n into exactly k distinct terms whose negation is unimodal. - Gus Wiseman, Mar 06 2020

			Rows start: 1; 1,0; 1,2,0; 1,2,0,0; 1,4,0,0,0; 1,4,4,0,0,0; 1,6,4,0,0,0,0; 1,6,8,0,0,0,0,0; etc. T(6,3)=4 since 6 can be written as 1+2+3, 1+3+2, 2+3+1, or 3+2+1 but not 2+1+3 or 3+1+2.
From _Gus Wiseman_, Mar 06 2020: (Start)
Triangle begins:
  1
  1  0
  1  2  0
  1  2  0  0
  1  4  0  0  0
  1  4  4  0  0  0
  1  6  4  0  0  0  0
  1  6  8  0  0  0  0  0
  1  8 12  0  0  0  0  0  0
  1  8 16  8  0  0  0  0  0  0
  1 10 20  8  0  0  0  0  0  0  0
  1 10 28 16  0  0  0  0  0  0  0  0
  1 12 32 24  0  0  0  0  0  0  0  0  0
  1 12 40 40  0  0  0  0  0  0  0  0  0  0
  1 14 48 48 16  0  0  0  0  0  0  0  0  0  0
(End)

Alois P. Heinz, Rows n = 1..141, flattened

Cf. A060016, A072574, A072704. Row sums are A072706.
Column k = 2 is A052928.
Unimodal compositions are A001523.
Unimodal sequences covering an initial interval are A007052.
Strict compositions are A032020.
Non-unimodal strict compositions are A072707.
Unimodal compositions covering an initial interval are A227038.
Numbers whose prime signature is not unimodal are A332282.
Cf. A059204, A107429, A115981, A329398, A332285, A332286, A332578, A332870, A332874.

b:= proc(n, i) option remember; `if`(n>i*(i+1)/2, 0, `if`(n=0, 1,
      expand(b(n, i-1) +`if`(i>n, 0, x*b(n-i, i-1)))))
    end:
T:= n-> (p-> seq(coeff(p, x, i)*ceil(2^(i-1)), i=1..n))(b(n$2)):
seq(T(n), n=1..14);  # Alois P. Heinz, Mar 26 2014

b[n_, i_] := b[n, i] = If[n > i*(i+1)/2, 0, If[n == 0, 1, Expand[b[n, i-1] + If[i > n, 0, x*b[n-i, i-1]]]]]; T[n_] := Function[{p}, Table[Coefficient[p, x, i]* Ceiling[2^(i-1)], {i, 1, n}]][b[n, n]]; Table[T[n], {n, 1, 14}] // Flatten (* Jean-François Alcover, Feb 26 2015, after Alois P. Heinz *)
unimodQ[q_]:=Or[Length[q]<=1,If[q[[1]]<=q[[2]],unimodQ[Rest[q]],OrderedQ[Reverse[q]]]];
Table[Length[Select[Join@@Permutations/@IntegerPartitions[n,{k}],UnsameQ@@#&&unimodQ[#]&]],{n,12},{k,n}] (* Gus Wiseman, Mar 06 2020 *)

T(n,k) = 2^(k-1)*A060016(n,k) = T(n-k,k)+2*T(n-k,k-1) [starting with T(0,0)=0, T(0,1)=0 and T(n,1)=1 for n>0].

A332874 Number of strict compositions of n that are neither unimodal nor is their negation.

Original entry on oeis.org

0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 10, 10, 20, 30, 50, 150, 180, 290, 420, 630, 860, 1828, 2168, 3326, 4514, 6530, 8576, 12188, 20096, 25314, 35576, 48062, 65592, 86752, 117222, 152060, 237590, 292346, 402798, 524596, 711270, 910606, 1221204, 1554382, 2044460, 2927124

Offset: 0

Gus Wiseman, Mar 04 2020

nonn

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. It is strict if there are not repeated parts.

			The a(10) = 10 through a(12) = 20 compositions:
  (1,3,2,4)  (1,3,2,5)  (1,3,2,6)
  (1,4,2,3)  (1,5,2,3)  (1,4,2,5)
  (2,1,4,3)  (2,1,5,3)  (1,5,2,4)
  (2,3,1,4)  (2,3,1,5)  (1,6,2,3)
  (2,4,1,3)  (2,5,1,3)  (2,1,5,4)
  (3,1,4,2)  (3,1,5,2)  (2,1,6,3)
  (3,2,4,1)  (3,2,5,1)  (2,3,1,6)
  (3,4,1,2)  (3,5,1,2)  (2,4,1,5)
  (4,1,3,2)  (5,1,3,2)  (2,5,1,4)
  (4,2,3,1)  (5,2,3,1)  (2,6,1,3)
                        (3,1,6,2)
                        (3,2,6,1)
                        (3,6,1,2)
                        (4,1,5,2)
                        (4,2,5,1)
                        (4,5,1,2)
                        (5,1,4,2)
                        (5,2,4,1)
                        (6,1,3,2)
                        (6,2,3,1)

Andrew Howroyd, Table of n, a(n) for n = 0..1000
Eric Weisstein's World of Mathematics, Unimodal Sequence

The non-strict version for unsorted prime signature is A332643.
The non-strict version is A332870.
Unimodal compositions are A001523.
Non-unimodal compositions are A115981.
Non-unimodal normal sequences are A328509.
Compositions whose negation is unimodal are A332578.
Compositions whose negation is not unimodal are A332669.
Compositions with neither weakly increasing nor weakly decreasing run-lengths are A332833.
Compositions with weakly increasing or weakly decreasing run-lengths are A332835.
Cf. A007052, A072704, A227038, A329398, A332281, A332284, A332639, A332640, A332641, A332745, A332746, A332831, A332834.

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

seq(n)={my(p=prod(k=1, n, 1 + y*x^k + O(x*x^n))); Vec(sum(k=4, n, (k! - 2^k + 2)*polcoef(p,k,y)), -(n+1))} \\ Andrew Howroyd, Apr 16 2021

G.f.: Sum_{k>=4} (k! - 2^k + 2) * [y^k](Product_{j>=1} 1 + y*x^j). - Andrew Howroyd, Apr 16 2021

Terms a(21) and beyond from Andrew Howroyd, Apr 16 2021

A332873 Number of non-unimodal, non-co-unimodal sequences of length n covering an initial interval of positive integers.

Original entry on oeis.org

0, 0, 0, 0, 22, 340, 3954, 44716, 536858, 7056252, 102140970, 1622267196, 28090317226, 526854073564, 10641328363722, 230283141084220, 5315654511587498, 130370766447282204, 3385534661270087178, 92801587312544823804, 2677687796221222845802, 81124824998424994578652

Offset: 0

Gus Wiseman, Mar 03 2020

nonn

A sequence of integers is unimodal if it is the concatenation of a weakly increasing and a weakly decreasing sequence. It is co-unimodal if its negative is unimodal.

			The a(4) = 22 sequences:
  (1,2,1,2)  (2,3,1,3)
  (1,2,1,3)  (2,3,1,4)
  (1,3,1,2)  (2,4,1,3)
  (1,3,2,3)  (3,1,2,1)
  (1,3,2,4)  (3,1,3,2)
  (1,4,2,3)  (3,1,4,2)
  (2,1,2,1)  (3,2,3,1)
  (2,1,3,1)  (3,2,4,1)
  (2,1,3,2)  (3,4,1,2)
  (2,1,4,3)  (4,1,3,2)
  (2,3,1,2)  (4,2,3,1)

Andrew Howroyd, Table of n, a(n) for n = 0..200

Not requiring non-co-unimodality gives A328509.
Not requiring non-unimodality also gives A328509.
The version for run-lengths of partitions is A332640.
The version for unsorted prime signature is A332643.
The version for compositions is A332870.
Unimodal compositions are A001523.
Unimodal sequences covering an initial interval are A007052.
Non-unimodal permutations are A059204.
Non-unimodal compositions are A115981.
Unimodal compositions covering an initial interval are A227038.
Numbers whose unsorted prime signature is not unimodal are A332282.
Numbers whose negated prime signature is not unimodal are A332642.
Compositions whose run-lengths are not unimodal are A332727.
Non-unimodal compositions covering an initial interval are A332743.
Cf. A000225, A000670, A060223, A072704, A329398, A332281, A332284, A332577, A332578, A332639, A332672, A332834.

allnorm[n_]:=If[n<=0,{{}},Function[s,Array[Count[s,y_/;y<=#]+1&,n]]/@Subsets[Range[n-1]+1]];
unimodQ[q_]:=Or[Length[q]<=1,If[q[[1]]<=q[[2]],unimodQ[Rest[q]],OrderedQ[Reverse[q]]]];
Table[Length[Select[Union@@Permutations/@allnorm[n],!unimodQ[#]&&!unimodQ[-#]&]],{n,0,5}]

seq(n)=Vec( serlaplace(1/(2-exp(x + O(x*x^n)))) - (1 - 6*x + 12*x^2 - 6*x^3)/((1 - x)*(1 - 2*x)*(1 - 4*x + 2*x^2)), -(n+1)) \\ Andrew Howroyd, Jan 28 2024

a(n) = A000670(n) + A000225(n) - 2*A007052(n-1) for n > 0. - Andrew Howroyd, Jan 28 2024

a(9) onwards from Andrew Howroyd, Jan 28 2024

A375408 Numbers k such that the k-th composition in standard order is not weakly increasing or weakly decreasing.

Original entry on oeis.org

13, 22, 25, 27, 29, 38, 41, 44, 45, 46, 49, 50, 51, 53, 54, 55, 57, 59, 61, 70, 76, 77, 78, 81, 82, 83, 86, 88, 89, 90, 91, 92, 93, 94, 97, 98, 99, 101, 102, 103, 105, 107, 108, 109, 110, 111, 113, 114, 115, 117, 118, 119, 121, 123, 125, 134, 140, 141, 142

Offset: 1

Gus Wiseman, Sep 18 2024

nonn

The k-th composition in standard order (graded reverse-lexicographic, A066099) is obtained by taking the set of positions of 1's in the reversed binary expansion of k, prepending 0, taking first differences, and reversing again. This gives a bijective correspondence between nonnegative integers and integer compositions.

			The terms and corresponding compositions begin:
  13: (1,2,1)
  22: (2,1,2)
  25: (1,3,1)
  27: (1,2,1,1)
  29: (1,1,2,1)
  38: (3,1,2)
  41: (2,3,1)
  44: (2,1,3)
  45: (2,1,2,1)
  46: (2,1,1,2)
  49: (1,4,1)
  50: (1,3,2)
  51: (1,3,1,1)
  53: (1,2,2,1)
  54: (1,2,1,2)
  55: (1,2,1,1,1)
  57: (1,1,3,1)
  59: (1,1,2,1,1)

Eric Weisstein's World of Mathematics, Unimodal Sequence.

The version for run-lengths of compositions is A332833.
Compositions of this type are counted by A332834, complement maybe A329398.
A001523 counts unimodal compositions, ranks too dense.
A011782 counts compositions.
A114994 ranks weakly decreasing compositions, complement A335485.
A115981 counts non-unimodal compositions, ranked by A335373.
A225620 ranks weakly increasing compositions, complement A335486.
A238130, A238279, A333755 count compositions by number of runs.
A332835 counts compositions with weakly incr. or weakly decr. run-lengths.
All of the following pertain to compositions in standard order:
- Length is A000120.
- Sum is A029837(n+1).
- Parts are listed by A066099.
- Number of adjacent equal pairs is A124762, unequal A333382.
- Number of max runs: A124765, A124766, A124767, A124768, A124769, A333381.
- Ranks of strict compositions are A233564.
- Ranks of constant compositions are A272919.
- Anti-runs are ranked by A333489, counted by A003242.
- Run-length transform is A333627, sum A070939.
Cf. A001511, A002051, A065120, A329744, A332745, A332836, A332870, A333218.

stc[n_]:=Differences[Prepend[Join @@ Position[Reverse[IntegerDigits[n,2]],1],0]]//Reverse;
Select[Range[0,100],!LessEqual@@stc[#]&&!GreaterEqual@@stc[#]&]

Intersection of A335485 and A335486.

cp's OEIS Frontend

A332743 Number of non-unimodal compositions of n covering an initial interval of positive integers.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A072707 Number of non-unimodal compositions of n into distinct terms.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A072705 Triangle of number of unimodal compositions of n into exactly k distinct terms.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A332874 Number of strict compositions of n that are neither unimodal nor is their negation.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A332873 Number of non-unimodal, non-co-unimodal sequences of length n covering an initial interval of positive integers.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A375408 Numbers k such that the k-th composition in standard order is not weakly increasing or weakly decreasing.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula