cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Previous Showing 21-30 of 41 results. Next

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

Views

Author

Gus Wiseman, Dec 12 2021

Keywords

Comments

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}.

Examples

			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)
		

Crossrefs

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.

Programs

  • Mathematica
    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}]
  • PARI
    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

Formula

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

Extensions

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

A386583 Triangle read by rows where T(n,k) is the number of length k integer partitions of n having a permutation without any adjacent equal parts (separable).

Original entry on oeis.org

1, 0, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 1, 2, 2, 0, 0, 0, 1, 2, 2, 1, 0, 0, 0, 1, 3, 4, 1, 1, 0, 0, 0, 1, 3, 5, 3, 2, 0, 0, 0, 0, 1, 4, 6, 4, 3, 1, 0, 0, 0, 0, 1, 4, 8, 6, 5, 1, 1, 0, 0, 0, 0, 1, 5, 10, 8, 8, 3, 2, 0, 0, 0, 0, 0, 1, 5, 11, 12, 11, 5, 3, 1, 0, 0, 0, 0
Offset: 0

Views

Author

Gus Wiseman, Aug 03 2025

Keywords

Comments

A multiset is separable iff it has a permutation that is an anti-run, meaning there are no adjacent equal parts.
Separable partitions (A325534) are different from partitions of separable type (A386585).
Are the rows all unimodal?
Some rows are not unimodal: T(200, k=26..30) = 149371873744, 153304102463, 152360653274, 152412869411, 147228477998. - Alois P. Heinz, Aug 04 2025

Examples

			Row n = 9 counts the following partitions:
  (9)  (5,4)  (4,3,2)  (3,3,2,1)  (3,2,2,1,1)  (2,2,2,1,1,1)
       (6,3)  (4,4,1)  (4,2,2,1)  (3,3,1,1,1)
       (7,2)  (5,2,2)  (4,3,1,1)  (4,2,1,1,1)
       (8,1)  (5,3,1)  (5,2,1,1)
              (6,2,1)
              (7,1,1)
Triangle begins:
  1
  0  1
  0  1  0
  0  1  1  0
  0  1  1  1  0
  0  1  2  2  0  0
  0  1  2  2  1  0  0
  0  1  3  4  1  1  0  0
  0  1  3  5  3  2  0  0  0
  0  1  4  6  4  3  1  0  0  0
  0  1  4  8  6  5  1  1  0  0  0
  0  1  5 10  8  8  3  2  0  0  0  0
  0  1  5 11 12 11  5  3  1  0  0  0  0
  0  1  6 14 14 15  8  6  1  1  0  0  0  0
  0  1  6 16 19 20 11  9  3  2  0  0  0  0  0
  0  1  7 18 23 27 17 14  5  3  1  0  0  0  0  0
  0  1  7 21 29 34 23 20  9  6  1  1  0  0  0  0  0
  0  1  8 24 34 43 32 28 13 10  3  2  0  0  0  0  0  0
  0  1  8 26 42 53 42 38 20 15  5  3  1  0  0  0  0  0  0
  0  1  9 30 48 66 55 52 28 23  9  6  1  1  0  0  0  0  0  0
  0  1  9 33 58 80 70 68 41 33 14 10  3  2  0  0  0  0  0  0  0
  ...
		

Crossrefs

Separable case of A008284.
Row sums are A325534, ranked by A335433.
For inseparable instead separable we have A386584, sums A325535, ranks A335448.
For separable type instead of separable we have A386585, sums A336106, ranks A335127.
For inseparable type instead of separable we have A386586, sums A025065, ranks A335126.
A003242 and A335452 count anti-runs, ranks A333489, patterns A005649.
A124762 gives inseparability of standard compositions, separability A333382.
A239455 counts Look-and-Say partitions, ranks A351294.
A336103 counts normal separable multisets, inseparable A336102.
A351293 counts non-Look-and-Say partitions, ranks A351295.
A386633 counts separable set partitions, row sums of A386635.
A386634 counts inseparable set partitions, row sums of A386636.

