A271619 -id:A271619 - cp's OEIS frontend

A063834 Twice partitioned numbers: the number of ways a number can be partitioned into not necessarily different parts and each part is again so partitioned.

1, 1, 3, 6, 15, 28, 66, 122, 266, 503, 1027, 1913, 3874, 7099, 13799, 25501, 48508, 88295, 165942, 299649, 554545, 997281, 1817984, 3245430, 5875438, 10410768, 18635587, 32885735, 58399350, 102381103, 180634057, 314957425, 551857780, 958031826, 1667918758

Offset: 0

Wouter Meeussen, Aug 21 2001

These are different from plane partitions.
For ordered partitions of partitions see A055887 which may be computed from A036036 and A048996. - Alford Arnold, May 19 2006
Twice partitioned numbers correspond to triangles (or compositions) in the multiorder of integer partitions. - Gus Wiseman, Oct 28 2015

			G.f. = 1 + x + 3*x^2 + 6*x^3 + 15*x^4 + 28*x^5 + 66*x^6 + 122*x^7 + 266*x^8 + ...
If n=6, a possible first partitioning is (3+3), resulting in the following second partitionings: ((3),(3)), ((3),(2+1)), ((3),(1+1+1)), ((2+1),(3)), ((2+1),(2+1)), ((2+1),(1+1+1)), ((1+1+1),(3)), ((1+1+1),(2+1)), ((1+1+1),(1+1+1)).

Alois P. Heinz, Table of n, a(n) for n = 0..5000 (terms n=1..500 from T. D. Noe)
Vaclav Kotesovec, Screenshot - A closed form formula for the constant c
Gus Wiseman, Comcategories and Multiorders
Gus Wiseman, Sequences enumerating triangles of integer partitions
Gus Wiseman, On the Categorical Structure of Weakly Ordered Sequences of Integer Partitions

Cf. A063835, A196545.
Cf. A036036, A048996, A055887.
Cf. A006906, A270995.
Cf. A007425, A047966, A047968, A271619, A279375, A279784-A279791.
The strict case is A296122.
Row sums of A321449.
Column k=2 of A323718.
Without singletons we have A327769, A358828, A358829.
For odd lengths we have A358823, A358824.
For distinct lengths we have A358830, A358912.
For strict partitions see A358914, A382524.
A000041 counts integer partitions, strict A000009.
A001970 counts multiset partitions of integer partitions.
Cf. A075900, A358831, A358833, A358906, A358908, A358909.

with(combinat):
b:= proc(n, i) option remember; `if`(n=0 or i=1, 1,
      b(n, i-1)+`if`(i>n, 0, numbpart(i)*b(n-i, i)))
    end:
a:= n-> b(n$2):
seq(a(n), n=0..50);  # Alois P. Heinz, Nov 26 2015

Table[Plus @@ Apply[Times, IntegerPartitions[i] /. i_Integer :> PartitionsP[i], 2], {i, 36}]
(* second program: *)
b[n_, i_] := b[n, i] = If[n==0 || i==1, 1, b[n, i-1] + If[i > n, 0, PartitionsP[i]*b[n-i, i]]]; a[n_] := b[n, n]; Table[a[n], {n, 0, 50}] (* Jean-François Alcover, Jan 20 2016, after Alois P. Heinz *)

{a(n) = if( n<0, 0, polcoeff( 1 / prod(k=1, n, 1 - numbpart(k) * x^k, 1 + x * O(x^n)), n))}; /* Michael Somos, Dec 19 2016 */

G.f.: 1/Product_{k>0} (1-A000041(k)*x^k). n*a(n) = Sum_{k=1..n} b(k)*a(n-k), a(0) = 1, where b(k) = Sum_{d|k} d*A000041(d)^(k/d) = 1, 5, 10, 29, 36, 110, 106, ... . - Vladeta Jovovic, Jun 19 2003
From Vaclav Kotesovec, Mar 27 2016: (Start)
a(n) ~ c * 5^(n/4), where
c = 96146522937.7161898848278970039269600938032826... if n mod 4 = 0
c = 96146521894.9433858914667933636782092683849082... if n mod 4 = 1
c = 96146522937.2138934755566928890704687838407524... if n mod 4 = 2
c = 96146521894.8218716328341714149619262713426755... if n mod 4 = 3
(End)

a(0)=1 prepended by Alois P. Heinz, Nov 26 2015

A001970 Functional determinants; partitions of partitions; Euler transform applied twice to all 1's sequence.

