A336139 -id:A336139 - cp's OEIS frontend

A133494 Diagonal of the array of iterated differences of A047848.

1, 1, 3, 9, 27, 81, 243, 729, 2187, 6561, 19683, 59049, 177147, 531441, 1594323, 4782969, 14348907, 43046721, 129140163, 387420489, 1162261467, 3486784401, 10460353203, 31381059609, 94143178827, 282429536481, 847288609443, 2541865828329, 7625597484987, 22876792454961, 68630377364883

Offset: 0

Paul Barry, Paul Curtz, Dec 23 2007

a(n) is the number of ways to choose a composition C, and then choose a composition of each part of C. - Geoffrey Critzer, Mar 19 2012
a(n) is the top left entry of the n-th power of the 3 X 3 matrix [1, 1, 1; 1, 1, 1; 1, 1, 1]. - R. J. Mathar, Feb 03 2014
a(n) is the reptend length of 1/3^(n+1) in decimal. - Jianing Song, Nov 14 2018
Also the number of pairs of integer compositions, the first summing to n and the second with sum equal to the length of the first. If an integer composition is regarded as an arrow from sum to length, these are composable pairs, and the obvious composition operation founds a category of integer compositions. For example, we have (2,1,1,4) . (1,2,1) . (1,2) = (2,6), where dots represent the composition operation. The version without empty compositions is A000244. Composable triples are counted by 1 followed by A000302. The unordered version is A022811. - Gus Wiseman, Jul 14 2022

			From _Gus Wiseman_, Jul 15 2020: (Start)
The a(0) = 1 through a(3) = 9 ways to choose a composition of each part of a composition:
  ()  (1)  (2)      (3)
           (1,1)    (1,2)
           (1),(1)  (2,1)
                    (1,1,1)
                    (1),(2)
                    (2),(1)
                    (1),(1,1)
                    (1,1),(1)
                    (1),(1),(1)
(End)

G. C. Greubel, Table of n, a(n) for n = 0..1000
Bishal Deb, Cyclic sieving phenomena via combinatorics of continued fractions, arXiv:2508.13709 [math.CO], 2025. See p. 42.
Index entries for linear recurrences with constant coefficients, signature (3).

The strict version is A336139.
Splittings of partitions are A323583.
Multiset partitions of partitions are A001970.
Partitions of each part of a partition are A063834.
Compositions of each part of a partition are A075900.
Strict partitions of each part of a strict partition are A279785.
Compositions of each part of a strict partition are A304961.
Strict compositions of each part of a composition are A307068.
Compositions of each part of a strict composition are A336127.
Cf. A000012, A000244, A000302, A001906, A006951, A011782, A022811, A071919.
Cf. A072706, A078008, A112467, A182105, A316245, A336128, A336135.
Cf. A339006, A355382, A355384, A355387.

[n eq 0 select 1 else 3^(n-1): n in [0..30]]; // G. C. Greubel, Nov 20 2023

a:= n-> ceil(3^(n-1)):
seq(a(n), n=0..30);  # Alois P. Heinz, Jul 26 2020

CoefficientList[Series[(1 - 2 x)/(1 - 3 x), {x, 0, 50}], x] (* Vladimir Joseph Stephan Orlovsky, Jun 21 2011 *)
Join[{1}, 3^(Range[0, 30])] (* G. C. Greubel, Nov 20 2023 *)

a(n)=max(1,3^(n-1)) \\ Charles R Greathouse IV, Jul 07 2011

Vec((1-2*x)/(1-3*x) + O(x^100)) \\  Altug Alkan, Oct 30 2015