Programs

  • Mathematica
    sepQ[y_]:=Select[Permutations[y],Length[Split[#]]==Length[y]&]!={};
    Table[Length[Select[IntegerPartitions[n,{k}],sepQ]],{n,0,15},{k,0,n}]

A386584 Triangle read by rows where T(n,k) is the number of length k>=0 integer partitions of n having no permutation without any adjacent equal parts (inseparable).

Original entry on oeis.org

0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 2, 1, 1, 1, 0, 0, 1, 0, 2, 1, 2, 1, 1, 0, 0, 0, 1, 2, 2, 2, 2, 1, 1, 0, 0, 1, 0, 3, 2, 4, 2, 2, 1, 1, 0, 0, 0, 0, 3, 2, 4, 3, 3, 2, 1, 1
Offset: 0

Views

Author

Gus Wiseman, Aug 05 2025

Keywords

Comments

A multiset is inseparable iff it has no anti-run permutations, where an anti-run is a sequence without any adjacent equal parts. Inseparable partitions (A325535) are different from partitions of inseparable type (A386586).

Examples

			Row n = 10 counts the following partitions:
  . . 55 . 7111 61111 511111 4111111 31111111 211111111 1111111111
           4222 22222 421111 3211111 22111111
           3331       331111
                      222211
Triangle begins:
  0
  0  0
  0  0  1
  0  0  0  1
  0  0  1  0  1
  0  0  0  0  1  1
  0  0  1  1  1  1  1
  0  0  0  0  2  1  1  1
  0  0  1  0  2  1  2  1  1
  0  0  0  1  2  2  2  2  1  1
  0  0  1  0  3  2  4  2  2  1  1
  0  0  0  0  3  2  4  3  3  2  1  1
  0  0  1  1  3  2  6  4  4  3  2  1  1
  0  0  0  0  4  3  6  5  6  4  3  2  1  1
  0  0  1  0  4  3  9  6  8  5  5  3  2  1  1
  0  0  0  1  4  3  9  7 10  8  6  5  3  2  1  1
  0  0  1  0  5  3 12  8 13  9 10  6  5  3  2  1  1
  0  0  0  0  5  4 12 10 16 12 12  9  7  5  3  2  1  1
  0  0  1  1  5  4 16 11 20 15 17 12 10  7  5  3  2  1  1
  0  0  0  0  6  4 16 13 24 18 21 16 14 10  7  5  3  2  1  1
  0  0  1  0  6  4 20 14 29 21 28 20 19 13 11  7  5  3  2  1  1
		

Crossrefs

Inseparable case of A008284 or A072233.
Row sums are A325535, ranked by A335448.
For separable instead of inseparable we have A386583, sums A325534, ranks A335433.
For separable type we have A386585, sums A336106, ranks A335127.
For inseparable type we have A386586, sums A025065, ranks A335126.
A003242 and A335452 count anti-runs, ranks A333489, patterns A005649.
A124762 gives inseparability of standard compositions, separability A333382.
A336103 counts normal separable multisets, inseparable A336102.
A386633 counts separable set partitions, row sums of A386635.
A386634 counts inseparable set partitions, row sums of A386636.

Programs

  • Mathematica
    insepQ[y_]:=Select[Permutations[y],Length[Split[#]]==Length[y]&]=={};
    Table[Length[Select[IntegerPartitions[n,{k}],insepQ]],{n,0,15},{k,0,n}]

Formula

T(n,k) = A072233(n,k) - A386583(n,k).

A345162 Number of integer partitions of n with no alternating permutation covering an initial interval of positive integers.

Original entry on oeis.org

0, 0, 1, 1, 1, 2, 2, 3, 3, 5, 6, 6, 8, 10, 11, 15, 16, 18, 23, 27, 30, 35, 41, 47, 54, 62, 71, 82, 92, 103, 121, 137, 151, 173, 195, 220, 248, 277, 311, 350, 393, 435, 488, 546, 605, 678, 754, 835, 928, 1029, 1141, 1267, 1400, 1544, 1712, 1891, 2081, 2298, 2533, 2785, 3068
Offset: 0

Views

Author

Gus Wiseman, Jun 12 2021

Keywords

Comments

A sequence is alternating if it is alternately strictly increasing and strictly decreasing, starting with either. For example, the partition (3,3,2,2,2,2,1) has no alternating permutations, even though it has anti-run permutations (2,3,2,3,2,1,2), (2,3,2,1,2,3,2), and (2,1,2,3,2,3,2).
Sequences covering an initial interval (patterns) are counted by A000670 and ranked by A333217.

Examples

			The a(2) = 1 through a(10) = 6 partitions:
  11  111  1111  2111   21111   2221     221111    22221      32221
                 11111  111111  211111   2111111   321111     222211
                                1111111  11111111  2211111    3211111
                                                   21111111   22111111
                                                   111111111  211111111
                                                              1111111111
		

Crossrefs

The complement in covering partitions is counted by A345163.
Not requiring normality gives A345165, ranked by A345171.
The separable case is A345166.
A000041 counts integer partitions.
A000670 counts patterns, ranked by A333217.
A001250 counts alternating permutations.
A003242 counts anti-run compositions.
A005649 counts anti-run patterns.
A025047 counts alternating or wiggly compositions, directed A025048/A025049.
A325534 counts separable partitions, ranked by A335433.
A325535 counts inseparable partitions, ranked by A335448.
A344604 counts alternating compositions with twins.
A344605 counts alternating patterns with twins.
A345164 counts alternating permutations of prime indices.
A345170 counts partitions with a alternating permutation, ranked by A345172.

Programs

  • Mathematica
    normQ[m_]:=m=={}||Union[m]==Range[Max[m]];
    wigQ[y_]:=Or[Length[y]==0,Length[Split[y]]==Length[y]&&Length[Split[Sign[Differences[y]]]]==Length[y]-1];
    Table[Length[Select[IntegerPartitions[n],normQ[#]&&Select[Permutations[#],wigQ[#]&]=={}&]],{n,0,15}]
  • PARI
    P(n,m)={Vec(1/prod(k=1, m, 1-y*x^k, 1+O(x*x^n)))}
    a(n) = {(n >= 2) + sum(k=2, (sqrtint(8*n+1)-1)\2, my(r=n-binomial(k+1,2), v=P(r, k)); sum(i=1, min(k,2*r\k), sum(j=k-1, (2*r-(k-1)*(i-1))\(i+1), my(p=(j+k+(i==1||i==k))\2); if(p*i<=r, polcoef(v[r-p*i+1],j-p)) )))} \\ Andrew Howroyd, Jan 31 2024

Formula

a(n) = A000009(n) - A345163(n). - Andrew Howroyd, Jan 31 2024

Extensions

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

A386585 Triangle read by rows where T(n,k) is the number of integer partitions y of n into k = 0..n parts such that any multiset whose multiplicities are the parts of y is separable.

Original entry on oeis.org

1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 1, 2, 1, 1, 0, 0, 1, 2, 2, 1, 1, 0, 0, 1, 3, 3, 2, 1, 1, 0, 0, 1, 3, 4, 3, 2, 1, 1, 0, 0, 1, 5, 5, 5, 3, 2, 1, 1, 0, 0, 1, 4, 7, 6, 5, 3, 2, 1, 1
Offset: 0

Views

Author

Gus Wiseman, Aug 02 2025

Keywords

Comments

We say that such partitions are of separable type.
A multiset is separable iff it has a permutation without any adjacent equal parts.

Examples

			Row n = 8 counts the following partitions:
  .  .  44  431  4211  41111  311111  2111111  11111111
            422  3311  32111  221111
            332  3221  22211
                 2222
with the following separable multisets:
  . . 11112222 11112223 11112234 11112345 11123456 11234567 12345678
               11112233 11122234 11122345 11223456
               11122233 11122334 11223345
                        11223344
Triangle begins:
  1
  0  1
  0  0  1
  0  0  1  1
  0  0  1  1  1
  0  0  1  2  1  1
  0  0  1  2  2  1  1
  0  0  1  3  3  2  1  1
  0  0  1  3  4  3  2  1  1
  0  0  1  5  5  5  3  2  1  1
  0  0  1  4  7  6  5  3  2  1  1
		

Crossrefs

This is the separable type case of A072233 or A008284.
Row sums are A336106, ranks A335127.
For separable instead of separable type we have A386583, inseparable A386584.
For inseparable instead of separable we have A386586, sums A025065, ranks A335126.
A003242 and A335452 count anti-runs, ranks A333489, patterns A005649.
A239455 counts Look-and-Say partitions, ranks A351294.
A279790 counts disjoint families on strongly normal multisets.
A325534 counts separable multisets, ranks A335433.
A325535 counts inseparable multisets, ranks A335448.
A336103 counts normal separable multisets, inseparable A336102.
A351293 counts non-Look-and-Say partitions, ranks A351295.
A386633 counts separable set partitions, row sums of A386635.
A386634 counts inseparable set partitions, row sums of A386636.

Programs

  • Mathematica
    sepQ[y_]:=Select[Permutations[y],Length[Split[#]]==Length[y]&]!={};
    mst[y_]:=Join@@Table[ConstantArray[k,y[[k]]],{k,Length[y]}];
    Table[Length[Select[IntegerPartitions[n,{k}],sepQ[mst[#]]&]],{n,0,5},{k,0,n}]

Formula

a(n) = A072233(n) - A386586(n).

A386586 Triangle read by rows where T(n,k) is the number of integer partitions y of n into k parts such that any multiset whose multiplicities are the parts of y is inseparable.

Original entry on oeis.org

0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 2, 1, 0, 0, 0, 0, 1, 2, 1, 0, 0, 0, 0, 0, 1, 3, 2, 1, 0, 0, 0, 0, 0, 1, 3, 2, 1, 0, 0, 0, 0, 0, 0, 1, 4, 4, 2, 1, 0, 0, 0, 0, 0
Offset: 0

Views

Author

Gus Wiseman, Aug 05 2025

Keywords

Comments

We say that such partitions are of inseparable type. This is different from inseparable partitions (see A386584). A multiset is separable iff it has a permutation without any adjacent equal parts.

Examples

			The partition y = (7,2,1) is the multiplicities of the multiset {1,1,1,1,1,1,1,2,2,3}, which is inseparable, so y is counted under T(10,3).
Row n = 10 counts the following partitions (A = 10):
  .  A  91  811  7111  61111  .  .  .  .  .
        82  721  6211
        73  631
        64  622
Triangle begins:
  0
  0 0
  0 1 0
  0 1 0 0
  0 1 1 0 0
  0 1 1 0 0 0
  0 1 2 1 0 0 0
  0 1 2 1 0 0 0 0
  0 1 3 2 1 0 0 0 0
  0 1 3 2 1 0 0 0 0 0
  0 1 4 4 2 1 0 0 0 0 0
		

Crossrefs

This is the inseparable type case of A008284 or A072233.
Row sums shifted left once are A025065 (ranks A335126), separable version A336106 (ranks A335127).
For separable instead of inseparable type we have A386583.
For integer partitions instead of normal multisets we have A386584.
For separable type instead of inseparable type we have A386585.
A003242 and A335452 count anti-runs, ranks A333489, patterns A005649.
A239455 counts Look-and-Say partitions, ranks A351294.
A325534 counts separable multisets, ranks A335433.
A325535 counts inseparable multisets, ranks A335448.
A336103 counts normal separable multisets, inseparable A336102.
A351293 counts non-Look-and-Say partitions, ranks A351295.

Programs

  • Mathematica
    insepQ[y_]:=Select[Permutations[y],Length[Split[#]]==Length[y]&]=={};
    ptm[y_]:=Join@@Table[ConstantArray[k,y[[k]]],{k,Length[y]}];
    Table[Length[Select[IntegerPartitions[n,{k}],insepQ[ptm[#]]&]],{n,0,5},{k,0,n}]

Formula

a(n) = A072233(n) - A386585(n).

A348377 Number of non-alternating compositions of n, excluding twins (x,x).

Original entry on oeis.org

0, 0, 0, 1, 3, 9, 19, 45, 98, 208, 436, 906, 1861, 3803, 7731, 15659, 31628, 63747, 128257, 257722, 517338, 1037652, 2079983, 4167325, 8346203, 16710572, 33449694, 66944254, 133959020, 268028868, 536231902, 1072737537, 2145905284, 4292486690, 8586035992
Offset: 0

Views

Author

Gus Wiseman, Oct 26 2021

Keywords

Comments

First differs from A348382 at a(6) = 19, A348382(6) = 17. The two non-alternating non-twin compositions of 6 that are not an anti-run are (1,2,3) and (3,2,1).
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}.

Examples

			The a(3) = 1 through a(6) = 19 compositions:
  (1,1,1)  (1,1,2)    (1,1,3)      (1,1,4)
           (2,1,1)    (1,2,2)      (1,2,3)
           (1,1,1,1)  (2,2,1)      (2,2,2)
                      (3,1,1)      (3,2,1)
                      (1,1,1,2)    (4,1,1)
                      (1,1,2,1)    (1,1,1,3)
                      (1,2,1,1)    (1,1,2,2)
                      (2,1,1,1)    (1,1,3,1)
                      (1,1,1,1,1)  (1,2,2,1)
                                   (1,3,1,1)
                                   (2,1,1,2)
                                   (2,2,1,1)
                                   (3,1,1,1)
                                   (1,1,1,1,2)
                                   (1,1,1,2,1)
                                   (1,1,2,1,1)
                                   (1,2,1,1,1)
                                   (2,1,1,1,1)
                                   (1,1,1,1,1,1)
		

Crossrefs

The version for patterns is A000670(n) - A344605(n).
Non-twin compositions are counted by A051049.
The complement is counted by A344604.
An unordered version is A344654.
The complement is ranked by A345167 \/ A007582.
These compositions are ranked by A345168 \ A007582.
Including twins gives A345192, complement A025047.
The version for factorizations is A347706, or A348380 with twins.
The non-anti-run case is A348382.
A001250 counts alternating permutations.
A011782 counts compositions, strict A032020.
A106356 counts compositions by number of maximal anti-runs.
A114901 counts compositions where each part is adjacent to an equal part.
A261983 counts non-anti-run compositions, complement A003242.
A325535 counts inseparable partitions, ranked by A335448.
A344614 counts compositions avoiding (1,2,3) and (3,2,1) adjacent.
A345165 = partitions with no alternating permutations, ranked by A345171.
A345170 = partitions with an alternating permutation, ranked by A345172.

Programs

  • Mathematica
    Table[Length[Select[Join@@Permutations/@IntegerPartitions[n],MatchQ[#,{_,x_,y_,z_,_}/;x<=y<=z||x>=y>=z]&]],{n,0,15}]

Formula

For n > 0, a(n) = A345192(n) - 1 if n is even; otherwise A345192(n).

Extensions

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

A386634 Number of inseparable type set partitions of {1..n}.

Original entry on oeis.org

0, 0, 1, 1, 5, 6, 37, 50, 345, 502, 3851, 5897, 49854, 79249, 730745, 1195147, 11915997, 19929390, 213332101, 363275555, 4150104224, 7172334477, 87003759195, 152231458128, 1952292972199, 3451893361661, 46625594567852, 83183249675125, 1179506183956655, 2120758970878892
Offset: 0

Views

Author

Gus Wiseman, Aug 09 2025

Keywords

Comments

A set partition is of inseparable type iff the underlying set has no permutation whose adjacent elements always belong to different blocks. Note that this only depends on the sizes of the blocks.
A set partition is also of inseparable type iff its greatest block size is at least 2 more than the sum of its other block sizes.
This is different from inseparable partitions (A325535) and partitions of inseparable type (A386638 or A025065).

Examples

			The a(2) = 1 through a(5) = 6 set partitions:
  {{1,2}}  {{1,2,3}}  {{1,2,3,4}}    {{1,2,3,4,5}}
                      {{1},{2,3,4}}  {{1},{2,3,4,5}}
                      {{1,2,3},{4}}  {{1,2,3,4},{5}}
                      {{1,2,4},{3}}  {{1,2,3,5},{4}}
                      {{1,3,4},{2}}  {{1,2,4,5},{3}}
                                     {{1,3,4,5},{2}}
		

Crossrefs

For separable partitions we have A386583, sums A325534, ranks A335433.
For inseparable partitions we have A386584, sums A325535, ranks A335448.
For separable type partitions we have A386585, sums A336106, ranks A335127.
For inseparable type partitions we have A386586, sums A386638 or A025065, ranks A335126.
The complement is counted by A386633, sums of A386635.
Row sums of A386636.
A000110 counts set partitions, row sums of A048993.
A000670 counts ordered set partitions.
A003242 and A335452 count anti-runs, ranks A333489, patterns A005649.
A279790 counts disjoint families on strongly normal multisets.
A335434 counts separable factorizations, inseparable A333487.
A336103 counts normal separable multisets, inseparable A336102.
A386587 counts disjoint families of strict partitions of each prime exponent.

Programs

  • Mathematica
    sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
    stnseps[stn_]:=Select[Permutations[Union@@stn],And@@Table[Position[stn,#[[i]]][[1,1]]!=Position[stn,#[[i+1]]][[1,1]],{i,Length[#]-1}]&]
    Table[Length[Select[sps[Range[n]],stnseps[#]=={}&]],{n,0,5}]

Extensions

a(12)-a(29) from Alois P. Heinz, Aug 10 2025

A386633 Number of separable type set partitions of {1..n}.

Original entry on oeis.org

1, 1, 1, 4, 10, 46, 166, 827, 3795, 20645, 112124, 672673, 4163743, 27565188, 190168577, 1381763398, 10468226150, 82844940414, 681863474058, 5832378929502, 51720008131148, 474862643822274, 4506628734688128, 44151853623626218, 445956917001833090, 4638586880336637692
Offset: 0

Views

Author

Gus Wiseman, Aug 09 2025

Keywords

Comments

A set partition is of separable type iff the underlying set has a permutation whose adjacent elements always belong to different blocks. Note that this only depends on the sizes of the blocks.
A set partition is also of separable type iff its greatest block size is at most one more than the sum of all its other block sizes.
This is different from separable partitions (A325534) and partitions of separable type (A336106).

Examples

			The a(1) = 1 through a(4) = 10 set partitions:
  {{1}}  {{1},{2}}  {{1},{2,3}}    {{1,2},{3,4}}
                    {{1,2},{3}}    {{1,3},{2,4}}
                    {{1,3},{2}}    {{1,4},{2,3}}
                    {{1},{2},{3}}  {{1},{2},{3,4}}
                                   {{1},{2,3},{4}}
                                   {{1,2},{3},{4}}
                                   {{1},{2,4},{3}}
                                   {{1,3},{2},{4}}
                                   {{1,4},{2},{3}}
                                   {{1},{2},{3},{4}}
		

Crossrefs

For separable partitions see A386583, sums A325534, ranks A335433.
For inseparable partitions see A386584, sums A325535, ranks A335448.
For separable type partitions see A386585, sums A336106, ranks A335127.
For inseparable type partitions see A386586, sums A386638 or A025065, ranks A335126.
The complement is counted by A386634, sums of A386636.
Row sums of A386635.
A000110 counts set partitions, row sums of A048993.
A000670 counts ordered set partitions.
A003242 and A335452 count anti-runs, ranks A333489, patterns A005649.
A279790 counts disjoint families on strongly normal multisets.
A335434 counts separable factorizations, inseparable A333487.
A336103 counts normal separable multisets, inseparable A336102.

Programs

  • Mathematica
    sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
    stnseps[stn_]:=Select[Permutations[Union@@stn],And@@Table[Position[stn,#[[i]]][[1,1]]!=Position[stn,#[[i+1]]][[1,1]],{i,Length[#]-1}]&]
    Table[Length[Select[sps[Range[n]],stnseps[#]!={}&]],{n,0,5}]

Extensions

a(12)-a(25) from Alois P. Heinz, Aug 10 2025

A386635 Triangle read by rows where T(n,k) is the number of separable type set partitions of {1..n} into k blocks.

Original entry on oeis.org

1, 0, 1, 0, 0, 1, 0, 0, 3, 1, 0, 0, 3, 6, 1, 0, 0, 10, 25, 10, 1, 0, 0, 10, 75, 65, 15, 1, 0, 0, 35, 280, 350, 140, 21, 1, 0, 0, 35, 770, 1645, 1050, 266, 28, 1, 0, 0, 126, 2737, 7686, 6951, 2646, 462, 36, 1, 0, 0, 126, 7455, 32725, 42315, 22827, 5880, 750, 45, 1
Offset: 0

Views

Author

Gus Wiseman, Aug 10 2025

Keywords

Comments

A set partition is of separable type iff the underlying set has a permutation whose adjacent elements always belong to different blocks. Note that this only depends on the sizes of the blocks.
A set partition is also of separable type iff its greatest block size is at most one more than the sum of all its other blocks sizes.
This is different from separable partitions (A325534) and partitions of separable type (A336106).

Examples

			Row n = 4 counts the following set partitions:
  .  .  {{1,2},{3,4}}  {{1},{2},{3,4}}  {{1},{2},{3},{4}}
        {{1,3},{2,4}}  {{1},{2,3},{4}}
        {{1,4},{2,3}}  {{1},{2,4},{3}}
                       {{1,2},{3},{4}}
                       {{1,3},{2},{4}}
                       {{1,4},{2},{3}}
Triangle begins:
    1
    0    1
    0    0    1
    0    0    3    1
    0    0    3    6    1
    0    0   10   25   10    1
    0    0   10   75   65   15    1
    0    0   35  280  350  140   21    1
		

Crossrefs

Column k = 2 appears to be A128015.
For separable partitions we have A386583, sums A325534, ranks A335433.
For inseparable partitions we have A386584, sums A325535, ranks A335448.
For separable type partitions we have A386585, sums A336106, ranks A335127.
For inseparable type partitions we have A386586, sums A386638 or A025065, ranks A335126.
Row sums are A386633.
The complement is counted by A386636, row sums A386634.
A000110 counts set partitions, row sums of A048993.
A000670 counts ordered set partitions.
A003242 and A335452 count anti-runs, ranks A333489, patterns A005649.
A239455 counts Look-and-Say partitions, ranks A351294, conjugate A381432.
A335434 counts separable factorizations, inseparable A333487.
A336103 counts normal separable multisets, inseparable A336102.
A351293 counts non-Look-and-Say partitions, ranks A351295, conjugate A381433.
A386587 counts disjoint families of strict partitions of each prime exponent.

Programs

  • Mathematica
    sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
    stnseps[stn_]:=Select[Permutations[Union@@stn],And@@Table[Position[stn,#[[i]]][[1,1]]!=Position[stn,#[[i+1]]][[1,1]],{i,Length[#]-1}]&];
    Table[Length[Select[sps[Range[n]],Length[#]==k&&stnseps[#]!={}&]],{n,0,5},{k,0,n}]
Previous Showing 21-30 of 41 results. Next