Original entry on oeis.org

1, 1, 3, 6, 14, 27, 58, 111, 223, 424, 817, 1527, 2870, 5279, 9710, 17622, 31877, 57100, 101887, 180406, 318106, 557453, 972796, 1688797, 2920123, 5026410, 8619551, 14722230, 25057499, 42494975, 71832114, 121024876, 203286806, 340435588, 568496753, 946695386

Offset: 0

N. J. A. Sloane

a(n) = number of partitions of n, when for each k there are p(k) different copies of part k. E.g., let the parts be 1, 2a, 2b, 3a, 3b, 3c, 4a, 4b, 4c, 4d, 4e, ... Then the a(4) = 14 partitions of 4 are: 4 = 4a = 4b = ... = 4e = 3a+1 = 3b+1 = 3c+1 = 2a+2a = 2a+2b = 2b+2b = 2a+1 = 2b+1 = 1+1+1+1.
Equivalently (Cayley), a(n) = number of 2-dimensional partitions of n. E.g., for n = 4 we have:
  4   31   3   22   2   211   21   2    2   1111   111   11    11   1
           1        2         1    11   1          1     11    1    1
                                        1                      1    1
                                                                    1
Also total number of different species of singularity for conjugate functions with n letters (Sylvester).
According to [Belmans], this sequence gives "[t]he number of Segre symbols for the intersection of two quadrics in a fixed dimension". - Eric M. Schmidt, Sep 02 2017
From Gus Wiseman, Jul 30 2022: (Start)
Also the number of non-isomorphic multiset partitions of weight n with all constant blocks. The strict case is A089259. For example, non-isomorphic representatives of the a(1) = 1 through a(3) = 6 multiset partitions are:
  {{1}}  {{1,1}}    {{1,1,1}}
         {{1},{1}}  {{1},{1,1}}
         {{1},{2}}  {{1},{2,2}}
                    {{1},{1},{1}}
                    {{1},{2},{2}}
                    {{1},{2},{3}}
A000688 counts factorizations into prime powers.
A007716 counts non-isomorphic multiset partitions by weight.
A279784 counts twice-partitions of type PPR, factorizations A295935.
Constant partitions are ranked by prime-powers: A000961, A023894, A054685, A246655, A355743.
(End)

			G.f. = 1 + x + 3*x^2 + 6*x^3 + 15*x^4 + 28*x^5 + 66*x^6 + 122*x^7 + ...
a(3) = 6 because we have (111) = (111) = (11)(1) = (1)(1)(1), (12) = (12) = (1)(2), (3) = (3).
The a(4)=14 multiset partitions whose total sum of parts is 4 are:
((4)),
((13)), ((1)(3)),
((22)), ((2)(2)),
((112)), ((1)(12)), ((2)(11)), ((1)(1)(2)),
((1111)), ((1)(111)), ((11)(11)), ((1)(1)(11)), ((1)(1)(1)(1)). - _Gus Wiseman_, Dec 19 2016

A. Cayley, Recherches sur les matrices dont les termes sont des fonctions linéaires d'une seule indéterminée, J. Reine angew. Math., 50 (1855), 313-317; Collected Mathematical Papers. Vols. 1-13, Cambridge Univ. Press, London, 1889-1897, Vol. 2, p. 219.
V. A. Liskovets, Counting rooted initially connected directed graphs. Vesci Akad. Nauk. BSSR, ser. fiz.-mat., No 5, 23-32 (1969), MR44 #3927.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
J. J. Sylvester, An Enumeration of the Contacts of Lines and Surfaces of the Second Order, Phil. Mag. 1 (1851), 119-140. Reprinted in Collected Papers, Vol. 1. See p. 239, where one finds a(n)-2, but with errors.
J. J. Sylvester, Note on the 'Enumeration of the Contacts of Lines and Surfaces of the Second Order', Phil. Mag., Vol. VII (1854), pp. 331-334. Reprinted in Collected Papers, Vol. 2, pp. 30-33.

