A325535 -id:A325535 - cp's OEIS frontend

A345169 Numbers k such that the k-th composition in standard order is a non-alternating anti-run.

37, 52, 69, 101, 104, 105, 133, 137, 150, 165, 180, 197, 200, 208, 209, 210, 261, 265, 274, 278, 300, 301, 308, 325, 328, 357, 360, 361, 389, 393, 400, 401, 406, 416, 417, 418, 421, 422, 436, 517, 521, 529, 530, 534, 549, 550, 556, 557, 564, 581, 600, 601, 613

Offset: 1

Gus Wiseman, Jun 15 2021

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.
A sequence is alternating if it is alternately strictly increasing and strictly decreasing, starting with either. For example, the partition (3,2,2,2,1) has no alternating permutations, even though it does have the anti-run permutations (2,3,2,1,2) and (2,1,2,3,2).
An anti-run (separation or Carlitz composition) is a sequence with no adjacent equal parts.

			The sequence of terms together with their binary indices begins:
     37: (3,2,1)      210: (1,2,3,2)      400: (1,3,5)
     52: (1,2,3)      261: (6,2,1)        401: (1,3,4,1)
     69: (4,2,1)      265: (5,3,1)        406: (1,3,2,1,2)
    101: (1,3,2,1)    274: (4,3,2)        416: (1,2,6)
    104: (1,2,4)      278: (4,2,1,2)      417: (1,2,5,1)
    105: (1,2,3,1)    300: (3,2,1,3)      418: (1,2,4,2)
    133: (5,2,1)      301: (3,2,1,2,1)    421: (1,2,3,2,1)
    137: (4,3,1)      308: (3,1,2,3)      422: (1,2,3,1,2)
    150: (3,2,1,2)    325: (2,4,2,1)      436: (1,2,1,2,3)
    165: (2,3,2,1)    328: (2,3,4)        517: (7,2,1)
    180: (2,1,2,3)    357: (2,1,3,2,1)    521: (6,3,1)
    197: (1,4,2,1)    360: (2,1,2,4)      529: (5,4,1)
    200: (1,3,4)      361: (2,1,2,3,1)    530: (5,3,2)
    208: (1,2,5)      389: (1,5,2,1)      534: (5,2,1,2)
    209: (1,2,4,1)    393: (1,4,3,1)      549: (4,3,2,1)

Wikipedia, Alternating permutation

A version counting partitions is A345166, ranked by A345173.
These compositions are counted by A345195.
A001250 counts alternating permutations, complement A348615.
A003242 counts anti-run compositions.
A005649 counts anti-run patterns.
A025047 counts alternating or wiggly compositions, also A025048, A025049.
A325534 counts separable partitions, ranked by A335433.
A325535 counts inseparable partitions, ranked by A335448.
A345164 counts alternating permutations of prime indices.
A345165 counts partitions w/o an alternating permutation, ranked by A345171.
A345170 counts partitions w/ an alternating permutation, ranked by A345172.
A345192 counts non-alternating compositions.
A345194 counts alternating patterns (with twins: A344605).
Statistics of standard compositions:
- Length is A000120.
- Constant runs are A124767.
- Heinz number is A333219.
- Anti-runs are A333381.
- Runs-resistance is A333628.
- Number of distinct parts is A334028.
- Non-anti-runs are A348612.
Classes of standard compositions:
- Weakly decreasing compositions (partitions) are A114994.
- Weakly increasing compositions (multisets) are A225620.
- Strict compositions are A233564.
- Constant compositions are A272919.
- Strictly increasing compositions (sets) are A333255.
- Strictly decreasing compositions (strict partitions) are A333256.
- Anti-runs are A333489.
- Alternating compositions are A345167.
- Non-Alternating compositions are A345168.
Cf. A001222, A008965, A238279, A344614, A344615, A344652, A344653, A344654, A345162, A345163, A345193, A348609, A348613.