[(3^n + 2*int(n==0))//3 for n in range(31)] # G. C. Greubel, Nov 20 2023

Binomial transform of A078008. - Paul Curtz, Aug 04 2008
From R. J. Mathar, Nov 11 2008: (Start)
G.f.: (1 - 2*x)/(1 - 3*x).
a(n) = A000244(n-1), n > 0. (End)
From Philippe Deléham, Nov 13 2008: (Start)
a(n) = Sum_{k=0..n} A112467(n,k)*2^k.
a(n) = Sum_{k=0..n} A071919(n,k)*2^k. (End)
Let A(x) be the g.f. Then B(x) = x*A(x) satisfies B(x/(1-x)) = x/(1 - 2*B(x)). - Vladimir Kruchinin, Dec 05 2011
G.f.: 1/(1 - (Sum_{k>=1} (x/(1 - x))^k)). - Joerg Arndt, Sep 30 2012
For n > 0, a(n) = 2*(Sum_{k=0..n-1} a(k)) - 1 = 3^(n-1). - J. Conrad, Oct 29 2015
G.f.: 1 + x/(1 + x)*(1 + 4*x/(1 + 4*x)*(1 + 7*x/(1 + 7*x)*(1 + 10*x/(1 + 10*x)*(1 + .... - Peter Bala, May 27 2017
Invert transform of A011782(n) = 2^(n-1). Second invert transform of A000012. - Gus Wiseman, Jul 19 2020
a(n) = ceiling(3^(n-1)). - Alois P. Heinz, Jul 26 2020
From Elmo R. Oliveira, Mar 31 2025: (Start)
E.g.f.: (2 + exp(3*x))/3.
a(n) = 3*a(n-1) for n > 1. (End)

Definition clarified by R. J. Mathar, Nov 11 2008

A072574 Triangle T(n,k) of number of compositions (ordered partitions) of n into exactly k distinct parts, 1<=k<=n.

Original entry on oeis.org

1, 1, 0, 1, 2, 0, 1, 2, 0, 0, 1, 4, 0, 0, 0, 1, 4, 6, 0, 0, 0, 1, 6, 6, 0, 0, 0, 0, 1, 6, 12, 0, 0, 0, 0, 0, 1, 8, 18, 0, 0, 0, 0, 0, 0, 1, 8, 24, 24, 0, 0, 0, 0, 0, 0, 1, 10, 30, 24, 0, 0, 0, 0, 0, 0, 0, 1, 10, 42, 48, 0, 0, 0, 0, 0, 0, 0, 0, 1, 12, 48, 72, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 12, 60, 120, 0

Offset: 1

Henry Bottomley, Jun 21 2002

If terms in the compositions did not need to be distinct then the triangle would have values C(n-1,k-1), essentially A007318 offset.

			T(6,2)=4 since 6 can be written as 1+5=2+4=4+2=5+1.
Triangle starts (trailing zeros omitted for n>=10):
[ 1]  1;
[ 2]  1, 0;
[ 3]  1, 2, 0;
[ 4]  1, 2, 0, 0;
[ 5]  1, 4, 0, 0, 0;
[ 6]  1, 4, 6, 0, 0, 0;
[ 7]  1, 6, 6, 0, 0, 0, 0;
[ 8]  1, 6, 12, 0, 0, 0, 0, 0;
[ 9]  1, 8, 18, 0, 0, 0, 0, 0, 0;
[10]  1, 8, 24, 24, 0, 0, ...;
[11]  1, 10, 30, 24, 0, 0, ...;
[12]  1, 10, 42, 48, 0, 0, ...;
[13]  1, 12, 48, 72, 0, 0, ...;
[14]  1, 12, 60, 120, 0, 0, ...;
[15]  1, 14, 72, 144, 120, 0, 0, ...;
[16]  1, 14, 84, 216, 120, 0, 0, ...;
[17]  1, 16, 96, 264, 240, 0, 0, ...;
[18]  1, 16, 114, 360, 360, 0, 0, ...;
[19]  1, 18, 126, 432, 600, 0, 0, ...;
[20]  1, 18, 144, 552, 840, 0, 0, ...;
These rows (without the zeros) are shown in the Richmond/Knopfmacher reference.
From _Gus Wiseman_, Oct 17 2022: (Start)
Column n = 8 counts the following compositions.
  (8)  (1,7)  (1,2,5)
       (2,6)  (1,3,4)
       (3,5)  (1,4,3)
       (5,3)  (1,5,2)
       (6,2)  (2,1,5)
       (7,1)  (2,5,1)
              (3,1,4)
              (3,4,1)
              (4,1,3)
              (4,3,1)
              (5,1,2)
              (5,2,1)
(End)

Joerg Arndt, Table of n, a(n) for n = 1..5050 (rows 1..100, flattened).
B. Richmond and A. Knopfmacher, Compositions with distinct parts, Aequationes Mathematicae 49 (1995), pp. 86-97.
Index entries for sequences related to compositions

Columns (offset) include A057427 and A052928.
Row sums are A032020.
Cf. A060016, A072576.
A008289 is the version for partitions (zeros removed).
A072575 counts strict compositions by maximum.
A097805 is the non-strict version, or A007318 (zeros removed).
A113704 is the constant instead of strict version.
A216652 is a condensed version (zeros removed).
A336131 counts splittings of partitions with distinct sums.
A336139 counts strict compositions of each part of a strict composition.
Cf. A075900, A097910, A307068, A336127, A336128, A336130, A336132, A336141, A336142, A336342, A336343.

Table[Length[Select[Join@@Permutations/@Select[IntegerPartitions[n],UnsameQ@@#&],Length[#]==k&]],{n,0,15},{k,1,n}] (* Gus Wiseman, Oct 17 2022 *)

N=21;  q='q+O('q^N);
gf=sum(n=0,N, n! * z^n * q^((n^2+n)/2) / prod(k=1,n, 1-q^k ) );
/* print triangle: */
gf -= 1; /* remove row zero */
P=Pol(gf,'q);
{ for (n=1,N-1,
    p = Pol(polcoeff(P, n),'z);
    p += 'z^(n+1);  /* preserve trailing zeros */
    v = Vec(polrecip(p));
    v = vector(n,k,v[k]); /* trim to size n */
    print(v);
); }
/* Joerg Arndt, Oct 20 2012 */

T(n, k) = T(n-k, k)+k*T(n-k, k-1) [with T(n, 0)=1 if n=0 and 0 otherwise] = A000142(k)*A060016(n, k).

G.f.: sum(n>=0, n! * z^n * q^((n^2+n)/2) / prod(k=1..n, 1-q^k ) ), rows by powers of q, columns by powers of z; includes row 0 (drop term for n=0 for this triangle, see PARI code); setting z=1 gives g.f. for A032020. [Joerg Arndt, Oct 20 2012]

A336342 Number of ways to choose a partition of each part of a strict composition of n.

Original entry on oeis.org

1, 1, 2, 7, 11, 29, 81, 155, 312, 708, 1950, 3384, 7729, 14929, 32407, 81708, 151429, 305899, 623713, 1234736, 2463743, 6208978, 10732222, 22487671, 43000345, 86573952, 160595426, 324990308, 744946690, 1336552491, 2629260284, 5050032692, 9681365777

Offset: 0

Gus Wiseman, Jul 18 2020

nonn

A strict composition of n is a finite sequence of distinct positive integers summing to n.

Is there a simple generating function?

			The a(1) = 1 through a(4) = 11 ways:
  (1)  (2)    (3)        (4)
       (1,1)  (2,1)      (2,2)
              (1,1,1)    (3,1)
              (1),(2)    (1),(3)
              (2),(1)    (2,1,1)
              (1),(1,1)  (3),(1)
              (1,1),(1)  (1,1,1,1)
                         (1),(2,1)
                         (2,1),(1)
                         (1),(1,1,1)
                         (1,1,1),(1)

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

Multiset partitions of partitions are A001970.
Strict compositions are counted by A032020, A072574, and A072575.
Splittings of partitions are A323583.
Splittings of partitions with distinct sums are A336131.
Cf. A008289, A011782, A304786, A316245, A317715, A336128, A336132, A336134, A336135.
Partitions:
- Partitions of each part of a partition are A063834.
- Compositions of each part of a partition are A075900.
- Strict partitions of each part of a partition are A270995.
- Strict compositions of each part of a partition are A336141.
Strict partitions:
- Partitions of each part of a strict partition are A271619.
- Compositions of each part of a strict partition are A304961.
- Strict partitions of each part of a strict partition are A279785.
- Strict compositions of each part of a strict partition are A336142.
Compositions:
- Partitions of each part of a composition are A055887.
- Compositions of each part of a composition are A133494.
- Strict partitions of each part of a composition are A304969.
- Strict compositions of each part of a composition are A307068.
Strict compositions:
- Partitions of each part of a strict composition are A336342.
- Compositions of each part of a strict composition are A336127.
- Strict partitions of each part of a strict composition are A336343.
- Strict compositions of each part of a strict composition are A336139.

Table[Length[Join@@Table[Tuples[IntegerPartitions/@ctn],{ctn,Join@@Permutations/@Select[IntegerPartitions[n],UnsameQ@@#&]}]],{n,0,10}]

seq(n)={[subst(serlaplace(p),y,1) | p<-Vec(prod(k=1, n, 1 + y*x^k*numbpart(k) + O(x*x^n)))]} \\ Andrew Howroyd, Apr 16 2021

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

A307068 Expansion of 1/(1 - Sum_{k>=1} k!x^(k(k+1)/2) / Product_{j=1..k} (1 - x^j)).

Original entry on oeis.org

1, 1, 2, 6, 14, 34, 88, 216, 532, 1322, 3290, 8142, 20192, 50080, 124144, 307878, 763474, 1893038, 4694060, 11639580, 28861736, 71567206, 177460750, 440037738, 1091134276, 2705618900, 6708953156, 16635775698, 41250705518, 102286806130, 253634237896, 628921097352, 1559496588628

Offset: 0

Ilya Gutkovskiy, Mar 22 2019

nonn

Invert transform of A032020.
Number of ways to choose a strict composition of each part of a composition of n. - Gus Wiseman, Jul 18 2020
The Invert transform T(a) of a sequence a is given by T(a)n = Sum_c Product_i a(c_i), where the sum is over all compositions c of n. - _Gus Wiseman, Aug 01 2020

			From _Gus Wiseman_, Jul 18 2020: (Start)
The a(1) = 1 through a(4) = 14 ways to choose a strict composition of each part of a composition:
    (1)  (2)      (3)          (4)
         (1),(1)  (1,2)        (1,3)
                  (2,1)        (3,1)
                  (1),(2)      (1),(3)
                  (2),(1)      (2),(2)
                  (1),(1),(1)  (3),(1)
                               (1),(1,2)
                               (1),(2,1)
                               (1,2),(1)
                               (2,1),(1)
                               (1),(1),(2)
                               (1),(2),(1)
                               (2),(1),(1)
                               (1),(1),(1),(1)
(End)

Alois P. Heinz, Table of n, a(n) for n = 0..2536

The version for partitions is A270995.
Starting with a strict composition gives A336139.
Strict compositions are counted by A032020.
Partitions of each part of a partition are A063834.
Compositions of each part of a partition are A075900.
Compositions of each part of a composition are A133494.
Strict partitions of each part of a strict partition are A279785.
Compositions of each part of a strict partition are A304961.
Strict partitions of each part of a composition are A304969.
Compositions of each part of a strict composition are A336127.
Set partitions of strict compositions are A336140.
Strict compositions of each part of a partition are A336141.
Cf. A001970, A307067, A317536, A318683, A318684, A319794, A323583, A336128, A336130, A336132.

m:=80;
R:=PowerSeriesRing(Integers(), m);
Coefficients(R!( 1/(1 - (&+[Factorial(k)*x^Binomial(k+1,2)/(&*[ 1-x^j: j in [1..k]]): k in [1..m+2]]) ) )); // G. C. Greubel, Jan 25 2024

T:= proc(n, k) option remember; `if`(k<0 or n<0, 0,
      `if`(k=0, `if`(n=0, 1, 0), T(n-k, k) +k*T(n-k, k-1)))
    end:
g:= proc(n) option remember; add(T(n, k), k=0..floor((sqrt(8*n+1)-1)/2)) end:
a:= proc(n) option remember; `if`(n<1, 1,
      add(a(n-i)*g(i), i=1..n))
    end:
seq(a(n), n=0..32);  # Alois P. Heinz, Dec 16 2022

nmax = 32; CoefficientList[Series[1/(1 - Sum[k!*x^(k*(k+1)/2)/Product[ (1-x^j), {j,k}], {k,nmax}]), {x, 0, nmax}], x]

m=80;
def p(x, j): return product(1-x^k for k in range(1,j+1))
def f(x): return 1/(1 - sum(factorial(j)*x^binomial(j+1,2)/p(x,j) for j in range(1, m+3)) )
def A307068_list(prec):
    P. = PowerSeriesRing(QQ, prec)
    return P( f(x) ).list()
A307068_list(m) # G. C. Greubel, Jan 25 2024

a(0) = 1; a(n) = Sum_{k=1..n} A032020(k)*a(n-k).

A355384 Number of pairs (y, v) where y is a composition of n and v is a (not necessarily contiguous) subsequence of y whose length equals the number of distinct parts in y.

Original entry on oeis.org

1, 1, 2, 4, 12, 30, 66, 164, 419, 1049, 2625, 6372, 15451, 37335, 89855, 216523, 518714, 1235897, 2930050, 6911149, 16217817, 37914515, 88304358, 204971388, 474172899, 1093547574, 2513959446, 5761735383, 13165908506, 29998936859, 68164839887, 154478212575

Offset: 0

Gus Wiseman, Jul 01 2022

nonn

If a composition is regarded as an arrow from the number of parts to the number of distinct parts, this sequence counts composable containments of compositions.

			The initial terms count the following containments:
  ()()  (1)(1)  (2)(2)   (3)(3)    (4)(4)
                (11)(1)  (21)(21)  (31)(31)
                         (12)(12)  (13)(13)
                         (111)(1)  (22)(2)
                                   (211)(11)
                                   (211)(21)
                                   (121)(11)
                                   (121)(12)
                                   (121)(21)
                                   (112)(11)
                                   (112)(12)
                                   (1111)(1)

Christian Sievers, Table of n, a(n) for n = 0..59

The homog. case is A032020, w/o containment A355388 (partitions A355385).
For partitions we have A355383, homog. A000009, w/ multiplicity A339006.
A000244 counts splittings of compositions, for partitions A323583.
Cf. A001970, A022811, A063834, A070933, A072706, A133494, A336139.

Table[Sum[Length[Union[Subsets[y,{Length[Union[y]]}]]],{y,Join@@Permutations/@IntegerPartitions[n]}],{n,0,5}]

a(21) and beyond from Christian Sievers, May 08 2025

A336343 Number of ways to choose a strict partition of each part of a strict composition of n.

Original entry on oeis.org

1, 1, 1, 4, 6, 11, 26, 39, 78, 142, 320, 488, 913, 1558, 2798, 5865, 9482, 16742, 28474, 50814, 82800, 172540, 266093, 472432, 790824, 1361460, 2251665, 3844412, 7205416, 11370048, 19483502, 32416924, 54367066, 88708832, 149179800, 239738369, 445689392

Offset: 0

Gus Wiseman, Jul 19 2020

nonn

A strict composition of n (A032020) is a finite sequence of distinct positive integers summing to n.

Is there a simple generating function?

			The a(1) = 1 through a(5) = 11 ways:
  (1)  (2)  (3)      (4)        (5)
            (2,1)    (3,1)      (3,2)
            (1),(2)  (1),(3)    (4,1)
            (2),(1)  (3),(1)    (1),(4)
                     (1),(2,1)  (2),(3)
                     (2,1),(1)  (3),(2)
                                (4),(1)
                                (1),(3,1)
                                (2,1),(2)
                                (2),(2,1)
                                (3,1),(1)

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

Multiset partitions of partitions are A001970.
Strict compositions are counted by A032020, A072574, and A072575.
Splittings of strict partitions are A072706.
Set partitions of strict partitions are A294617.
Splittings of partitions with distinct sums are A336131.
Cf. A008289, A011782, A304786, A318683, A318684, A319794, A323583, A336128, A336130, A336132, A336133.
Partitions:
- Partitions of each part of a partition are A063834.
- Compositions of each part of a partition are A075900.
- Strict partitions of each part of a partition are A270995.
- Strict compositions of each part of a partition are A336141.
Strict partitions:
- Partitions of each part of a strict partition are A271619.
- Compositions of each part of a strict partition are A304961.
- Strict partitions of each part of a strict partition are A279785.
- Strict compositions of each part of a strict partition are A336142.
Compositions:
- Partitions of each part of a composition are A055887.
- Compositions of each part of a composition are A133494.
- Strict partitions of each part of a composition are A304969.
- Strict compositions of each part of a composition are A307068.
Strict compositions:
- Partitions of each part of a strict composition are A336342.
- Compositions of each part of a strict composition are A336127.
- Strict partitions of each part of a strict composition are A336343.
- Strict compositions of each part of a strict composition are A336139.

strptn[n_]:=Select[IntegerPartitions[n],UnsameQ@@#&];
Table[Length[Join@@Table[Tuples[strptn/@ctn],{ctn,Join@@Permutations/@strptn[n]}]],{n,0,10}]

\\ here Q(N) gives A000009 as a vector.
Q(n) = {Vec(eta(x^2 + O(x*x^n))/eta(x + O(x*x^n)))}
seq(n)={my(b=Q(n)); [subst(serlaplace(p),y,1) | p<-Vec(prod(k=1, n, 1 + y*x^k*b[1+k] + O(x*x^n)))]} \\ Andrew Howroyd, Apr 16 2021

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

A336141 Number of ways to choose a strict composition of each part of an integer partition of n.

Original entry on oeis.org

1, 1, 2, 5, 9, 17, 41, 71, 138, 270, 518, 938, 1863, 3323, 6163, 11436, 20883, 37413, 69257, 122784, 221873, 397258, 708142, 1249955, 2236499, 3917628, 6909676, 12130972, 21251742, 36973609, 64788378, 112103360, 194628113, 336713377, 581527210, 1000153063

Offset: 0

Gus Wiseman, Jul 18 2020

nonn

A strict composition of n is a finite sequence of distinct positive integers summing to n.

			The a(1) = 1 through a(5) = 17 ways:
  (1)  (2)      (3)          (4)              (5)
       (1),(1)  (1,2)        (1,3)            (1,4)
                (2,1)        (3,1)            (2,3)
                (2),(1)      (2),(2)          (3,2)
                (1),(1),(1)  (3),(1)          (4,1)
                             (1,2),(1)        (3),(2)
                             (2,1),(1)        (4),(1)
                             (2),(1),(1)      (1,2),(2)
                             (1),(1),(1),(1)  (1,3),(1)
                                              (2,1),(2)
                                              (3,1),(1)
                                              (2),(2),(1)
                                              (3),(1),(1)
                                              (1,2),(1),(1)
                                              (2,1),(1),(1)
                                              (2),(1),(1),(1)
                                              (1),(1),(1),(1),(1)

Alois P. Heinz, Table of n, a(n) for n = 0..5623

Multiset partitions of partitions are A001970.
Strict compositions are counted by A032020, A072574, and A072575.
Splittings of partitions are A323583.
Splittings of partitions with distinct sums are A336131.
Cf. A008289, A011782, A304786, A316245, A318684, A319794, A336128, A336130, A336132, A336135.
Partitions:
- Partitions of each part of a partition are A063834.
- Compositions of each part of a partition are A075900.
- Strict partitions of each part of a partition are A270995.
- Strict compositions of each part of a partition are A336141.
Strict partitions:
- Partitions of each part of a strict partition are A271619.
- Compositions of each part of a strict partition are A304961.
- Strict partitions of each part of a strict partition are A279785.
- Strict compositions of each part of a strict partition are A336142.
Compositions:
- Partitions of each part of a composition are A055887.
- Compositions of each part of a composition are A133494.
- Strict partitions of each part of a composition are A304969.
- Strict compositions of each part of a composition are A307068.
Strict compositions:
- Partitions of each part of a strict composition are A336342.
- Compositions of each part of a strict composition are A336127.
- Strict partitions of each part of a strict composition are A336343.
- Strict compositions of each part of a strict composition are A336139.

b:= proc(n, i, p) option remember; `if`(i*(i+1)/2 g(n$2):
seq(a(n), n=0..38);  # Alois P. Heinz, Jul 31 2020

Table[Length[Join@@Table[Tuples[Join@@Permutations/@Select[IntegerPartitions[#],UnsameQ@@#&]&/@ctn],{ctn,IntegerPartitions[n]}]],{n,0,10}]
(* Second program: *)
b[n_, i_, p_] := b[n, i, p] = If[i(i+1)/2 < n, 0,
     If[n==0, p!, b[n, i-1, p] + b[n-i, Min[n-i, i-1], p+1]]];
g[n_, i_] := g[n, i] = If[n==0 || i==1, 1, g[n, i-1] +
     b[i, i, 0] g[n-i, Min[n-i, i]]];
a[n_] := g[n, n];
a /@ Range[0, 38] (* Jean-François Alcover, May 20 2021, after Alois P. Heinz *)

G.f.: Product_{k >= 1} 1/(1 - A032020(k)*x^k).

A355388 Number of composable pairs (y, v) of integer compositions of n, where a composition is regarded as an arrow from the number of parts to the number of distinct parts.

Original entry on oeis.org

1, 1, 2, 6, 18, 58, 174, 536, 1656, 4947, 14800, 43157, 126572, 364070, 1039926, 2938898, 8223400, 22846370, 62930113, 172177400, 467002792, 1259736804, 3371190792, 8973530491, 23728305128, 62421018163, 163255839779, 424842462529, 1100006243934, 2834558927244, 7270915592897

Offset: 0

Gus Wiseman, Jul 02 2022

nonn

Being composable here means that the length of v equals the number of distinct parts in y.

			The a(0) = 1 through a(4) = 18 pairs:
  ()()  (1)(1)  (2)(2)   (3)(3)    (4)(4)
                (11)(2)  (21)(21)  (31)(31)
                         (21)(12)  (31)(13)
                         (12)(21)  (31)(22)
                         (12)(12)  (13)(31)
                         (111)(3)  (13)(13)
                                   (13)(22)
                                   (22)(4)
                                   (211)(31)
                                   (211)(13)
                                   (211)(22)
                                   (121)(31)
                                   (121)(13)
                                   (121)(22)
                                   (112)(31)
                                   (112)(13)
                                   (112)(22)
                                   (1111)(4)

Alois P. Heinz, Table of n, a(n) for n = 0..800 (first 201 terms from Andrew Howroyd)

The case with containment is A032020.
The inhomogeneous version with containment is A355384, partitions A355383.
The version for partitions is A355385, with containment A000009.
A133494 counts compositions of each part of a composition, strict A336139.
A323583 counts splittings of partitions.
Cf. A001970, A022811, A063834, A070933, A316245, A319910, A355382.

b:= proc(n, i, p) option remember; `if`(n=0, p!, `if`(i<1, 0,
      expand(add(b(n-i*j, i-1, p+j)/j!*`if`(j=0, 1, x), j=0..n/i))))
    end:
a:= n-> (p-> add(coeff(p, x, i)*binomial(n-1, i-1), i=0..degree(p)))(b(n$2, 0)):
seq(a(n), n=0..30);  # Alois P. Heinz, Jan 01 2023

Table[Length[Select[Tuples[Join@@Permutations/@IntegerPartitions[n],2], Length[Union[#[[1]]]]==Length[#[[2]]]&]],{n,0,10}]

a(n) = {if(n==0, 1, my(s=0); forpart(p=n, p=Vec(p); my(S=Set(p)); s += binomial(n-1, #S-1)*(#p)!/prod(i=1, #S, my(c=#select(t->t==S[i], p)); c! )); s)} \\ Andrew Howroyd, Jan 01 2023

\\ for larger n.
a(n) = { local(Cache=Map());
  my(F(r,m,p,q) = my(key=[r,m,p,q], z); if(!mapisdefined(Cache, key, &z),
  z = if(m==0, if(r==0, p!*binomial(n-1, q-1)), self()(r, m-1, p, q) + sum(j=1, r\m, self()(r-j*m, min(m-1, r-j*m), p+j, q+1)/j!));
  mapput(Cache, key, z) ); z);
  if(n==0, 1, F(n, n, 0, 0))
} \\ Andrew Howroyd, Jan 01 2023

a(n) = Sum_{k>=1} binomial(n-1, k-1)*A235998(n, k) for n > 0. - Andrew Howroyd, Jan 01 2023

Terms a(14) and beyond from Andrew Howroyd, Jan 01 2023

A336142 Number of ways to choose a strict composition of each part of a strict integer partition of n.

Original entry on oeis.org

1, 1, 1, 4, 6, 11, 22, 41, 72, 142, 260, 454, 769, 1416, 2472, 4465, 7708, 13314, 23630, 40406, 68196, 119646, 203237, 343242, 586508, 993764, 1677187, 2824072, 4753066, 7934268, 13355658, 22229194, 36945828, 61555136, 102019156, 168474033, 279181966

Offset: 0

Gus Wiseman, Jul 18 2020

nonn

A strict composition of n is a finite sequence of distinct positive integers summing to n.

			The a(1) = 1 through a(5) = 11 ways:
  (1)  (2)  (3)      (4)        (5)
            (1,2)    (1,3)      (1,4)
            (2,1)    (3,1)      (2,3)
            (2),(1)  (3),(1)    (3,2)
                     (1,2),(1)  (4,1)
                     (2,1),(1)  (3),(2)
                                (4),(1)
                                (1,2),(2)
                                (1,3),(1)
                                (2,1),(2)
                                (3,1),(1)

Alois P. Heinz, Table of n, a(n) for n = 0..7725

Multiset partitions of partitions are A001970.
Strict compositions are counted by A032020, A072574, and A072575.
Splittings of partitions are A323583.
Splittings of partitions with distinct sums are A336131.
Cf. A008289, A316245, A318684, A319794, A336128, A336130, A336132, A336135.
Partitions:
- Partitions of each part of a partition are A063834.
- Compositions of each part of a partition are A075900.
- Strict partitions of each part of a partition are A270995.
- Strict compositions of each part of a partition are A336141.
Strict partitions:
- Partitions of each part of a strict partition are A271619.
- Compositions of each part of a strict partition are A304961.
- Strict partitions of each part of a strict partition are A279785.
- Strict compositions of each part of a strict partition are A336142.
Compositions:
- Partitions of each part of a composition are A055887.
- Compositions of each part of a composition are A133494.
- Strict partitions of each part of a composition are A304969.
- Strict compositions of each part of a composition are A307068.
Strict compositions:
- Partitions of each part of a strict composition are A336342.
- Compositions of each part of a strict composition are A336127.
- Strict partitions of each part of a strict composition are A336343.
- Strict compositions of each part of a strict composition are A336139.

b:= proc(n, i, p) option remember; `if`(i*(i+1)/2 g(n$2):
seq(a(n), n=0..38);  # Alois P. Heinz, Jul 31 2020

strptn[n_]:=Select[IntegerPartitions[n],UnsameQ@@#&];
Table[Length[Join@@Table[Tuples[Join@@Permutations/@strptn[#]&/@ctn],{ctn,strptn[n]}]],{n,0,20}]
(* Second program: *)
b[n_, i_, p_] := b[n, i, p] = If[i(i+1)/2 < n, 0,
     If[n == 0, p!, b[n, i-1, p] + b[n-i, Min[n-i, i-1], p+1]]];
g[n_, i_] := g[n, i] = If[i(i+1)/2 < n, 0,
     If[n == 0, 1, g[n, i-1] + b[i, i, 0]*g[n-i, Min[n-i, i-1]]]];
a[n_] := g[n, n];
a /@ Range[0, 38] (* Jean-François Alcover, May 20 2021, after Alois P. Heinz *)

G.f.: Product_{k >= 1} (1 + A032020(k)*x^k).

A355387 Number of ways to choose a distinct subsequence of an integer composition of n.

Original entry on oeis.org

1, 2, 5, 14, 37, 98, 259, 682, 1791, 4697, 12303, 32196, 84199, 220087, 575067, 1502176, 3923117, 10244069, 26746171, 69825070, 182276806, 475804961, 1241965456, 3241732629, 8461261457, 22084402087, 57640875725, 150442742575, 392652788250, 1024810764496

Offset: 0

Gus Wiseman, Jul 04 2022

nonn

By "distinct" we mean equal subsequences are counted only once. For example, the pair (1,1)(1) is counted only once even though (1) is a subsequence of (1,1) in two ways. The version with multiplicity is A025192.

			The a(3) = 14 pairings of a composition with a chosen subsequence:
  (3)()     (3)(3)
  (21)()    (21)(1)   (21)(2)    (21)(21)
  (12)()    (12)(1)   (12)(2)    (12)(12)
  (111)()   (111)(1)  (111)(11)  (111)(111)

Christian Sievers, Table of n, a(n) for n = 0..2000

For partitions we have A000712, composable A339006.
The homogeneous version is A011782, without containment A000302.
With multiplicity we have A025192, for partitions A070933.
The strict case is A032005.
The case of strict subsequences is A236002.
The composable case is A355384, homogeneous without containment A355388.
A075900 counts compositions of each part of a partition.
A304961 counts compositions of each part of a strict partition.
A307068 counts strict compositions of each part of a composition.
A336127 counts compositions of each part of a strict composition.
Cf. A011782, A022811, A032020, A063834, A133494, A181591, A323583, A331330, A336128, A336130, A336139, A355382, A355383.

Table[Sum[Length[Union[Subsets[y]]],{y,Join@@Permutations/@IntegerPartitions[n]}],{n,0,6}]

lista(n)=my(f=sum(k=1,n,(x^k+x*O(x^n))/(1-x/(1-x)+x^k)));Vec((1-x)/((1-2*x)*(1-f))) \\ Christian Sievers, May 06 2025

G.f.: (1-x)/((1-2*x)*(1-f)) where f = Sum_{k>=1} x^k/(1-x/(1-x)+x^k) is the generating function for A331330. - Christian Sievers, May 06 2025

a(16) and beyond from Christian Sievers, May 06 2025

cp's OEIS Frontend

A133494 Diagonal of the array of iterated differences of A047848.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

PARI

SageMath

Formula

Extensions

A072574 Triangle T(n,k) of number of compositions (ordered partitions) of n into exactly k distinct parts, 1<=k<=n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A336342 Number of ways to choose a partition of each part of a strict composition of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A307068 Expansion of 1/(1 - Sum_{k>=1} k!*x^(k*(k+1)/2) / Product_{j=1..k} (1 - x^j)).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

SageMath

Formula

A355384 Number of pairs (y, v) where y is a composition of n and v is a (not necessarily contiguous) subsequence of y whose length equals the number of distinct parts in y.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

A336343 Number of ways to choose a strict partition of each part of a strict composition of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A336141 Number of ways to choose a strict composition of each part of an integer partition of n.

A307068 Expansion of 1/(1 - Sum_{k>=1} k!x^(k(k+1)/2) / Product_{j=1..k} (1 - x^j)).