Reinhard Zumkeller, Table of n, a(n) for n = 0..5000 (first 500 terms from T. D. Noe)
Pieter Belmans, Segre symbols, 2016.
Philip Boalch, Counting the fission trees and nonabelian Hodge graphs, arXiv:2410.23358 [math.AG], 2024. See pp. 10, 16.
P. J. Cameron, Some sequences of integers, Discrete Math., 75 (1989), 89-102; also in "Graph Theory and Combinatorics 1988", ed. B. Bollobas, Annals of Discrete Math., 43 (1989), 89-102.
P. J. Cameron, Sequences realized by oligomorphic permutation groups, J. Integ. Seqs. Vol. 3 (2000), #00.1.5.
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 148
R. Kaneiwa, An asymptotic formula for Cayley's double partition function p(2; n), Tokyo J. Math. 2, 137-158 (1979).
L. Kaylor and D. Offner, Counting matrices over a finite field with all eigenvalues in the field, Involve, a Journal of Mathematics, Vol. 7 (2014), No. 5, 627-645. [DOI]
M. Kozek, F. Luca, P. Pollack, and C. Pomerance, Harmonious pairs, 2014.
M. Kozek, F. Luca, P. Pollack, and C. Pomerance, Harmonious numbers, IJNT, to appear.
XiKun Li, JunLi Li, Bin Liu and CongFeng Qiao, The parametric symmetry and numbers of the entangled class of 2 × M × N system, Science China Physics, Mechanics & Astronomy, Volume 54, Number 8, 1471-1475, DOI: 10.1007/s11433-011-4395-9.
Jessie Pitsillides, Segre Characteristic Equivalence, arXiv:2506.12065 [math.GM], 2025.
Paul Pollack and Carl Pomerance, Some problems of Erdős on the sum-of-divisors function, For Richard Guy on his 99th birthday: May his sequence be unbounded, Trans. Amer. Math. Soc. Ser. B, Vol. 3 (2016), pp. 1-26; Errata.
N. J. A. Sloane, Transforms.
N. J. A. Sloane and Thomas Wieder, The Number of Hierarchical Orderings, arXiv:math/0307064 [math.CO], 2003; Order 21 (2004), 83-89.
J. J. Sylvester, The collected mathematical papers of James Joseph Sylvester, vol. 2, vol. 3, vol. 4.
Index entries for sequences related to rooted trees

Related to A001383 via generating function.
The multiplicative version (factorizations) is A050336.
The ordered version (sequences of partitions) is A055887.
Row-sums of A061260.
Main diagonal of A055885.
We have A271619(n) <= a(n) <= A063834(n).
Column k=3 of A290353.
The strict case is A316980.
Cf. A000041, A061259, A006171, A061255, A061256, A061257, A089292, A000219.
Cf. A089300.
Cf. A001055, A072233, A112798, A275024.

Following Vladeta Jovovic:
a001970 n = a001970_list !! (n-1)
a001970_list = 1 : f 1 [1] where
   f x ys = y : f (x + 1) (y : ys) where
            y = sum (zipWith (*) ys a061259_list) `div` x
-- Reinhard Zumkeller, Oct 31 2015

with(combstruct); SetSetSetU := [T, {T=Set(S), S=Set(U,card >= 1), U=Set(Z,card >=1)},unlabeled];
# second Maple program:
with(numtheory): with(combinat):
a:= proc(n) option remember; `if`(n=0, 1, add(add(d*
      numbpart(d), d=divisors(j))*a(n-j), j=1..n)/n)
    end:
seq(a(n), n=0..35);  # Alois P. Heinz, Dec 19 2016

m = 32; f[x_] = Product[1/(1-x^k)^PartitionsP[k], {k, 1, m}]; CoefficientList[ Series[f[x], {x, 0, m-1}], x] (* Jean-François Alcover, Jul 19 2011, after g.f. *)

{a(n) = if( n<0, 0, polcoeff( 1 / prod(k=1, n, 1 - numbpart(k) * x^k + x * O(x^n)), n))}; /* Michael Somos, Dec 20 2016 */

from sympy.core.cache import cacheit
from sympy import npartitions, divisors
@cacheit
def a(n): return 1 if n == 0 else sum([sum([d*npartitions(d) for d in divisors(j)])*a(n - j) for j in range(1, n + 1)]) / n
[a(n) for n in range(51)]  # Indranil Ghosh, Aug 19 2017, after Maple code
# (Sage) # uses[EulerTransform from A166861]
b = BinaryRecurrenceSequence(0, 1, 1)
a = EulerTransform(EulerTransform(b))
print([a(n) for n in range(36)]) # Peter Luschny, Nov 17 2022