stc[n_]:=Differences[Prepend[Join@@Position[ Reverse[IntegerDigits[n,2]],1],0]]//Reverse;
wigQ[y_]:=Or[Length[y]==0,Length[Split[y]]== Length[y]&&Length[Split[Sign[Differences[y]]]]==Length[y]-1];
sepQ[y_]:=!MatchQ[y,{_,x_,x_,_}];
Select[Range[0,1000],sepQ[stc[#]]&&!wigQ[stc[#]]&]

Intersection of A345168 (non-alternating) and A333489 (anti-run).

A346698 Sum of the even-indexed parts (even bisection) of the multiset of prime indices of n.

Original entry on oeis.org

0, 0, 0, 1, 0, 2, 0, 1, 2, 3, 0, 1, 0, 4, 3, 2, 0, 2, 0, 1, 4, 5, 0, 3, 3, 6, 2, 1, 0, 2, 0, 2, 5, 7, 4, 3, 0, 8, 6, 4, 0, 2, 0, 1, 2, 9, 0, 2, 4, 3, 7, 1, 0, 4, 5, 5, 8, 10, 0, 4, 0, 11, 2, 3, 6, 2, 0, 1, 9, 3, 0, 3, 0, 12, 3, 1, 5, 2, 0, 2, 4, 13, 0, 5, 7, 14, 10, 6, 0, 5, 6, 1, 11, 15, 8, 4, 0, 4, 2, 4, 0, 2, 0, 7, 3

Offset: 1

Gus Wiseman, Aug 01 2021

nonn

A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798.

			The prime indices of 1100 are {1,1,3,3,5}, so a(1100) = 1 + 3 = 4.
The prime indices of 2100 are {1,1,2,3,3,4}, so a(2100) = 1 + 3 + 4 = 8.

Antti Karttunen, Table of n, a(n) for n = 1..20000

Subtracting from the odd version gives A316524 (reverse: A344616).
The version for standard compositions is A346633 (odd: A209281(n+1)).
The odd version is A346697.
The even reverse version is A346699.
The reverse version is A346700.
A000120 and A080791 count binary digits 1 and 0, with difference A145037.
A001414 adds up prime factors, row-sums of A027746.
A029837 adds up parts of standard compositions (alternating: A124754).
A056239 adds up prime indices, row-sums of A112798.
A103919 counts partitions by sum and alternating sum (reverse: A344612).
A325534 counts separable partitions, ranked by A335433.
A325535 counts inseparable partitions, ranked by A335448.
A344606 counts alternating permutations of prime indices.
Cf. A000070, A000097, A025047, A035363, A120452, A344617, A344653, A344654, A345957, A345958.

primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
Table[Total[Last/@Partition[Append[primeMS[n],0],2]],{n,100}]

A346698(n) = if(1==n,0,my(f=factor(n),s=0,p=0); for(k=1,#f~,while(f[k,2], s += (p%2)*primepi(f[k,1]); f[k,2]--; p++)); (s)); \\ Antti Karttunen, Nov 30 2021

a(n) = A056239(n) - A346697(n).
a(n) = A346697(n) - A316524(n).
a(n even omega) = A346699(n).
a(n odd omega) = A346700(n).
A344616(n) = A346699(n) - A346700(n).

Data section extended up to 105 terms by Antti Karttunen, Nov 30 2021

A348380 Number of factorizations of n without an alternating permutation. Includes all twins (x*x).

Original entry on oeis.org

0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 2, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 2, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 2, 2, 0, 0, 0, 0, 0, 0

Offset: 1

Gus Wiseman, Oct 28 2021

nonn

First differs from A333487 at a(216) = 4, A333487(216) = 3.
A factorization of n is a weakly increasing sequence of positive integers > 1 with product n.
A sequence is alternating if it is alternately strictly increasing and strictly decreasing, starting with either. For example, the partition (3,2,2,2,1) has no alternating permutations, even though it does have the anti-run permutations (2,3,2,1,2) and (2,1,2,3,2). Alternating permutations of multisets are a generalization of alternating or up-down permutations of {1..n}.

			The a(n) factorizations for n = 96, 144, 192, 384:
  (2*2*2*12)     (12*12)        (3*4*4*4)        (4*4*4*6)
  (2*2*2*2*6)    (2*2*2*18)     (2*2*2*24)       (2*2*2*48)
  (2*2*2*2*2*3)  (2*2*2*2*9)    (2*2*2*2*12)     (2*2*2*2*24)
                 (2*2*2*2*3*3)  (2*2*2*2*2*6)    (2*2*2*2*3*8)
                                (2*2*2*2*3*4)    (2*2*2*2*4*6)
                                (2*2*2*2*2*2*3)  (2*2*2*2*2*12)
                                                 (2*2*2*2*2*2*6)
                                                 (2*2*2*2*2*3*4)
                                                 (2*2*2*2*2*2*2*3)

Wikipedia, Alternating permutation

The inseparable case is A333487, complement A335434, without twins A348381.
Non-twin partitions of this type are counted by A344654, ranked by A344653.
Twins and partitions not of this type are counted by A344740, ranked by A344742.
Partitions of this type are counted by A345165, ranked by A345171.
Partitions not of this type are counted by A345170, ranked by A345172.
The case without twins is A347706.
The complement is counted by A348379, with twins A347050.
Numbers with a factorization of this type are A348609.
An ordered version is A348613, complement A348610.
A001055 counts factorizations, strict A045778, ordered A074206.
A001250 counts alternating permutations.
A025047 counts alternating or wiggly compositions, ranked by A345167.
A325535 counts inseparable partitions, ranked by A335448.
A339846 counts even-length factorizations.
A339890 counts odd-length factorizations.
Cf. A038548, A049774, A119620, A289553, A325534, A336107, A344614, A345192, A347437, A347438, A347439, A347442, A347458, A348383, A348611.

facs[n_]:=If[n<=1,{{}},Join@@Table[Map[Prepend[#,d]&,Select[facs[n/d],Min@@#>=d&]],{d,Rest[Divisors[n]]}]];
wigQ[y_]:=Or[Length[y]==0,Length[Split[y]]==Length[y]&&Length[Split[Sign[Differences[y]]]]==Length[y]-1];
Table[Length[Select[facs[n],Select[Permutations[#],wigQ]=={}&]],{n,100}]

a(2^n) = A345165(n).

A336102 Number of inseparable multisets of size n covering an initial interval of positive integers.

Original entry on oeis.org

0, 0, 1, 1, 3, 3, 8, 8, 20, 20, 48, 48, 112, 112, 256, 256, 576, 576, 1280, 1280, 2816, 2816, 6144, 6144, 13312, 13312, 28672, 28672, 61440, 61440, 131072, 131072, 278528, 278528, 589824, 589824, 1245184, 1245184, 2621440, 2621440, 5505024, 5505024, 11534336

Offset: 0

Gus Wiseman, Jul 08 2020

nonn

A multiset is separable if it has a permutation that is an anti-run, meaning there are no adjacent equal parts.
Alternatively, a multiset is separable if its greatest multiplicity is greater than the sum of its remaining multiplicities plus one.
Also the number of compositions of n whose greatest part is greater than the sum of its remaining parts plus one. For example, the a(2) = 1 through a(7) = 8 compositions are:
  (2)  (3)  (4)    (5)    (6)      (7)
            (1,3)  (1,4)  (1,5)    (1,6)
            (3,1)  (4,1)  (2,4)    (2,5)
                          (4,2)    (5,2)
                          (5,1)    (6,1)
                          (1,1,4)  (1,1,5)
                          (1,4,1)  (1,5,1)
                          (4,1,1)  (5,1,1)

			The a(2) = 1 through a(7) = 8 multisets:
  {11}  {111}  {1111}  {11111}  {111111}  {1111111}
               {1112}  {11112}  {111112}  {1111112}
               {1222}  {12222}  {111122}  {1111122}
                                {111123}  {1111123}
                                {112222}  {1122222}
                                {122222}  {1222222}
                                {122223}  {1222223}
                                {123333}  {1233333}

Michael De Vlieger, Table of n, a(n) for n = 0..6625
Index entries for linear recurrences with constant coefficients, signature (0,4,0,-4).

The strong (weakly decreasing multiplicities) case is A025065.
The bisection is A049610.
The separable version is A336103.
Sequences covering an initial interval are A000670.
Anti-run compositions are A003242.
Anti-run patterns are A005649.
Separable partitions are A325534.
Inseparable partitions are A325535.
Inseparable factorizations are A333487.
Anti-run compositions are ranked by A333489.
Heinz numbers of inseparable partitions are A335448.
Cf. A001792, A019472, A052841, A106351, A124767, A269134, A292884, A335433, A335126, A335452, A335548.

Table[Length[Join@@Permutations/@Select[IntegerPartitions[n],With[{mx=Max@@#},mx>1+Total[DeleteCases[#,mx,{1},1]]]&]],{n,0,15}]
(* Second program: *)
CoefficientList[Series[x^2*(1 - x) (x + 1)^2/(2 x^2 - 1)^2, {x, 0, 43}], x] (* Michael De Vlieger, Apr 07 2021 *)

a(2*n) = a(2*n + 1) = A049610(n + 1).
a(n) = 2^(n-1) - A336103(n).
A001792 repeated for n > 1. David A. Corneth, Jul 09 2020
From Chai Wah Wu, Apr 07 2021: (Start)
a(n) = 4*a(n-2) - 4*a(n-4) for n > 5.
G.f.: x^2*(1 - x)*(x + 1)^2/(2*x^2 - 1)^2. (End)

A336106 Number of integer partitions of n whose greatest part is at most one more than the sum of the other parts.

Original entry on oeis.org

1, 1, 1, 2, 3, 5, 7, 11, 15, 23, 30, 44, 58, 82, 105, 146, 186, 252, 318, 423, 530, 695, 863, 1116, 1380, 1763, 2164, 2738, 3345, 4192, 5096, 6334, 7665, 9459, 11395, 13968, 16765, 20425, 24418, 29588, 35251, 42496, 50460, 60547, 71669, 85628

Offset: 0

Gus Wiseman, Jul 09 2020

nonn

Also the number of separable strong multisets of length n covering an initial interval of positive integers. A multiset is separable if it has a permutation that is an anti-run, meaning there are no adjacent equal parts.

			The a(1) = 1 through a(8) = 15 partitions:
  (1)  (11)  (21)   (22)    (32)     (33)      (43)       (44)
             (111)  (211)   (221)    (222)     (322)      (332)
                    (1111)  (311)    (321)     (331)      (422)
                            (2111)   (2211)    (421)      (431)
                            (11111)  (3111)    (2221)     (2222)
                                     (21111)   (3211)     (3221)
                                     (111111)  (4111)     (3311)
                                               (22111)    (4211)
                                               (31111)    (22211)
                                               (211111)   (32111)
                                               (1111111)  (41111)
                                                          (221111)
                                                          (311111)
                                                          (2111111)
                                                          (11111111)

The inseparable version is A025065.
The Heinz numbers of these partitions are A335127.
The non-strong version is A336103.
Sequences covering an initial interval are A000670.
Anti-run compositions are A003242.
Anti-run patterns are A005649.
Separable partitions are A325534.
Inseparable partitions are A325535.
Separable factorizations are A335434.
Heinz numbers of separable partitions are A335433.
Cf. A049610, A106351, A292884, A335126, A335433, A335452, A335548, A336102.

Table[Length[Select[IntegerPartitions[n],2*Max@@#<=1+n&]],{n,0,15}]

A347445 Number of integer partitions of n with integer reverse-alternating product.

Original entry on oeis.org

1, 1, 2, 2, 4, 4, 7, 8, 12, 14, 20, 24, 32, 40, 50, 62, 77, 99, 115, 151, 170, 224, 251, 331, 360, 481, 517, 690, 728, 980, 1020, 1379, 1420, 1918, 1962, 2643, 2677, 3630, 3651, 4920, 4926, 6659, 6625, 8931, 8853, 11905, 11781, 15805, 15562, 20872, 20518

Offset: 0

Gus Wiseman, Sep 14 2021

nonn

We define the alternating product of a sequence (y_1,...,y_k) to be Product_i y_i^((-1)^(i-1)). The reverse-alternating product is the alternating product of the reversed sequence.

			The a(1) = 1 through a(8) = 12 partitions:
  (1)  (2)   (3)    (4)     (5)      (6)       (7)        (8)
       (11)  (111)  (22)    (221)    (33)      (322)      (44)
                    (211)   (311)    (222)     (331)      (332)
                    (1111)  (11111)  (411)     (421)      (422)
                                     (2211)    (511)      (611)
                                     (21111)   (22111)    (2222)
                                     (111111)  (31111)    (3311)
                                               (1111111)  (22211)
                                                          (41111)
                                                          (221111)
                                                          (2111111)
                                                          (11111111)

Allowing any reverse-alternating product >= 1 gives A344607.
Allowing any reverse-alternating product < 1 gives A344608.
The multiplicative version is A347442, unreversed A347437.
Allowing any reverse-alternating product <= 1 gives A347443.
Restricting to odd length gives A347444, ranked by A347453.
The unreversed version is A347446, ranked by A347457.
Allowing any reverse-alternating product > 1 gives A347449.
Ranked by A347454.
A000041 counts partitions, with multiplicative version A001055.
A027187 counts partitions of even length.
A027193 counts partitions of odd length.
A103919 counts partitions by sum and alternating sum (reverse: A344612).
A325534 counts separable partitions, ranked by A335433.
A325535 counts inseparable partitions, ranked by A335448.
A339890 counts factorizations with alternating product > 1, reverse A347705.
A347462 counts possible reverse-alternating products of partitions.
Cf. A025047, A067661, A119620, A344654, A344740, A347439, A347440, A347448, A347450, A347451, A347461, A347463, A347704.

revaltprod[q_]:=Product[Reverse[q][[i]]^(-1)^(i-1),{i,Length[q]}];
Table[Length[Select[IntegerPartitions[n],IntegerQ[revaltprod[#]]&]],{n,0,30}]

A333487 Number of inseparable factorizations of n into factors > 1.

Original entry on oeis.org

0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 2, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 2, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 2, 2, 0, 0, 0, 0, 0, 0

Offset: 1

Gus Wiseman, Jul 01 2020

nonn

A multiset is separable if it has a permutation that is an anti-run, meaning there are no adjacent equal parts.

			The a(n) factorizations for n = 4, 16, 96, 144, 64, 192:
  2*2  4*4      2*2*2*12     12*12        8*8          3*4*4*4
       2*2*2*2  2*2*2*2*6    2*2*2*18     4*4*4        2*2*2*24
                2*2*2*2*2*3  2*2*2*2*9    2*2*2*8      2*2*2*2*12
                             2*2*2*2*3*3  2*2*2*2*4    2*2*2*2*2*6
                                          2*2*2*2*2*2  2*2*2*2*3*4
                                                       2*2*2*2*2*2*3

The version for partitions is A325535.
The version for multisets with prescribed multiplicities is A335126.
The separable version is A335434.
Anti-run compositions are A003242.
Anti-runs are ranked by A333489.
Separable partitions are ranked by A335433.
Inseparable partitions are ranked by A335448.
Anti-run permutations of prime indices are A335452.
Patterns contiguously matched by compositions are A335457.
Cf. A106351, A292884, A295370, A333628, A333755, A335463, A335125, A335127, A335407, A335474, A335516, A335838.

facs[n_]:=If[n<=1,{{}},Join@@Table[Map[Prepend[#,d]&,Select[facs[n/d],Min@@#>=d&]],{d,Rest[Divisors[n]]}]];
Table[Length[Select[facs[n],Select[Permutations[#],!MatchQ[#,{_,x_,x_,_}]&]=={}&]],{n,100}]

a(n) + A335434(n) = A001055(n).

A347050 Number of factorizations of n that are a twin (x*x) or have an alternating permutation.

Original entry on oeis.org

1, 1, 1, 2, 1, 2, 1, 2, 2, 2, 1, 4, 1, 2, 2, 4, 1, 4, 1, 4, 2, 2, 1, 6, 2, 2, 2, 4, 1, 5, 1, 5, 2, 2, 2, 9, 1, 2, 2, 6, 1, 5, 1, 4, 4, 2, 1, 10, 2, 4, 2, 4, 1, 6, 2, 6, 2, 2, 1, 11, 1, 2, 4, 7, 2, 5, 1, 4, 2, 5, 1, 15, 1, 2, 4, 4, 2, 5, 1, 10, 4, 2, 1, 11, 2

Offset: 1

Gus Wiseman, Oct 15 2021

nonn

First differs from A348383 at a(216) = 27, A348383(216) = 28.
A factorization of n is a weakly increasing sequence of positive integers > 1 with product n.
These permutations are ordered factorizations of n with no adjacent triples (..., x, y, z, ...) where x <= y <= z or x >= y >= z.
The version without twins for n > 0 is a(n) + 1 if n is a perfect square; otherwise a(n).

			The factorizations for n = 4, 12, 24, 30, 36, 48, 60, 64, 72:
  4    12     24     30     36       48       60       64       72
  2*2  2*6    3*8    5*6    4*9      6*8      2*30     8*8      8*9
       3*4    4*6    2*15   6*6      2*24     3*20     2*32     2*36
       2*2*3  2*12   3*10   2*18     3*16     4*15     4*16     3*24
              2*2*6  2*3*5  3*12     4*12     5*12     2*4*8    4*18
              2*3*4         2*2*9    2*3*8    6*10     2*2*16   6*12
                            2*3*6    2*4*6    2*5*6    2*2*4*4  2*4*9
                            3*3*4    3*4*4    3*4*5             2*6*6
                            2*2*3*3  2*2*12   2*2*15            3*3*8
                                     2*2*3*4  2*3*10            3*4*6
                                              2*2*3*5           2*2*18
                                                                2*3*12
                                                                2*2*3*6
                                                                2*3*3*4
                                                                2*2*2*3*3
The a(270) = 19 factorizations:
  (2*3*5*9)   (5*6*9)   (3*90)   (270)
  (3*3*5*6)   (2*3*45)  (5*54)
  (2*3*3*15)  (2*5*27)  (6*45)
              (2*9*15)  (9*30)
              (3*3*30)  (10*27)
              (3*5*18)  (15*18)
              (3*6*15)  (2*135)
              (3*9*10)
Note that (2*3*3*3*5) is separable but has no alternating permutations.

Partitions not of this type are counted by A344654, ranked by A344653.
Partitions of this type are counted by A344740, ranked by A344742.
The complement is counted by A347706, without twins A348380.
The case without twins is A348379.
Dominates A348383, the separable case.
A001055 counts factorizations, strict A045778, ordered A074206.
A001250 counts alternating permutations.
A008480 counts permutations of prime indices, strict A335489.
A025047 counts alternating or wiggly compositions, ranked by A345167.
A056239 adds up prime indices, row sums of A112798.
A325534 counts separable partitions, ranked by A335433.
A325535 counts inseparable partitions, ranked by A335448.
A335452 counts anti-run permutations of prime indices, complement A336107.
A339846 counts even-length factorizations.
A339890 counts odd-length factorizations.
Cf. A038548, A049774, A102726, A119620, A128761, A344614, A347437, A347438, A347458, A348381.

facs[n_]:=If[n<=1,{{}},Join@@Table[Map[Prepend[#,d]&,Select[facs[n/d],Min@@#>=d&]],{d,Rest[Divisors[n]]}]];
Table[Length[Select[facs[n],Function[f,Select[Permutations[f],!MatchQ[#,{_,x_,y_,z_,_}/;x<=y<=z||x>=y>=z]&]!={}]]],{n,100}]

For n > 1, a(n) = A335434(n) + A010052(n).

A349050 Number of multisets of size n that have no alternating permutations and cover an initial interval of positive integers.

Original entry on oeis.org

0, 0, 1, 1, 3, 4, 8, 12, 20, 32, 48, 80, 112, 192, 256, 448, 576, 1024, 1280, 2304, 2816, 5120, 6144, 11264, 13312, 24576, 28672, 53248, 61440, 114688, 131072, 245760, 278528, 524288, 589824, 1114112, 1245184, 2359296, 2621440, 4980736, 5505024

Offset: 0

Gus Wiseman, Dec 12 2021

nonn

A sequence is alternating if it is alternately strictly increasing and strictly decreasing, starting with either. For example, the partition (3,2,2,2,1) has no alternating permutations, even though it does have the anti-run permutations (2,3,2,1,2) and (2,1,2,3,2). Alternating permutations of multisets are a generalization of alternating or up-down permutations of {1..n}.

			The multiset {1,2,2,2,2,3,3} has no alternating permutations, even though it does have the three anti-run permutations (2,1,2,3,2,3,2), (2,3,2,1,2,3,2), (2,3,2,3,2,1,2), so is counted under a(7).
The a(2) = 1 through a(7) = 12 multisets:
  {11}  {111}  {1111}  {11111}  {111111}  {1111111}
               {1112}  {11112}  {111112}  {1111112}
               {1222}  {12222}  {111122}  {1111122}
                       {12223}  {111123}  {1111123}
                                {112222}  {1122222}
                                {122222}  {1122223}
                                {122223}  {1222222}
                                {123333}  {1222223}
                                          {1222233}
                                          {1222234}
                                          {1233333}
                                          {1233334}
As compositions:
  (2)  (3)  (4)    (5)      (6)      (7)
            (1,3)  (1,4)    (1,5)    (1,6)
            (3,1)  (4,1)    (2,4)    (2,5)
                   (1,3,1)  (4,2)    (5,2)
                            (5,1)    (6,1)
                            (1,1,4)  (1,1,5)
                            (1,4,1)  (1,4,2)
                            (4,1,1)  (1,5,1)
                                     (2,4,1)
                                     (5,1,1)
                                     (1,1,4,1)
                                     (1,4,1,1)

Andrew Howroyd, Table of n, a(n) for n = 0..1000
Frankie Mennicucci, On the Number of Strong Dominating Sets in a Graph, Master's Thesis, Montclair State Univ. (2024). See p. 32.
Wikipedia, Alternating permutation

The case of weakly decreasing multiplicities is A025065.
The inseparable case is A336102.
A separable instead of alternating version is A336103.
The version for partitions is A345165.
The version for factorizations is A348380, complement A348379.
The complement (still covering an initial interval) is counted by A349055.
A000670 counts sequences covering an initial interval, anti-run A005649.
A001250 counts alternating permutations, complement A348615.
A003242 counts Carlitz (anti-run) compositions, ranked by A333489.
A025047 = alternating compositions, ranked by A345167, also A025048/A025049.
A049774 counts permutations avoiding the consecutive pattern (1,2,3).
A325534 counts separable partitions, ranked by A335433.
A325535 counts inseparable partitions, ranked by A335448.
A345170 counts partitions w/ an alternating permutation, ranked by A345172.
A344654 counts partitions w/o an alternating permutation, ranked by A344653.
Cf. A019472, A052841, A096441, A106351, A106356, A335125, A335126, A344614, A347050, A347706, A348377, A349054.

allnorm[n_]:=If[n<=0,{{}},Function[s,Array[Count[s,y_/;y<=#]+1&,n]]/@Subsets[Range[n-1]+1]];
wigQ[y_]:=Or[Length[y]==0,Length[Split[y]]== Length[y]&&Length[Split[Sign[Differences[y]]]]==Length[y]-1];
Table[Length[Select[allnorm[n],Select[Permutations[#],wigQ]=={}&]],{n,0,7}]

a(n) = if(n==0, 0, if(n%2==0, (n+2)*2^(n/2-3), (n-1)*2^((n-1)/2-2))) \\ Andrew Howroyd, Jan 13 2024

a(n) = A011782(n) - A349055(n).

a(n) = (n+2)*2^(n/2-3) for even n > 0; a(n) = (n-1)*2^((n-5)/2) for odd n. - Andrew Howroyd, Jan 13 2024

Terms a(10) and beyond from Andrew Howroyd, Jan 13 2024

A345195 Number of non-alternating anti-run compositions of n.

Original entry on oeis.org

0, 0, 0, 0, 0, 0, 2, 4, 10, 23, 49, 96, 192, 368, 692, 1299, 2403, 4400, 8029, 14556, 26253, 47206, 84574, 151066, 269244, 478826, 849921, 1506309, 2665829, 4711971, 8319763, 14675786, 25865400, 45552678, 80171353, 141015313, 247905305, 435614270, 765132824

Offset: 0

Gus Wiseman, Jun 17 2021

nonn

A sequence is alternating if it is alternately strictly increasing and strictly decreasing, starting with either. For example, the partition (3,2,2,2,1) has no alternating permutations, even though it does have the anti-run permutations (2,3,2,1,2) and (2,1,2,3,2).

An anti-run (separation or Carlitz composition) is a sequence with no adjacent equal parts.

			The a(9) = 23 anti-runs:
  (1,2,6)  (1,2,4,2)  (1,2,1,2,3)
  (1,3,5)  (1,2,5,1)  (1,2,3,1,2)
  (2,3,4)  (1,3,4,1)  (1,2,3,2,1)
  (4,3,2)  (1,4,3,1)  (1,3,2,1,2)
  (5,3,1)  (1,5,2,1)  (2,1,2,3,1)
  (6,2,1)  (2,1,2,4)  (2,1,3,2,1)
           (2,4,2,1)  (3,2,1,2,1)
           (3,1,2,3)
           (3,2,1,3)
           (4,2,1,2)

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

Non-anti-run compositions are counted by A261983.
A version counting partitions is A345166, ranked by A345173.
These compositions are ranked by A345169.
Non-alternating compositions are counted by A345192, ranked by A345168.
A001250 counts alternating permutations, complement A348615.
A003242 counts anti-run compositions, ranked by A333489.
A011782 counts compositions.
A025047 counts alternating or wiggly compositions, ranked by A345167.
A032020 counts strict compositions.
A106356 counts compositions by number of maximal anti-runs.
A325534 counts separable partitions, ranked by A335433.
A325535 counts inseparable partitions, ranked by A335448.
A345164 counts alternating permutations of prime indices, w/ twins A344606.
A345165 counts partitions w/o an alternating permutation, ranked by A345171.
A345170 counts partitions w/ an alternating permutation, ranked by A345172.
A345194 counts alternating patterns (with twins: A344605).
Cf. A005649, A008965, A114901, A178470, A333755, A344604, A344614, A344654, A344740, A345162, A345163, A348380, A348612, A348613.

wigQ[y_]:=Or[Length[y]==0,Length[Split[y]]== Length[y]&&Length[Split[Sign[Differences[y]]]]==Length[y]-1];
sepQ[y_]:=!MatchQ[y,{_,x_,x_,_}];
Table[Length[Select[Join@@Permutations/@IntegerPartitions[n], sepQ[#]&&!wigQ[#]&]],{n,0,15}]

a(n) = A003242(n) - A025047(n).

a(21) onwards from Andrew Howroyd, Jan 31 2024

cp's OEIS Frontend

A345169 Numbers k such that the k-th composition in standard order is a non-alternating anti-run.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A346698 Sum of the even-indexed parts (even bisection) of the multiset of prime indices of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A348380 Number of factorizations of n without an alternating permutation. Includes all twins (x*x).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A336102 Number of inseparable multisets of size n covering an initial interval of positive integers.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A336106 Number of integer partitions of n whose greatest part is at most one more than the sum of the other parts.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A347445 Number of integer partitions of n with integer reverse-alternating product.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A333487 Number of inseparable factorizations of n into factors > 1.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

A347050 Number of factorizations of n that are a twin (x*x) or have an alternating permutation.

Views

Author

Keywords

Comments