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 237 results. Next

A036043 Irregular triangle read by rows: row n (n >= 0) gives number of parts in all partitions of n (in Abramowitz and Stegun order).

Original entry on oeis.org

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

Views

Author

Keywords

Comments

The sequence of row lengths of this array is p(n) = A000041(n) (partition numbers).
The sequence of row sums is A006128(n).
The number of times k appears in row n is A008284(n,k). - Franklin T. Adams-Watters, Jan 12 2006
The next level (row) gets created from each node by adding one or two more nodes. If a single node is added, its value is one more than the value of its parent. If two nodes are added, the first is equal in value to the parent and the value of the second is one more than the value of the parent. See A128628. - Alford Arnold, Mar 27 2007
The 1's in the (flattened) sequence mark the start of a new row, the value that precedes the 1 equals the row number minus one. (I.e., the 1 preceded by a 0 is the start of row 1, the 1 preceded by a 6 is the start of row 7, etc.) - M. F. Hasler, Jun 06 2018
Also the maximum part in the n-th partition in graded lexicographic order (sum/lex, A193073). - Gus Wiseman, May 24 2020

Examples

			0;
1;
1, 2;
1, 2, 3;
1, 2, 2, 3, 4;
1, 2, 2, 3, 3, 4, 5;
1, 2, 2, 2, 3, 3, 3, 4, 4, 5, 6;
1, 2, 2, 2, 3, 3, 3, 3, 4, 4, 4, 5, 5, 6, 7;
		

References

  • Abramowitz and Stegun, Handbook, p. 831, column labeled "m".

Crossrefs

Row lengths are A000041.
Partition lengths of A036036 and A334301.
The version not sorted by length is A049085.
The generalization to compositions is A124736.
The Heinz number of the same partition is A334433.
The number of distinct elements in the same partition is A334440.
The maximum part of the same partition is A334441.
Lexicographically ordered reversed partitions are A026791.
Lexicographically ordered partitions are A193073.

Programs

  • Maple
    with(combinat): nmax:=9: for n from 1 to nmax do y(n):=numbpart(n): P(n):=sort(partition(n)): for k from 1 to y(n) do B(k) := P(n)[k] od: for k from 1 to y(n) do s:=0: j:=0: while sJohannes W. Meijer, Jun 21 2010, revised Nov 29 2012
    # alternative implementation based on A119441 by R. J. Mathar, Jul 12 2013
    A036043 := proc(n,k)
        local pi;
        pi := ASPrts(n)[k] ;
        nops(pi) ;
    end proc:
    for n from 1 to 10 do
        for k from 1 to A000041(n) do
            printf("%d,",A036043(n,k)) ;
        end do:
        printf("\n") ;
    end do:
  • Mathematica
    Table[Length/@Sort[IntegerPartitions[n]],{n,0,30}] (* Gus Wiseman, May 22 2020 *)
  • PARI
    A036043(n,k)=#partitions(n)[k] \\ M. F. Hasler, Jun 06 2018
    
  • SageMath
    def A036043_row(n):
        return [len(p) for k in (0..n) for p in Partitions(n, length=k)]
    for n in (0..10): print(A036043_row(n)) # Peter Luschny, Nov 02 2019

Formula

a(n) = A001222(A334433(n)). - Gus Wiseman, May 22 2020

Extensions

More terms from Antonio G. Astudillo (afg_astudillo(AT)hotmail.com), Jun 17 2001
a(0) inserted by Franklin T. Adams-Watters, Jun 24 2014
Incorrect formula deleted by M. F. Hasler, Jun 06 2018

A046746 Sum of smallest parts of all partitions of n.

Original entry on oeis.org

0, 1, 3, 5, 9, 12, 20, 25, 38, 49, 69, 87, 123, 152, 205, 260, 341, 425, 555, 687, 882, 1094, 1380, 1702, 2140, 2620, 3254, 3982, 4907, 5967, 7318, 8856, 10787, 13019, 15759, 18943, 22840, 27334, 32794, 39139, 46758, 55595, 66182, 78433, 93021, 109935, 129922
Offset: 0

Views

Author

Keywords

Comments

Also total number of largest parts in all partitions of n. - Vladeta Jovovic, Feb 16 2004
To see this, consider the properties of a partition related through conjugation, such as the total number of parts and the size of the largest parts. The sums over all of the partitions of n of these two properties are equal. The size of the smallest part and the number of largest parts are two such properties (this is immediate when looking at the Ferrers diagram). - Michael Donatz, Apr 17 2011
Starting with offset 1, = the partition triangle A026794 * [1, 2, 3, ...]. - Gary W. Adamson, Feb 13 2008
For n >= 1, a(n) = T(n+1,1) + T(n+2,2) + T(n+3,3)+ ... (sum along a falling diagonal) of the partition triangle A026794. - Bob Selcoe, Jun 22 2013

Examples

			For n = 4 the five partitions of 4 are 4, 2+2, 3+1, 2+1+1, 1+1+1+1, therefore the smallest parts of all partitions of 4 are 4, 2, 1, 1, 1 and the sum is 4+2+1+1+1 = 9, so a(4) = 9. - _Omar E. Pol_, Aug 02 2013
		

Crossrefs

Row sums of A026807.