G.f.: Product_{k >= 1} 1/(1-x^k)^p(k), where p(k) = number of partitions of k = A000041. [Cayley]
a(n) = (1/n)*Sum_{k = 1..n} a(n-k)*b(k), n > 1, a(0) = 1, b(k) = Sum_{d|k} d*numbpart(d), where numbpart(d) = number of partitions of d, cf. A061259. - Vladeta Jovovic, Apr 21 2001
Logarithmic derivative yields A061259 (equivalent to above formula from Vladeta Jovovic). - Paul D. Hanna, Sep 05 2012
a(n) = Sum_{k=1..A000041(n)} A001055(A215366(n,k)) = number of factorizations of Heinz numbers of integer partitions of n. - Gus Wiseman, Dec 19 2016
a(n) = |{m>=1 : n = Sum_{k=1..A001222(m)} A056239(A112798(m,k)+1)}| = number of normalized twice-prime-factored multiset partitions (see A275024) whose total sum of parts is n. - Gus Wiseman, Dec 19 2016

Additional comments from Valery A. Liskovets

Sylvester references from Barry Cipra, Oct 07 2003

A270995 Expansion of Product_{k>=1} 1/(1 - A000009(k)*x^k).

Original entry on oeis.org

1, 1, 2, 4, 7, 12, 23, 37, 64, 108, 180, 290, 488, 772, 1251, 2001, 3180, 4982, 7913, 12261, 19162, 29669, 45804, 70187, 108029, 164276, 250267, 379439, 574067, 864044, 1302169, 1949050, 2917900, 4352796, 6481627, 9620256, 14274080, 21090608, 31142909

Offset: 0

Vaclav Kotesovec, Mar 28 2016

nonn

The number of ways a number can be partitioned into not necessarily distinct parts and then each part is partitioned into distinct parts. Also a(n) > A089259(n) for n>5. - Gus Wiseman, Apr 10 2016
From Gus Wiseman, Jul 31 2022: (Start)
Also the number of ways to choose a multiset partition into distinct constant multisets of a multiset of length n that covers an initial interval of positive integers with weakly decreasing multiplicities. This interpretation involves only multisets, not sequences. For example, the a(1) = 1 through a(4) = 7 multiset partitions are:
  {{1}}  {{1,1}}    {{1,1,1}}      {{1,1,1,1}}
         {{1},{2}}  {{1},{1,1}}    {{1},{1,1,1}}
                    {{2},{1,1}}    {{1,1},{2,2}}
                    {{1},{2},{3}}  {{2},{1,1,1}}
                                   {{1},{2},{1,1}}
                                   {{2},{3},{1,1}}
                                   {{1},{2},{3},{4}}
The weakly normal non-strict version is A055887.
The non-strict version is A063834.
The weakly normal version is A304969.
(End)

			a(6)=23: {(6), (5)(1), (51), (4)(2), (42), (4)(1)(1), (41)(1), (3)(3), (3)(2)(1), (3)(21), (32)(1), (31)(2), (21)(3), (321), (3)(1)(1)(1), (31)(1)(1), (2)(2)(2), (2)(2)(1)(1), (21)(2)(1), (21)(21), (2)(1)(1)(1)(1), (21)(1)(1)(1), (1)(1)(1)(1)(1)(1)}.

Vaclav Kotesovec, Table of n, a(n) for n = 0..5000
Vaclav Kotesovec, Graph - The asymptotic ratio (100000 terms)

Cf. A063834 (twice partitioned numbers), A271619, A279784, A327554, A327608.
The unordered version is A089259, non-strict A001970 (row-sums of A061260).
For compositions instead of partitions we have A304969, non-strict A055887.
A000041 counts integer partitions, strict A000009.
A072233 counts partitions by sum and length.

nmax = 50; CoefficientList[Series[Product[1/(1-PartitionsQ[k]*x^k), {k, 1, nmax}], {x, 0, nmax}], x]

From Vaclav Kotesovec, Mar 28 2016: (Start)
a(n) ~ c * n^2 * 2^(n/3), where
c = 436246966131366188.9451742926272200575837456478739... if mod(n,3) = 0
c = 436246966131366188.9351143199611598469443841182807... if mod(n,3) = 1
c = 436246966131366188.9322714926383227135786894927498... if mod(n,3) = 2
(End)

A273873 Number of strict trees of weight n.

Original entry on oeis.org

1, 1, 2, 3, 6, 12, 28, 65, 166, 412, 1076, 2806, 7524, 20020, 54744, 148417, 410078, 1126732, 3144500, 8728570, 24555900, 68713420, 194469616, 548088278, 1559301428, 4418131108, 12628267512, 35957541462, 103150588492, 294924202032, 848878072440, 2435729999665

Offset: 1

Gus Wiseman, Jun 01 2016

nonn

A strict tree t is either (case 1) a positive integer t = n, or (case 2) a set t = {t1, t2, ..., tk} of two or more strict trees (i.e. branches) with distinct weights, where the weight of a strict tree in the second case is the sum of the weights of its branches; hence the multiset of weights is a strict integer partition of n. For example, {{{{{2,1},1},2},3},{4,{2,1}},{2,1},1} is a strict tree of weight 20.

			a(6) = 12: {6, (51), (42), ((41)1), (321), ((31)2), ((32)1), (((31)1)1), ((21)21), (((21)1)2), (((21)2)1), ((((21)1)1)1)}.

Alois P. Heinz, Table of n, a(n) for n = 1..2000
H. Gingold and A. Knopfmacher, Analytic properties of power product expansions, Canad. J. Math. 47(1995), 1219-1239
Gus Wiseman, Comcategories and Multiorders, (pdf version)
Gus Wiseman, All strict trees n=1..6.

Cf. A196545 (weakly ordered plane trees); A220418, A220420 (power product expansions); A271619, A063834 (twice partitioned numbers), A289501.

b:= proc(n, i) option remember; `if`(i*(i+1)/2 1+b(n, n-1):
seq(a(n), n=1..35);  # Alois P. Heinz, Jun 02 2016

STE[n_Integer?Positive]:=STE[n]=1+Plus@@Map[Function[ptn,Times@@STE/@ptn],Select[IntegerPartitions[n],And[Length[#]>1,UnsameQ@@#]&]];
Array[STE,30]
(* Second program: *)
b[n_, i_] := b[n, i] = If[i(i + 1)/2 < n, 0,
     If[n == 0, 1, b[n, i - 1] + b[n - i, Min[n - i, i - 1]] a[i]]];
a[n_] := If[n == 0, 1, 1 + b[n, n - 1]];
a /@ Range[35] (* Jean-François Alcover, May 09 2021, after Alois P. Heinz *)

seq(n)={my(v=vector(n)); for(n=1, n, v[n] = 1 + polcoef(prod(k=1, n-1, 1 + v[k]*x^k + O(x*x^n)), n)); v} \\ Andrew Howroyd, Aug 26 2018

Sum_{g(t)=y} (-1)^{d(t)} = mu(|y|<={y_1,...,y_k}), where mu is the Mobius function of the multiorder of integer partitions, g(t) is the multiset of leaves of a strict tree t, and d(t) is the number of branchings.

Strict trees are closely related to the coefficients appearing in a(i) = Sum_y c(y_1)*...*c(y_k) where Sum_i c(i)*x^i = Prod_i (1 + a(i)*x^i). The latter identity is the formal power product expansion (PPE) of an (ordinary) generating function.

A305551 Number of partitions of partitions of n where all partitions have the same sum.

Original entry on oeis.org

1, 1, 3, 4, 9, 8, 22, 16, 43, 41, 77, 57, 201, 102, 264, 282, 564, 298, 1175, 491, 1878, 1509, 2611, 1256, 7872, 2421, 7602, 8026, 16304, 4566, 38434, 6843, 48308, 41078, 56582, 28228, 221115, 21638, 146331, 208142, 453017, 44584, 844773, 63262, 1034193, 1296708

Offset: 0

Gus Wiseman, Jun 20 2018

nonn

			The a(4) = 9 partitions of partitions where all partitions have the same sum:
(4), (31), (22), (211), (1111),
(2)(2), (2)(11), (11)(11),
(1)(1)(1)(1).

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

Cf. A000005, A001970, A001315, A007716, A038041, A055887, A063834, A271619, A289078, A298422, A306017.

Table[Sum[Binomial[PartitionsP[n/k]+k-1,k],{k,Divisors[n]}],{n,60}]

a(n)={if(n<1, n==0, sumdiv(n, d, binomial(numbpart(n/d) + d - 1, d)))} \\ Andrew Howroyd, Jun 22 2018

a(n) = Sum_{d|n} binomial(A000041(n/d) + d - 1, d).

A279375 Number of set partitions of strict integer partitions of n that have distinct block-sums.

Original entry on oeis.org

1, 1, 1, 3, 3, 5, 9, 12, 16, 24, 39, 49, 70, 94, 127, 202, 247, 340, 450, 606, 772, 1169, 1407, 1920, 2454, 3267, 4089, 5469, 7293, 9222, 11884, 15291, 19417, 24890, 31469, 39662, 52619, 64764, 82502, 103576, 131169, 162726, 206015, 254233, 318464, 406262, 499210, 620593, 773673, 957073, 1181593

Offset: 0

Gus Wiseman, Dec 11 2016

nonn

Also twice partitioned numbers where all partitions are strict. Also triangles of weight n in the multisystem of strict partitions. Strict partitions are an example of a multisystem that is neither transitive nor partitive nor contractible but is decomposable; see link for details.

			The a(6)=9 set partitions of strict integer partitions of 6 are: ((6)), ((51)), ((5)(1)), ((42)), ((4)(2)), ((321)), ((32)(1)), ((31)(2)), ((3)(2)(1)). The set partition ((3)(21)) is not counted because its blocks do not have distinct sums.

Alois P. Heinz, Table of n, a(n) for n = 0..100
Gus Wiseman, Comcategories and Multiorders (pdf version)

Cf. A063834, A089259, A258466, A270995, A271619, A275780, A279374.

nn=20;sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
Table[Total[Length[Select[sps[Sort[#]],UnsameQ@@Total/@#&]]&/@Select[IntegerPartitions[n],UnsameQ@@#&]],{n,nn}]

A279787 Twice-partitioned numbers where the first partition is constant.

Original entry on oeis.org

1, 1, 3, 4, 10, 8, 29, 16, 64, 58, 124, 57, 469, 102, 489, 763, 1597, 298, 3858, 491, 8942, 6355, 6187, 1256, 59076, 18766, 20830, 49694, 167078, 4566, 481186, 6843, 752128, 362907, 231592, 1597802, 5951007, 21638, 790404, 2655810, 25274798, 44584, 40898731

Offset: 0

Gus Wiseman, Dec 18 2016

nonn

			The a(4)=10 twice-partitions are:
((4)), ((31)), ((22)), ((211)), ((1111)),
((2)(2)), ((2)(11)), ((11)(2)), ((11)(11)),
((1)(1)(1)(1)).

Alois P. Heinz, Table of n, a(n) for n = 0..5723
Gus Wiseman, Illustration of the first 9 terms of A279787
Gus Wiseman, Sequences enumerating triangles of integer partitions

Cf. A000005, A000041, A018818, A063834, A260685, A271619.

with(numtheory): with(combinat):
a:= proc(n) option remember; `if`(n=0, 1,
      add(numbpart(n/d)^d, d=divisors(n)))
    end:
seq(a(n), n=0..70);  # Alois P. Heinz, Dec 20 2016

nn=20;Table[DivisorSum[n,Power[PartitionsP[#],n/#]&],{n,nn}]

a(n)=if(n==0, 1, sumdiv(n, d, numbpart(n/d)^d)) \\ Andrew Howroyd, Aug 26 2018

a(n) = Sum_{d|n} A000041(n/d)^d for n > 0. - Andrew Howroyd, Aug 26 2018

A304961 Expansion of Product_{k>=1} (1 + 2^(k-1)*x^k).

Original entry on oeis.org

1, 1, 2, 6, 12, 32, 72, 176, 384, 960, 2112, 4992, 11264, 26112, 58368, 136192, 301056, 688128, 1548288, 3489792, 7766016, 17596416, 38993920, 87293952, 194248704, 432537600, 957349888, 2132803584, 4699717632, 10406068224, 23001563136, 50683969536, 111434268672, 245819768832

Offset: 0

Ilya Gutkovskiy, May 22 2018

nonn

Number of compositions of partitions of n into distinct parts. a(3) = 6: 3, 21, 12, 111, 2|1, 11|1. - Alois P. Heinz, Sep 16 2019
Also the number of ways to split a composition of n into contiguous subsequences with strictly decreasing sums. - Gus Wiseman, Jul 13 2020
This sequence is obtained from the generalized Euler transform in A266964 by taking f(n) = -1, g(n) = (-1) * 2^(n-1). - Seiichi Manyama, Aug 22 2020

			From _Gus Wiseman_, Jul 13 2020: (Start)
The a(0) = 1 through a(4) = 12 splittings:
  ()  (1)  (2)    (3)        (4)
           (1,1)  (1,2)      (1,3)
                  (2,1)      (2,2)
                  (1,1,1)    (3,1)
                  (2),(1)    (1,1,2)
                  (1,1),(1)  (1,2,1)
                             (2,1,1)
                             (3),(1)
                             (1,1,1,1)
                             (1,2),(1)
                             (2,1),(1)
                             (1,1,1),(1)
(End)

Cf. A000009, A011782, A022629, A098407, A102866, A266964, A271619, A279785.
The non-strict version is A075900.
Starting with a reversed partition gives A323583.
Starting with a partition gives A336134.
Partitions of partitions are A001970.
Splittings with equal sums are A074854.
Splittings of compositions are A133494.
Splittings with distinct sums are A336127.
Cf. A006951, A063834, A316245, A317715, A319794, A323582, A336135, A336136.

nmax = 33; CoefficientList[Series[Product[(1 + 2^(k - 1) x^k), {k, 1, nmax}], {x, 0, nmax}], x]

N=40; x='x+O('x^N); Vec(prod(k=1, N, 1+2^(k-1)*x^k)) \\ Seiichi Manyama, Aug 22 2020

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

a(n) ~ 2^n * exp(2*sqrt(-polylog(2, -1/2)*n)) * (-polylog(2, -1/2))^(1/4) / (sqrt(6*Pi) * n^(3/4)). - Vaclav Kotesovec, Sep 19 2019

A358914 Number of twice-partitions of n into distinct strict partitions.

Original entry on oeis.org

1, 1, 1, 3, 4, 7, 13, 20, 32, 51, 83, 130, 206, 320, 496, 759, 1171, 1786, 2714, 4104, 6193, 9286, 13920, 20737, 30865, 45721, 67632, 99683, 146604, 214865, 314782, 459136, 668867, 972425, 1410458, 2040894, 2950839, 4253713, 6123836, 8801349, 12627079

Offset: 0

Gus Wiseman, Dec 11 2022

nonn

A twice-partition of n (A063834) is a sequence of integer partitions, one of each part of an integer partition of n.

			The a(1) = 1 through a(6) = 13 twice-partitions:
  ((1))  ((2))  ((3))     ((4))      ((5))      ((6))
                ((21))    ((31))     ((32))     ((42))
                ((2)(1))  ((3)(1))   ((41))     ((51))
                          ((21)(1))  ((3)(2))   ((321))
                                     ((4)(1))   ((4)(2))
                                     ((21)(2))  ((5)(1))
                                     ((31)(1))  ((21)(3))
                                                ((31)(2))
                                                ((3)(21))
                                                ((32)(1))
                                                ((41)(1))
                                                ((3)(2)(1))
                                                ((21)(2)(1))

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

The unordered version is A050342, non-strict A261049.
This is the distinct case of A270995.
The case of strictly decreasing sums is A279785.
The case of constant sums is A279791.
For distinct instead of weakly decreasing sums we have A336343.
This is the twice-partition case of A358913.
A001970 counts multiset partitions of integer partitions.
A055887 counts sequences of partitions.
A063834 counts twice-partitions.
A330462 counts set systems by total sum and length.
A358830 counts twice-partitions with distinct lengths.
Cf. A000009, A000219, A075900, A271619, A296122, A304969, A321449, A336342, A358901, A358906, A358907.

twiptn[n_]:=Join@@Table[Tuples[IntegerPartitions/@ptn],{ptn,IntegerPartitions[n]}];
Table[Length[Select[twiptn[n],UnsameQ@@#&&And@@UnsameQ@@@#&]],{n,0,10}]

seq(n,k)={my(u=Vec(eta(x^2 + O(x*x^n))/eta(x + O(x*x^n))-1)); Vec(prod(k=1, n, my(c=u[k]); sum(j=0, min(c,n\k), x^(j*k)*c!/(c-j)!,  O(x*x^n))))} \\ Andrew Howroyd, Dec 31 2022

Terms a(26) and beyond from Andrew Howroyd, Dec 31 2022

A358836 Number of multiset partitions of integer partitions of n with all distinct block sizes.

Original entry on oeis.org

1, 1, 2, 4, 8, 15, 28, 51, 92, 164, 289, 504, 871, 1493, 2539, 4290, 7201, 12017, 19939, 32911, 54044, 88330, 143709, 232817, 375640, 603755, 966816, 1542776, 2453536, 3889338, 6146126, 9683279, 15211881, 23830271, 37230720, 58015116, 90174847, 139820368, 216286593

Offset: 0

Gus Wiseman, Dec 05 2022

nonn

Also the number of integer compositions of n whose leaders of maximal weakly decreasing runs are strictly increasing. For example, the composition (1,2,2,1,3,1,4,1) has maximal weakly decreasing runs ((1),(2,2,1),(3,1),(4,1)), with leaders (1,2,3,4), so is counted under a(15). - Gus Wiseman, Aug 21 2024

			The a(1) = 1 through a(5) = 15 multiset partitions:
  {1}  {2}    {3}        {4}          {5}
       {1,1}  {1,2}      {1,3}        {1,4}
              {1,1,1}    {2,2}        {2,3}
              {1},{1,1}  {1,1,2}      {1,1,3}
                         {1,1,1,1}    {1,2,2}
                         {1},{1,2}    {1,1,1,2}
                         {2},{1,1}    {1},{1,3}
                         {1},{1,1,1}  {1},{2,2}
                                      {2},{1,2}
                                      {3},{1,1}
                                      {1,1,1,1,1}
                                      {1},{1,1,2}
                                      {2},{1,1,1}
                                      {1},{1,1,1,1}
                                      {1,1},{1,1,1}
From _Gus Wiseman_, Aug 21 2024: (Start)
The a(0) = 1 through a(5) = 15 compositions whose leaders of maximal weakly decreasing runs are strictly increasing:
  ()  (1)  (2)   (3)    (4)     (5)
           (11)  (12)   (13)    (14)
                 (21)   (22)    (23)
                 (111)  (31)    (32)
                        (112)   (41)
                        (121)   (113)
                        (211)   (122)
                        (1111)  (131)
                                (221)
                                (311)
                                (1112)
                                (1121)
                                (1211)
                                (2111)
                                (11111)
(End)

Andrew Howroyd, Table of n, a(n) for n = 0..1000
Gus Wiseman, Sequences counting and ranking compositions by their leaders (for six types of runs).

The version for set partitions is A007837.
For sums instead of sizes we have A271619.
For constant instead of distinct sizes we have A319066.
These multiset partitions are ranked by A326533.
For odd instead of distinct sizes we have A356932.
The version for twice-partitions is A358830.
The case of distinct sums also is A358832.
Ranked by positions of strictly increasing rows in A374740, opposite A374629.
A001970 counts multiset partitions of integer partitions.
A011782 counts compositions.
A063834 counts twice-partitions, strict A296122.
A238130, A238279, A333755 count compositions by number of runs.
A335456 counts patterns matched by compositions.
Runs and leaders: A000041, A188900, A374634, A374635, A374637, A374679, A374742 (ranks A374744), A374743 (ranks A374701), A374746, A374747.
Cf. A000009, A141199, A273873, A279375, A279785, A279790, A358334.
Cf. A003242, A106356, A188920, A189076, A238343, A333213, A336342.

sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
mps[set_]:=Union[Sort[Sort/@(#/.x_Integer:>set[[x]])]&/@sps[Range[Length[set]]]];
Table[Length[Select[Join@@mps/@IntegerPartitions[n],UnsameQ@@Length/@#&]],{n,0,10}]
(* second program *)
Table[Length[Select[Join@@Permutations/@IntegerPartitions[n], Less@@First/@Split[#,GreaterEqual]&]],{n,0,15}] (* Gus Wiseman, Aug 21 2024 *)

P(n,y) = {1/prod(k=1, n, 1 - y*x^k + O(x*x^n))}
seq(n) = {my(g=P(n,y)); Vec(prod(k=1, n, 1 + polcoef(g, k, y) + O(x*x^n)))} \\ Andrew Howroyd, Dec 31 2022

G.f.: Product_{k>=1} (1 + [y^k]P(x,y)) where P(x,y) = 1/Product_{k>=1} (1 - y*x^k). - Andrew Howroyd, Dec 31 2022

Terms a(11) and beyond from Andrew Howroyd, Dec 31 2022

cp's OEIS Frontend

A063834 Twice partitioned numbers: the number of ways a number can be partitioned into not necessarily different parts and each part is again so partitioned.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A001970 Functional determinants; partitions of partitions; Euler transform applied twice to all 1's sequence.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Python

Formula

Extensions

A270995 Expansion of Product_{k>=1} 1/(1 - A000009(k)*x^k).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A273873 Number of strict trees of weight n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A305551 Number of partitions of partitions of n where all partitions have the same sum.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A279375 Number of set partitions of strict integer partitions of n that have distinct block-sums.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A279787 Twice-partitioned numbers where the first partition is constant.

Views

Author