Programs

  • Maple
    b:= proc(n, i) option remember;
          `if`(n=i, n, 0) +`if`(i<1, 0, b(n, i-1) +`if`(n b(n, n):
    seq(a(n), n=0..100);  # Alois P. Heinz, Mar 28 2012
  • Mathematica
    f[n_] := Plus @@ Min /@ IntegerPartitions@ n; Array[f, 45, 0] (* Robert G. Wilson v, Apr 12 2011 *)
    b[n_, i_] := b[n, i] = If[n==i, n, 0] + If[i<1, 0, b[n, i-1] + If[nJean-François Alcover, Aug 31 2015, after Alois P. Heinz *)
    Join[{0},Table[Total[IntegerPartitions[n][[;;,-1]]],{n,50}]] (* Harvey P. Dale, Aug 24 2025 *)
  • PARI
    N=66; z='z+O('z^N);  gf=sum(k=1,N, k * z^k / prod(j=k,N, 1-z^j ) ); concat([0], Vec(gf)) \\ Joerg Arndt, Apr 17 2011

Formula

G.f.: Sum_{k>=1} k*z^k/Product_{i>=0} (1-z^(k+i)). - Vladeta Jovovic, Jun 22 2003
G.f.: Sum_{k>=1} (-1 + 1/Product_{i>=0} (1-z^(k+i))). - Vladeta Jovovic, Jun 22 2003 [Cannot verify, Joerg Arndt, Apr 17 2011]
G.f.: Sum_{j>=1} (x^j/(1-x^j))/Product_{i=1..j} (1-x^i). - Vladeta Jovovic, Aug 11 2004 [Cannot verify, Joerg Arndt, Apr 17 2011]
G.f.: Sum_{k >= 1} (-1 + z^k/(1-z^k)(1-z^{k+1})(1-z^{k+2})...). - Don Knuth, Aug 08 2002 [Cannot verify, Joerg Arndt, Apr 17 2011]
G.f.: Sum_{n>=1} (x^n/(1-x^n)) / Product_{k=1..n} (1-x^k). - Joerg Arndt, May 26 2012
a(n) = A066186(n) - A066186(n-1) - A182709(n), n >= 1. - Omar E. Pol, Aug 01 2013
a(n) ~ exp(Pi*sqrt(2*n/3)) / (4*sqrt(3)*n) * (1 + (23*Pi/(24*sqrt(6)) - sqrt(3/2)/Pi)/sqrt(n) + (1681*Pi^2/6912 - 23/16)/n). - Vaclav Kotesovec, Jul 06 2019

A026792 List of juxtaposed reverse-lexicographically ordered partitions of the positive integers.

Original entry on oeis.org

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

Views

Author

Keywords

Comments

The representation of the partitions (for fixed n) is as (weakly) decreasing lists of parts, the order between individual partitions (for the same n) is (list-)reversed lexicographic; see examples. [Joerg Arndt, Sep 03 2013]
Written as a triangle; row n has length A006128(n); row sums give A066186. Also written as an irregular tetrahedron in which T(n,j,k) is the k-th largest part of the j-th partition of n; the sum of column k in the slice n is A181187(n,k); right border of the slices gives A182715. - Omar E. Pol, Mar 25 2012
The equivalent sequence for compositions (ordered partitions) is A228351. - Omar E. Pol, Sep 03 2013
This is the reverse-colexicographic order of integer partitions, or the reflected reverse-lexicographic order of reversed integer partitions. It is not reverse-lexicographic order (A080577), wherein we would have (3,1) before (2,2). - Gus Wiseman, May 12 2020

Examples

			E.g. the partitions of 3 (3,2+1,1+1+1) appear as the string 3,2,1,1,1,1.
So the list begins:
1
2, 1, 1,
3, 2, 1, 1, 1, 1,
4, 2, 2, 3, 1, 2, 1, 1, 1, 1, 1, 1,
5, 3, 2, 4, 1, 2, 2, 1, 3, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1,
...
From _Omar E. Pol_, Sep 03 2013: (Start)
Illustration of initial terms:
---------------------------------
n  j     Diagram     Partition
---------------------------------
.         _
1  1     |_|         1;
.         _ _
2  1     |_  |       2,
2  2     |_|_|       1, 1;
.         _ _ _
3  1     |_ _  |     3,
3  2     |_  | |     2, 1,
3  3     |_|_|_|     1, 1, 1;
.         _ _ _ _
4  1     |_ _    |   4,
4  2     |_ _|_  |   2, 2,
4  3     |_ _  | |   3, 1,
4  4     |_  | | |   2, 1, 1,
4  5     |_|_|_|_|   1, 1, 1, 1;
...
(End)
From _Gus Wiseman_, May 12 2020: (Start)
This sequence can also be interpreted as the following triangle, whose n-th row is itself a finite triangle with A000041(n) rows. Showing these partitions as their Heinz numbers gives A334436.
                             0
                            (1)
                          (2)(11)
                        (3)(21)(111)
                   (4)(22)(31)(211)(1111)
             (5)(32)(41)(221)(311)(2111)(11111)
  (6)(33)(42)(222)(51)(321)(411)(2211)(3111)(21111)(111111)
(End)
		

Crossrefs

The reflected version for reversed partitions is A080577.
The partition minima appear to be A182715.
The graded reversed version is A211992.
The version for compositions is A228351.
The Heinz numbers of these partitions are A334436.

Programs

  • Mathematica
    revcolex[f_,c_]:=OrderedQ[PadRight[{Reverse[c],Reverse[f]}]];
    Join@@Table[Sort[IntegerPartitions[n],revcolex],{n,0,8}] (* reverse-colexicographic order, Gus Wiseman, May 10 2020 *)
    - or -
    revlex[f_,c_]:=OrderedQ[PadRight[{c,f}]];
    Reverse/@Join@@Table[Sort[Reverse/@IntegerPartitions[n],revlex],{n,0,8}] (* reflected reverse-lexicographic order, Gus Wiseman, May 12 2020 *)

Extensions

Terms 81st, 83rd and 84th corrected by Omar E. Pol, Aug 16 2009

A024786 Number of 2's in all partitions of n.

Original entry on oeis.org

0, 1, 1, 3, 4, 8, 11, 19, 26, 41, 56, 83, 112, 160, 213, 295, 389, 526, 686, 911, 1176, 1538, 1968, 2540, 3223, 4115, 5181, 6551, 8191, 10269, 12756, 15873, 19598, 24222, 29741, 36532, 44624, 54509, 66261, 80524, 97446, 117862, 142029, 171036, 205290, 246211
Offset: 1

Views

Author

Keywords

Comments

Also number of partitions of n-1 with a distinguished part different from all the others. [Comment corrected by Emeric Deutsch, Aug 13 2008]
In general the number of times that j appears in the partitions of n equals Sum_{kA024787, ..., A024794, for j = 2,...,10; it generalizes the formula given for A000070 for j=1. - Jose Luis Arregui (arregui(AT)posta.unizar.es), Apr 05 2002
Equals row sums of triangle A173238. - Gary W. Adamson, Feb 13 2010
The sums of two successive terms give A000070. - Omar E. Pol, Jul 12 2012
a(n) is also the difference between the sum of second largest and the sum of third largest elements in all partitions of n. More generally, the number of occurrences of k in all partitions of n equals the difference between the sum of k-th largest and the sum of (k+1)st largest elements in all partitions of n. And more generally, the sum of the number of occurrences of k, k+1, k+2..k+m in all partitions of n equals the difference between the sum of k-th largest and the sum of (k+m+1)st largest elements in all partitions of n. - Omar E. Pol, Oct 25 2012
Number of singletons in all partitions of n-1. A singleton in a partition is a part that occurs exactly once. Example: a(5) = 4 because in the partitions of 4, namely [1,1,1,1], [1,1,2'], [2,2], [1',3'], [4'] we have 4 singletons (marked by '). - Emeric Deutsch, Sep 12 2016
a(n) is also the number of non-isomorphic vertex-transitive cover graphs of lattice quotients of essential lattice congruences of the weak order on the symmetric group S_{n-1}. See Table 1 in the Hoang/Mütze reference in the Links section. - Torsten Muetze, Nov 28 2019
Assuming a partition is in weakly decreasing order, a(n) is also the number of times -1 occurs in the differences of the partitions of n+1. - George Beck, Mar 28 2023

Examples

			From _Omar E. Pol_, Oct 25 2012: (Start)
For n = 7 we have:
--------------------------------------
.                             Number
Partitions of 7               of 2's
--------------------------------------
7 .............................. 0
4 + 3 .......................... 0
5 + 2 .......................... 1
3 + 2 + 2 ...................... 2
6 + 1 .......................... 0
3 + 3 + 1 ...................... 0
4 + 2 + 1 ...................... 1
2 + 2 + 2 + 1 .................. 3
5 + 1 + 1 ...................... 0
3 + 2 + 1 + 1 .................. 1
4 + 1 + 1 + 1 .................. 0
2 + 2 + 1 + 1 + 1 .............. 2
3 + 1 + 1 + 1 + 1 .............. 0
2 + 1 + 1 + 1 + 1 + 1 .......... 1
1 + 1 + 1 + 1 + 1 + 1 + 1 ...... 0
------------------------------------
.  24 - 13 =                    11
.
The difference between the sum of the second column and the sum of the third column of the set of partitions of 7 is 24 - 13 = 11 and equals the number of 2's in all partitions of 7, so a(7) = 11.
(End)
		

References

  • J. Riordan, Combinatorial Identities, Wiley, 1968, p. 184.

Crossrefs

Column 2 of A060244.
First differences of A000097.

Programs

  • Maple
    b:= proc(n, i) option remember; local f, g;
          if n=0 or i=1 then [1, 0]
        else f:= b(n, i-1); g:= `if`(i>n, [0$2], b(n-i, i));
             [f[1]+g[1], f[2]+g[2]+`if`(i=2, g[1], 0)]
          fi
        end:
    a:= n-> b(n, n)[2]:
    seq(a(n), n=1..50);  # Alois P. Heinz, May 18 2012
  • Mathematica
    Table[ Count[ Flatten[ IntegerPartitions[n]], 2], {n, 1, 50} ]
    (* Second program: *)
    b[n_, i_] := b[n, i] = Module[{f, g}, If[n==0 || i==1, {1, 0}, f = b[n, i - 1]; g = If[i>n, {0, 0}, b[n-i, i]]; {f[[1]] + g[[1]], f[[2]] + g[[2]] + If[i == 2, g[[1]], 0]}]]; a[n_] := b[n, n][[2]]; Table[a[n], {n, 1, 50}] (* Jean-François Alcover, Sep 22 2015, after Alois P. Heinz *)
    Join[{0}, (1/((1 - x^2) QPochhammer[x]) + O[x]^50)[[3]]] (* Vladimir Reshetnikov, Nov 22 2016 *)
    Table[Sum[(1 + (-1)^k)/2 * PartitionsP[n-k], {k, 2, n}], {n, 1, 50}] (* Vaclav Kotesovec, Aug 27 2017 *)
  • Python
    from sympy import npartitions
    def A024786(n): return sum(npartitions(n-(k<<1)) for k in range(1,(n>>1)+1)) # Chai Wah Wu, Oct 25 2023

Formula

a(n) = Sum_{k=1..floor(n/2)} A000041(n-2k). - Christian G. Bower, Jun 22 2000
a(n) = Sum_{kA000041, P(0) = 1. - Jose Luis Arregui (arregui(AT)posta.unizar.es), Apr 05 2002
G.f.: (x^2/((1-x)*(1-x^2)^2))*Product_{j>=3} 1/(1-x^j) from Riordan reference second term, last eq.
a(n) = A006128(n-1) - A194452(n-1). - Omar E. Pol, Nov 20 2011
a(n) = A181187(n,2) - A181187(n,3). - Omar E. Pol, Oct 25 2012
a(n) ~ exp(Pi*sqrt(2*n/3)) / (2^(5/2) * Pi * sqrt(n)) * (1 - 25*Pi/(24*sqrt(6*n)) + (25/48 + 433*Pi^2/6912)/n). - Vaclav Kotesovec, Mar 07 2016, extended Nov 05 2016
a(n) = Sum_{k} k * A116595(n-1,k). - Emeric Deutsch, Sep 12 2016
G.f.: x^2/((1 - x)*(1 - x^2)) * Sum_{n >= 0} x^(2*n)/( Product_{k = 1..n} 1 - x^k ); that is, convolution of A004526 (partitions into 2 parts, or, modulo offset differences, partitions into parts <= 2) and A002865 (partitions into parts >= 2). - Peter Bala, Jan 17 2021

A083710 Number of integer partitions of n with a part dividing all the other parts.

Original entry on oeis.org

1, 1, 2, 3, 5, 6, 11, 12, 20, 25, 37, 43, 70, 78, 114, 143, 196, 232, 330, 386, 530, 641, 836, 1003, 1340, 1581, 2037, 2461, 3127, 3719, 4746, 5605, 7038, 8394, 10376, 12327, 15272, 17978, 22024, 26095, 31730, 37339, 45333, 53175, 64100, 75340, 90138
Offset: 0

Views

Author

N. J. A. Sloane, Jun 16 2003

Keywords

Comments

Since the summand (part) which divides all the other summands is necessarily the smallest, an equivalent definition is: "Number of partitions of n such that smallest part divides every part." - Joerg Arndt, Jun 08 2009
The first few partitions that fail the criterion are 5=3+2, 7=5+2=4+3=3+2+2. So a(5) = A000041(5) - 1 = 6, a(7) = A000041(7) - 3 = 12. - Vladeta Jovovic, Jun 17 2003
Starting with offset 1 = inverse Mobius transform (A051731) of the partition numbers, A000041. - Gary W. Adamson, Jun 08 2009

Examples

			From _Gus Wiseman_, Apr 18 2021: (Start)
The a(1) = 1 through a(7) = 12 partitions:
  (1)  (2)   (3)    (4)     (5)      (6)       (7)
       (11)  (21)   (22)    (41)     (33)      (61)
             (111)  (31)    (221)    (42)      (331)
                    (211)   (311)    (51)      (421)
                    (1111)  (2111)   (222)     (511)
                            (11111)  (321)     (2221)
                                     (411)     (3211)
                                     (2211)    (4111)
                                     (3111)    (22111)
                                     (21111)   (31111)
                                     (111111)  (211111)
                                               (1111111)
(End)
		

References

  • L. M. Chawla, M. O. Levan and J. E. Maxfield, On a restricted partition function and its tables, J. Natur. Sci. and Math., 12 (1972), 95-101.

Crossrefs

Cf. A000041, A051731. - Gary W. Adamson, Jun 08 2009
The case with no 1's is A083711.
The strict case is A097986.
The version for "divisible by" instead of "dividing" is A130689.
The case where there is also a part divisible by all the others is A130714.
The complement of these partitions is counted by A338470.
The Heinz numbers of these partitions are dense, complement of A342193.
The case where there is also no part divisible by all the others is A343345.
A000005 counts divisors.
A000070 counts partitions with a selected part.
A006128 counts partitions with a selected position.
A015723 counts strict partitions with a selected part.
A018818 counts partitions into divisors (strict: A033630).
A167865 counts strict chains of divisors > 1 summing to n.

Programs

  • Maple
    with(combinat): with(numtheory): a := proc(n) c := 0: l := sort(convert(divisors(n), list)): for i from 1 to nops(l)-0 do c := c+numbpart(l[i]-1) od: RETURN(c): end: for j from 0 to 60 do printf(`%d, `, a(j)) od: # Zerinvary Lajos, Apr 14 2007
  • Mathematica
    Table[Length[Select[IntegerPartitions[n],And@@IntegerQ/@(#/Min@@#)&]],{n,0,30}] (* Gus Wiseman, Apr 18 2021 *)

Formula

Equals left border of triangle A137587 starting (1, 2, 3, 5, 6, 11, ...). - Gary W. Adamson, Jan 27 2008
G.f.: 1 + Sum_{n>=1} x^n/eta(x^n). The g.f. for partitions into parts that are a multiple of n is x^n/eta(x^n), now sum over n. - Joerg Arndt, Jun 08 2009
Gary W. Adamson's comment is equivalent to the formula a(n) = Sum_{d|n} p(d-1) where p(i) = number of partitions of i (A000041(i)). Hence A083710 has g.f. Sum_{d>=1} p(d-1)*x^d/(1-x^d), - N. J. A. Sloane, Jun 08 2009

Extensions

More terms from Vladeta Jovovic, Jun 17 2003
Name shortened by Gus Wiseman, Apr 18 2021

A338156 Irregular triangle read by rows in which row n lists n blocks, where the m-th block consists of A000041(m-1) copies of the divisors of (n - m + 1), with 1 <= m <= n.

Original entry on oeis.org

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

Views

Author

Omar E. Pol, Oct 14 2020

Keywords

Comments

In other words: in row n replace every term of n-th row of A176206 with its divisors.
The terms in row n are also all parts of all partitions of n.
As in A336812 here we introduce a new type of table which shows the correspondence between divisors and partitions. More precisely the table shows the correspondence between all divisors of all terms of the n-th row of A176206 and all parts of all partitions of n, with n >= 1. Both the mentionded divisors and the mentioned parts are the same numbers (see Example section). That is because all divisors of the first A000070(n-1) terms of A336811 are also all parts of all partitions of n.
For an equivalent table for all parts of the last section of the set of partitions of n see the subsequence A336812. The section is the smallest substructure of the set of partitions in which appears the correspondence divisor/part.
From Omar E. Pol, Aug 01 2021: (Start)
The terms of row n appears in the triangle A346741 ordered in accordance with the successive sections of the set of partitions of n.
The terms of row n in nonincreasing order give the n-th row of A302246.
The terms of row n in nondecreasing order give the n-th row of A302247.
For the connection with the tower described in A221529 see also A340035. (End)

Examples

			Triangle begins:
  [1];
  [1,2],   [1];
  [1,3],   [1,2],   [1],   [1];
  [1,2,4], [1,3],   [1,2], [1,2], [1],   [1],   [1];
  [1,5],   [1,2,4], [1,3], [1,3], [1,2], [1,2], [1,2], [1], [1], [1], [1], [1];
  ...
For n = 5 the 5th row of A176206 is [5, 4, 3, 3, 2, 2, 2, 1, 1, 1, 1, 1] so replacing every term with its divisors we have the 5th row of this triangle.
Also, if the sequence is written as an irregular tetrahedron so the first six slices are:
  [1],
  -------
  [1, 2],
  [1],
  -------
  [1, 3],
  [1, 2],
  [1],
  [1];
  ----------
  [1, 2, 4],
  [1, 3],
  [1, 2],
  [1, 2],
  [1],
  [1],
  [1];
  ----------
  [1, 5],
  [1, 2, 4],
  [1, 3],
  [1, 3],
  [1, 2],
  [1, 2],
  [1, 2],
  [1],
  [1],
  [1],
  [1],
  [1];
.
The above slices appear in the lower zone of the following table which shows the correspondence between the mentioned divisors and all parts of all partitions of the positive integers.
The table is infinite. It is formed by three zones as follows:
The upper zone shows the partitions of every positive integer in colexicographic order (cf. A026792, A211992).
The lower zone shows the same numbers but arranged as divisors in accordance with the slices of the tetrahedron mentioned above.
Finally the middle zone shows the connection between the upper zone and the lower zone.
For every positive integer the numbers in the upper zone are the same numbers as in the lower zone.
.
|---|---------|-----|-------|---------|------------|---------------|
| n |         |  1  |   2   |    3    |      4     |       5       |
|---|---------|-----|-------|---------|------------|---------------|
| P |         |     |       |         |            |               |
| A |         |     |       |         |            |               |
| R |         |     |       |         |            |               |
| T |         |     |       |         |            |  5            |
| I |         |     |       |         |            |  3  2         |
| T |         |     |       |         |  4         |  4  1         |
| I |         |     |       |         |  2  2      |  2  2  1      |
| O |         |     |       |  3      |  3  1      |  3  1  1      |
| N |         |     |  2    |  2 1    |  2  1 1    |  2  1  1 1    |
| S |         |  1  |  1 1  |  1 1 1  |  1  1 1 1  |  1  1  1 1 1  |
----|---------|-----|-------|---------|------------|---------------|
.
|---|---------|-----|-------|---------|------------|---------------|
|   | A181187 |  1  |  3 1  |  6 2 1  | 12  5 2 1  | 20  8  4 2 1  |
|   |         |  |  |  |/|  |  |/|/|  |  |/ |/|/|  |  |/ | /|/|/|  |
| L | A066633 |  1  |  2 1  |  4 1 1  |  7  3 1 1  | 12  4  2 1 1  |
| I |         |  *  |  * *  |  * * *  |  *  * * *  |  *  *  * * *  |
| N | A002260 |  1  |  1 2  |  1 2 3  |  1  2 3 4  |  1  2  3 4 5  |
| K |         |  =  |  = =  |  = = =  |  =  = = =  |  =  =  = = =  |
|   | A138785 |  1  |  2 2  |  4 2 3  |  7  6 3 4  | 12  8  6 4 5  |
|   |         |  |  |  |\|  |  |\|\|  |  |\ |\|\|  |  |\ |\ |\|\|  |
|   | A206561 |  1  |  4 2  |  9 5 3  | 20 13 7 4  | 35 23 15 9 5  |
|---|---------|-----|-------|---------|------------|---------------|
.
|---|---------|-----|-------|---------|------------|---------------|
|   | A027750 |  1  |  1 2  |  1   3  |  1  2   4  |  1         5  |
|   |---------|-----|-------|---------|------------|---------------|
|   | A027750 |     |  1    |  1 2    |  1    3    |  1  2    4    |
|   |---------|-----|-------|---------|------------|---------------|
| D | A027750 |     |       |  1      |  1  2      |  1     3      |
| I | A027750 |     |       |  1      |  1  2      |  1     3      |
| V |---------|-----|-------|---------|------------|---------------|
| I | A027750 |     |       |         |  1         |  1  2         |
| S | A027750 |     |       |         |  1         |  1  2         |
| O | A027750 |     |       |         |  1         |  1  2         |
| R |---------|-----|-------|---------|------------|---------------|
| S | A027750 |     |       |         |            |  1            |
|   | A027750 |     |       |         |            |  1            |
|   | A027750 |     |       |         |            |  1            |
|   | A027750 |     |       |         |            |  1            |
|   | A027750 |     |       |         |            |  1            |
|---|---------|-----|-------|---------|------------|---------------|
.
Note that every row in the lower zone lists A027750.
Also the lower zone for every positive integer can be constructed using the first n terms of the partition numbers. For example: for n = 5 we consider the first 5 terms of A000041 (that is [1, 1, 2, 3, 5]) then the 5th slice is formed by a block with the divisors of 5, one block with the divisors of 4, two blocks with the divisors of 3, three blocks with the divisors of 2, and five blocks with the divisors of 1.
Note that the lower zone is also in accordance with the tower (a polycube) described in A221529 in which its terraces are the symmetric representation of sigma starting from the top (cf. A237593) and the heights of the mentioned terraces are the partition numbers A000041 starting from the base.
The tower has the same volume (also the same number of cubes) equal to A066186(n) as a prism of partitions of size 1*n*A000041(n).
The above table shows the correspondence between the prism of partitions and its associated tower since the number of parts in all partitions of n is equal to A006128(n) equaling the number of divisors in the n-th slice of the lower table and equaling the same the number of terms in the n-th row of triangle. Also the sum of all parts of all partitions of n is equal to A066186(n) equaling the sum of all divisors in the n-th slice of the lower table and equaling the sum of the n-th row of triangle.
		

Crossrefs

Nonzero terms of A340031.
Row n has length A006128(n).
The sum of row n is A066186(n).
The product of row n is A007870(n).
Row n lists the first n rows of A336812 (a subsequence).
The number of parts k in row n is A066633(n,k).
The sum of all parts k in row n is A138785(n,k).
The number of parts >= k in row n is A181187(n,k).
The sum of all parts >= k in row n is A206561(n,k).
The number of parts <= k in row n is A210947(n,k).
The sum of all parts <= k in row n is A210948(n,k).

Programs

  • Mathematica
    A338156[rowmax_]:=Table[Flatten[Table[ConstantArray[Divisors[n-m],PartitionsP[m]],{m,0,n-1}]],{n,rowmax}];
    A338156[10] (* Generates 10 rows *) (* Paolo Xausa, Jan 12 2023 *)
  • PARI
    A338156(rowmax)=vector(rowmax,n,concat(vector(n,m,concat(vector(numbpart(m-1),i,divisors(n-m+1))))));
    A338156(10) \\ Generates 10 rows - Paolo Xausa, Feb 17 2023

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

Original entry on oeis.org

1, 3, 7, 14, 26, 45, 75, 120, 187, 284, 423, 618, 890, 1263, 1771, 2455, 3370, 4582, 6179, 8266, 10980, 14486, 18994, 24757, 32095, 41391, 53123, 67865, 86325, 109350, 137979, 173450, 217270, 271233, 337506, 418662, 517795, 638565, 785350, 963320, 1178628
Offset: 0

Views

Author

Keywords

Comments

Number of partitions of n with three kinds of 1. E.g., a(2)=7 because we have 2, 1+1, 1+1', 1+1", 1'+1', 1'+1", 1"+1". - Emeric Deutsch, Mar 22 2005
Partial sums of the partial sums of the partition numbers A000041. Partial sums of A000070. Euler transform of 3,1,1,1,...
Also sum of parts, counted without multiplicity, in all partitions of n, offset 1. Also Sum phi(p), where the sum is taken over all parts p of all partitions of n, offset 1. - Vladeta Jovovic, Mar 26 2005
Equals row sums of triangle A141157. - Gary W. Adamson, Jun 12 2008
A014153 convolved with A010815 = (1, 2, 3, ...). n-th partial sum sequence of A000041 convolved with A010815 = (n-1)-th column of Pascal's triangle, starting (1, n, ...). - Gary W. Adamson, Nov 09 2008
From Omar E. Pol, May 25 2012: (Start)
a(n) is also the sum of all parts of the (n+1)st column of a version of the section model of partitions in which every section has its parts aligned to the right margin (cf. A210953, A210970, A135010).
Rows of triangle A210952 converge to this sequence. (End)
Using the above result (see Jovovic's comment) of Jovovic and Mertens's theorem on the average order of the phi function, we can obtain the estimate a(n-1) = (6/Pi^2)*n*p(n) + O(log(n)*A006128(n)), where p(n) is the partition function A000041(n). It can be shown that A006128(n) = O(sqrt(n)*log(n)*p(n)), so we have the asymptotic result a(n) ~ (6/Pi^2)*n*p(n). - Peter Bala, Dec 23 2013
a(n-2) is the number of partitions of 2n or 2n-1 with palindromicity 2; that is, partitions that can be listed in palindromic order except for a central sequence of two distinct parts. - Gregory L. Simay, Nov 01 2015
Convolution of A000041 and A000027. - Omar E. Pol, Jun 17 2021
Convolution of A002865 and the positive terms of A000217. Partial sums give A014160. - Omar E. Pol, Mar 01 2023

Crossrefs

Cf. A010815. - Gary W. Adamson, Nov 09 2008
Column k=3 of A292508.

Programs

  • Magma
    m:=45; R:=PowerSeriesRing(Integers(), m); Coefficients(R!( 1/((1-x)^2*(&*[1-x^k: k in [1..50]])) )); // G. C. Greubel, Oct 15 2018
    
  • Maple
    with(numtheory):
    a:= proc(n) option remember;
          `if`(n=0, 1, add((2+sigma(j)) *a(n-j), j=1..n)/n)
        end:
    seq(a(n), n=0..40);  # Alois P. Heinz, Feb 13 2012
  • Mathematica
    a[n_] := a[n] = If[n == 0, 1, Sum[(2+DivisorSigma[1, j])*a[n-j], {j, 1, n}]/n]; Table[a[n], {n, 0, 40}] (* Jean-François Alcover, Mar 03 2014, after Alois P. Heinz *)
    Table[Sum[(n-k)*PartitionsP[k],{k,0,n}],{n,1,50}] (* Vaclav Kotesovec, Jun 23 2015 *)
    t[n_, k_] := Sum[StirlingS1[n, j]* Binomial[i + j - 1, i]* PartitionsP[k - n - i], {j, 0, n}, {i, 0, k - n}]; Print@ Table[t[n, k], {k, 10}, {n, 0, k - 1}]; Table[t[2, k], {k, 3, 43}] (* George Beck, May 25 2016 *)
  • PARI
    x='x+O('x^45); Vec(1/((1-x)^2*prod(k=1,50, 1-x^k))) \\ G. C. Greubel, Oct 15 2018

Formula

Let t(n_, k_) = Sum_{i = 0..k} Sum_{j = 0..n} s(n, j)*C(i, j)*p(k - n - i), where s(n, j) are Stirling numbers of the first kind, C(i, j) are the number of compositions of i distinct objects into j parts, and p is the integer partition function. Then a(k) = t(2, k+2) (conjectured). The formula for t(n, k) is the same as at A126442 except that there the Stirling numbers are of the second kind. - George Beck, May 21 2016
a(n) = (n+1)*A000070(n+1) - A182738(n+1). - Vaclav Kotesovec, Nov 04 2016
a(n) ~ exp(sqrt(2*n/3)*Pi)*sqrt(3)/(2*Pi^2) * (1 + 23*Pi/(24*sqrt(6*n))). - Vaclav Kotesovec, Nov 04 2016

A146076 Sum of even divisors of n.

Original entry on oeis.org

0, 2, 0, 6, 0, 8, 0, 14, 0, 12, 0, 24, 0, 16, 0, 30, 0, 26, 0, 36, 0, 24, 0, 56, 0, 28, 0, 48, 0, 48, 0, 62, 0, 36, 0, 78, 0, 40, 0, 84, 0, 64, 0, 72, 0, 48, 0, 120, 0, 62, 0, 84, 0, 80, 0, 112, 0, 60, 0, 144, 0, 64, 0, 126, 0, 96, 0, 108, 0, 96, 0, 182, 0, 76, 0, 120, 0, 112, 0, 180, 0, 84, 0, 192, 0, 88, 0, 168, 0, 156
Offset: 1

Views

Author

N. J. A. Sloane, Apr 09 2009

Keywords

Comments

The usual OEIS policy is not to include sequences like this where alternate terms are zero; this is an exception. A074400 is the main entry.
a(n) is also the total number of parts in all partitions of n into an even number of equal parts. - Omar E. Pol, Jun 04 2017

Crossrefs

Programs

  • Maple
    A146076 := proc(n)
        if type(n,'even') then
            2*numtheory[sigma](n/2) ;
        else
            0;
        end if;
    end proc: # R. J. Mathar, Dec 07 2017
  • Mathematica
    f[n_] := Plus @@ Select[Divisors[n], EvenQ]; Array[f, 150] (* Vincenzo Librandi, May 17 2013 *)
    a[n_] := DivisorSum[n, Boole[EvenQ[#]]*#&]; Array[a, 100] (* Jean-François Alcover, Dec 01 2015 *)
    Table[CoefficientList[Series[-Log[QPochhammer[x^2, x^2]], {x, 0, 60}],x][[n + 1]] n, {n, 1, 60}] (* Benedict W. J. Irwin, Jul 04 2016 *)
    a[n_] := If[OddQ[n], 0, 2*DivisorSigma[1, n/2]]; Array[a, 100] (* Amiram Eldar, Jan 11 2023 *)
  • PARI
    vector(80, n, if (n%2, 0, sumdiv(n, d, d*(1-(d%2))))) \\ Michel Marcus, Mar 30 2015
    
  • PARI
    a(n) = if (n%2, 0, 2*sigma(n/2)); \\ Michel Marcus, Apr 01 2015

Formula

a(2k-1) = 0, a(2k) = 2*sigma(k) for positive k.
Dirichlet g.f.: zeta(s - 1)*zeta(s)*2^(1 - s). - Geoffrey Critzer, Mar 29 2015
a(n) = A000203(n) - A000593(n). - Omar E. Pol, Apr 05 2016
L.g.f.: -log(Product_{ k>0 } (1-x^(2*k))) = Sum_{ n>=0 } (a(n)/n)*x^n. - Benedict W. J. Irwin, Jul 04 2016
a(n) = A000203(n)*(1 - (1/A038712(n))). - Omar E. Pol, Aug 01 2018
Sum_{k=1..n} a(k) ~ c * n^2, where c = Pi^2/24 = 0.411233... (A222171). - Amiram Eldar, Nov 06 2022
Limit_{m->oo} (1/m) * Sum_{k=1..m} a(k)/A000203(k) = 2 - A065442 = 0.393304... . - Amiram Eldar, Dec 14 2024

Extensions

Corrected by Jaroslav Krizek, May 07 2011

A228531 Triangle read by rows in which row n lists the partitions of n in reverse lexicographic order.

Original entry on oeis.org

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

Views

Author

Omar E. Pol, Aug 30 2013

Keywords

Comments

The representation of the partitions (for fixed n) is as (weakly) increasing lists of parts, the order between individual partitions (for the same n) is (list-)reversed lexicographic; see examples. [Joerg Arndt, Sep 03 2013]
Also compositions in the triangle of A066099 that are in nondecreasing order.
The equivalent sequence for compositions (ordered partitions) is A066099.
Row n has length A006128(n).
Row sums give A066186.

Examples

			Illustration of initial terms:
---------------------------------
.                    Ordered
n  j     Diagram     partition
---------------------------------
.              _
1  1          |_|    1;
.            _ _
2  1        |  _|    2,
2  2        |_|_|    1, 1;
.          _ _ _
3  1      |  _ _|    3,
3  2      | |  _|    1, 2,
3  3      |_|_|_|    1, 1, 1;
.        _ _ _ _
4  1    |    _ _|    4,
4  2    |  _|_ _|    2, 2,
4  3    | |  _ _|    1, 3,
4  4    | | |  _|    1, 1, 2,
4  5    |_|_|_|_|    1, 1, 1, 1;
.
Triangle begins:
[1];
[2],[1,1];
[3],[1,2],[1,1,1];
[4],[2,2],[1,3],[1,1,2],[1,1,1,1];
[5],[2,3],[1,4],[1,2,2],[1,1,3],[1,1,1,2],[1,1,1,1,1];
[6],[3,3],[2,4],[2,2,2],[1,5],[1,2,3],[1,1,4],[1,1,2,2],[1,1,1,3],[1,1,1,1,2],[1,1,1,1,1,1];
[7],[3,4],[2,5],[2,2,3],[1,6],[1,3,3],[1,2,4],[1,2,2,2],[1,1,5],[1,1,2,3],[1,1,1,4],[1,1,1,2,2],[1,1,1,1,3],[1,1,1,1,1,2],[1,1,1,1,1,1,1];
...
		

Crossrefs

Row lengths are A000041.
Partition sums are A036042.
Partition minima are A182715.
Partition lengths are A333486.
The lexicographic version (sum/lex) is A026791.
Compositions under the same order (sum/revlex) are A066099.
The colexicographic version (sum/colex) is A080576.
The version for non-reversed partitions is A080577.
The length-sensitive version (sum/length/revlex) is A334302.
The Heinz numbers of these partitions are A334436.
Partitions in colexicographic order (sum/colex) are A211992.
Partitions in lexicographic order (sum/lex) are A193073.

Programs

  • Mathematica
    revlexsort[f_,c_]:=OrderedQ[PadRight[{c,f}]];
    Join@@Table[Sort[Reverse/@IntegerPartitions[n],revlexsort],{n,0,8}] (* Gus Wiseman, May 23 2020 *)

A264401 Triangle read by rows: T(n,k) is the number of partitions of n having least gap k.

Original entry on oeis.org

1, 0, 1, 1, 1, 1, 1, 1, 2, 2, 1, 2, 3, 2, 4, 4, 2, 1, 4, 6, 4, 1, 7, 8, 5, 2, 8, 11, 8, 3, 12, 15, 10, 4, 1, 14, 20, 15, 6, 1, 21, 26, 19, 9, 2, 24, 35, 27, 12, 3, 34, 45, 34, 17, 5, 41, 58, 47, 23, 6, 1, 55, 75, 59, 31, 10, 1, 66, 96, 79, 41, 13, 2
Offset: 0

Views

Author

Emeric Deutsch, Nov 21 2015

Keywords

Comments

The "least gap" or "mex" of a partition is the least positive integer that is not a part of the partition. For example, the least gap of the partition [7,4,2,2,1] is 3.
Sum of entries in row n is A000041(n).
T(n,1) = A002865(n).
Sum_{k>=1} k*T(n,k) = A022567(n).

Examples

			Row n=5 is 2,3,2; indeed, the least gaps of [5], [4,1], [3,2], [3,1,1], [2,2,1], [2,1,1,1], and [1,1,1,1,1] are 1, 2, 1, 2, 3, 3, and 2, respectively (i.e., two 1s, three 2s, and two 3s).
Triangle begins:
   1
   0   1
   1   1
   1   1   1
   2   2   1
   2   3   2
   4   4   2   1
   4   6   4   1
   7   8   5   2
   8  11   8   3
  12  15  10   4   1
  14  20  15   6   1
  21  26  19   9   2
		

Crossrefs

Row sums are A000041.
Row lengths are A002024.
Column k = 1 is A002865.
Column k = 2 is A027336.
The strict case is A343348.
A000009 counts strict partitions.
A000041 counts partitions.
A000070 counts partitions with a selected part.
A006128 counts partitions with a selected position.
A015723 counts strict partitions with a selected part.
A257993 gives the least gap of the partition with Heinz number n.
A339564 counts factorizations with a selected factor.
A342050 ranks partitions with even least gap.
A342051 ranks partitions with odd least gap.

Programs

  • Maple
    g := (sum(t^j*x^((1/2)*j*(j-1))*(1-x^j), j = 1 .. 80))/(product(1-x^i, i = 1 .. 80)): gser := simplify(series(g, x = 0, 23)): for n from 0 to 30 do P[n] := sort(coeff(gser, x, n)) end do: for n from 0 to 25 do seq(coeff(P[n], t, j), j = 1 .. degree(P[n])) end do; # yields sequence in triangular form
    # second Maple program:
    b:= proc(n, i) option remember; `if`(n=0, `if`(i=0, [1, 0],
          [0, x]), `if`(i<1, 0, (p-> [0, p[2] +p[1]*x^i])(
          b(n, i-1)) +add(b(n-i*j, i-1), j=1..n/i)))
        end:
    T:= n->(p->seq(coeff(p, x, i), i=1..degree(p)))(b(n, n+1)[2]):
    seq(T(n), n=0..20);  # Alois P. Heinz, Nov 29 2015
  • Mathematica
    Needs["Combinatorica`"]; {1, 0}~Join~Flatten[Table[Count[Map[If[# == {}, 0, First@ #] &@ Complement[Range@ n, #] &, Combinatorica`Partitions@ n], n_ /; n == k], {n, 17}, {k, n}] /. 0 -> Nothing] (* Michael De Vlieger, Nov 21 2015 *)
    mingap[q_]:=Min@@Complement[Range[If[q=={},0,Max[q]]+1],q];Table[Length[Select[IntegerPartitions[n],mingap[#]==k&]],{n,0,15},{k,Round[Sqrt[2*(n+1)]]}] (* Gus Wiseman, Apr 19 2021 *)
    b[n_, i_] := b[n, i] = If[n == 0, If[i == 0, {1, 0}, {0, x}], If[i<1, {0, 0}, {0, #[[2]] + #[[1]]*x^i}&[b[n, i-1]] + Sum[b[n-i*j, i - 1], {j, 1, n/i}]]];
    T[n_] := CoefficientList[b[n, n + 1], x][[2]] // Rest;
    T /@ Range[0, 20] // Flatten (* Jean-François Alcover, May 21 2021, after Alois P. Heinz *)

Formula

G.f.: G(t,x) = Sum_{j>=1} (t^j*x^{j(j-1)/2}*(1-x^j))/Product_{i>=1}(1-x^i).
Previous Showing 21-30 of 237 results. Next