A193870 -id:A193870 - cp's OEIS frontend

A135010 Triangle read by rows in which row n lists A000041(n-1) 1's followed by the list of juxtaposed lexicographically ordered partitions of n that do not contain 1 as a part.

1, 1, 2, 1, 1, 3, 1, 1, 1, 2, 2, 4, 1, 1, 1, 1, 1, 2, 3, 5, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 4, 3, 3, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 3, 2, 5, 3, 4, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 4, 2, 3, 3, 2, 6, 3, 5, 4, 4, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1

Offset: 1

Omar E. Pol, Nov 17 2007, Mar 21 2008

This is the original sequence of a large number of sequences connected with the section model of partitions.
Here "the n-th section of the set of partitions of any integer greater than or equal to n" (hence "the last section of the set of partitions of n") is defined to be the set formed by all parts that occur as a result of taking all partitions of n and then removing all parts of the partitions of n-1. For integers greater than 1 the structure of a section has two main areas: the head and tail. The head is formed by the partitions of n that do not contain 1 as a part. The tail is formed by A000041(n-1) partitions of 1. The set of partitions of n contains the sets of partitions of the previous numbers. The section model of partitions has several versions according with the ordering of the partitions or with the representation of the sections. In this sequence we use the ordering of A026791.
The section model of partitions can be interpreted as a table of partitions. See also A138121. - Omar E. Pol, Nov 18 2009
It appears that the versions of the model show an overlapping of sections and subsections of the numbers congruent to k mod m into parts >= m. For example:
First generation (the main table):
Table 1.0: Partitions of integers congruent to 0 mod 1 into parts >= 1.
Second generation:
Table 2.0: Partitions of integers congruent to 0 mod 2 into parts >= 2.
Table 2.1: Partitions of integers congruent to 1 mod 2 into parts >= 2.
Third generation:
Table 3.0: Partitions of integers congruent to 0 mod 3 into parts >= 3.
Table 3.1: Partitions of integers congruent to 1 mod 3 into parts >= 3.
Table 3.2: Partitions of integers congruent to 2 mod 3 into parts >= 3.
And so on.
Conjecture:
Let j and n be integers congruent to k mod m such that 0 <= k < m <= j < n. Let h=(n-j)/m. Consider only all partitions of n into parts >= m. Then remove every partition in which the parts of size m appears a number of times < h. Then remove h parts of size m in every partition. The rest are the partitions of j into parts >= m. (Note that in the section model, h is the number of sections or subsections removed), (Omar E. Pol, Dec 05 2010, Dec 06 2010).
Starting from the first row of triangle, it appears that the total numbers of parts of size k in k successive rows give the sequence A000041 (see A182703). - Omar E. Pol, Feb 22 2012
The last section of n contains A187219(n) regions (see A206437). - Omar E. Pol, Nov 04 2012

			Triangle begins:
  [1];
  [1],[2];
  [1],[1],[3];
  [1],[1],[1],[2,2],[4];
  [1],[1],[1],[1],[1],[2,3],[5];
  [1],[1],[1],[1],[1],[1],[1],[2,2,2],[2,4],[3,3],[6];
  ...
From _Omar E. Pol_, Sep 03 2013: (Start)
Illustration of initial terms (n = 1..6). The table shows the six sections of the set of partitions of 6 in three ways. Note that before the dissection, the set of partitions was in the ordering mentioned in A026791. More generally, the six sections of the set of partitions of 6 also can be interpreted as the first six sections of the set of partitions of any integer >= 6.
---------------------------------------------------------
n  j          Diagram          Parts           Parts
---------------------------------------------------------
.                   _
1  1               |_|                1;              1;
.                 _
2  1             | |_               1,              1,
2  2             |_ _|              2;                2;
.               _
3  1           | |                1,              1,
3  2           | |_ _             1,                1,
3  3           |_ _ _|            3;                  3;
.             _
4  1         | |                1,              1,
4  2         | |                1,                1,
4  3         | |_ _ _           1,                  1,
4  4         |   |_ _|          2,2,                2,2,
4  5         |_ _ _ _|          4;                    4;
.           _
5  1       | |                1,              1,
5  2       | |                1,                1,
5  3       | |                1,                  1,
5  4       | |                1,                  1,
5  5       | |_ _ _ _         1,                    1,
5  6       |   |_ _ _|        2,3,                  2,3,
5  7       |_ _ _ _ _|        5;                      5;
.         _
6  1     | |                1,              1,
6  2     | |                1,                1,
6  3     | |                1,                  1,
6  4     | |                1,                  1,
6  5     | |                1,                    1,
6  6     | |                1,                    1,
6  7     | |_ _ _ _ _       1,                      1,
6  8     |   |   |_ _|      2,2,2,                2,2,2,
6  9     |   |_ _ _ _|      2,4,                    2,4,
6  10    |     |_ _ _|      3,3,                    3,3,
6  11    |_ _ _ _ _ _|      6;                        6;
...
(End)

Alois P. Heinz, Rows n = 1..23, flattened
Omar E. Pol, Illustration of the section model of partitions
Omar E. Pol, Illustration of the section model of partitions (2D view)
Omar E. Pol, Illustration of the section model of partitions (3D view)
Robert Price, Mathematica program to generate "Illustration of the section model of partitions"
Robert Price, Mathematica program to generate "Illustration of the section model of partitions (2D view)"

Row n has length A138137(n).
Row sums give A138879.
Right border gives A000027.
Cf. A000041, A026791, A138121, A141285, A182703, A187219, A193870, A194446, A206437, A207031, A207383, A207379, A211009.

with(combinat):
T:= proc(m) local b, ll;
      b:= proc(n, i, l)
            if n=0 then ll:=ll, l[]
          else seq(b(n-j, j, [l[], j]), j=i..n)
            fi
          end;
      ll:= NULL; b(m, 2, []); [1$numbpart(m-1)][], ll
    end:
seq(T(n), n=1..10);  # Alois P. Heinz, Feb 19 2012

less[run1_, run2_] := (lg1 = run1 // Length; lg2 = run2 // Length; lg = Max[lg1, lg2]; r1 = If[lg1 == lg, run1, PadRight[run1, lg, 0]]; r2 = If[lg2 == lg, run2, PadRight[run2, lg, 0]]; Order[r1, r2] != -1); row[n_] := Join[ Array[1 &, {PartitionsP[n - 1]}], Sort[ Reverse /@ Select[ IntegerPartitions[n], FreeQ[#, 1] &], less] ] // Flatten; Table[row[n], {n, 1, 9}] // Flatten (* Jean-François Alcover, Jan 14 2013 *)
Table[Reverse@ConstantArray[{1}, PartitionsP[n - 1]]~Join~
DeleteCases[Sort@PadRight[Reverse/@Cases[IntegerPartitions[n], x_ /; Last[x] != 1]], x_ /; x == 0, 2], {n, 1, 9}] // Flatten (* Robert Price, May 12 2020 *)

A206437 Triangle read by rows: T(j,k) is the k-th part of the j-th region of the set of partitions of n, if 1 <= j <= A000041(n).

Original entry on oeis.org

1, 2, 1, 3, 1, 1, 2, 4, 2, 1, 1, 1, 3, 5, 2, 1, 1, 1, 1, 1, 2, 4, 2, 3, 6, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 3, 5, 2, 4, 7, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 4, 2, 3, 6, 3, 2, 2, 5, 4, 8, 4, 3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1

Offset: 1

Omar E. Pol, Feb 14 2012

Here the j-th "region" of the set of partitions of n (or more simply the j-th "region" of n) is defined to be the first h elements of the sequence formed by the smallest parts in nonincreasing order of the partitions of the largest part of the j-th partition of n, with the list of partitions in colexicographic order, where h = j - i, and i is the index of the previous partition of n whose largest part is greater than the largest part of the j-th partition of n, or i = 0 if such previous largest part does not exist. The largest part of the j-th region of n is A141285(j) and the number of parts is h = A194446(j).
Some properties of the regions of n:
- The number of regions of n equals the number of partitions of n (see A000041).
- The set of regions of n contain the sets of regions of all positive integers previous to n.
- The first j regions of n are also first j regions of all integers greater than n.
- The sums of all largest parts of all regions of n equals the total number of parts of all regions of n. See A006128(n).
- If T(j,1) is a record in the sequence then the leading diagonals of triangle formed by the first j rows give the partitions of n (see example).
- The rank of a region is the largest part minus the number of parts (see A194447).
- The sum of all ranks of the regions of n is equal to zero.
How to make a diagram of the regions and partitions of n: in the first quadrant of the square grid we draw a horizontal line {[0, 0],[n, 0]} of length n. Then we draw a vertical line {[0, 0],[0, p(n)]} of length p(n) where p(n) is the number of partitions of n. Then, for j = 1..p(n), we draw a horizontal line {[0, j],[g, j]} where g = A141285(j) is the largest part of the j-th partition of n, with the list of partitions in colexicographic order. Then, for n = 1 .. p(n), we draw a vertical line from the point [g,j] down to intercept the next segment in a lower row. So we have a number of closed regions. Then we divide each region of n in horizontal rectangles with shorter sides = 1. We can see that in the original rectangle of area n*p(n) each row contains a set of rectangles whose areas are equal to the parts of one of the partitions of n. Then each region of n is labeled according to the position of its largest part on axis "y". Note that each region of n is similar to a mirror version of the Young diagram of one of the partitions of s, where s is the sum of all parts of the region. See the illustrations of the seven regions of 5 in the Links section.
Note that if row j of triangle contains parts of size 1 then the parts of row j are the smallest parts of all partitions of T(j,1), (see A046746), and also T(j,1) is a record in the sequence and also j is the number of partitions of T(j,1), (see A000041). Otherwise, if row j does not contain parts of size 1 then the parts of row j are the emergent parts of the next record in the sequence (see A183152). Row j is also the partition of A186412(j).
Also triangle read by rows in which row r lists the parts of the last section of the set of partitions of r, ordered by regions, such that the previous parts to the part of size r are the emergent parts of the partitions of r (see A138152) and the rest are the smallest parts of the partitions of r (see example). - Omar E. Pol, Apr 28 2012

			-------------------------------------------
  Region j   Triangle of parts
-------------------------------------------
  1          1;
  2          2,1;
  3          3,1,1;
  4          2;
  5          4,2,1,1,1;
  6          3;
  7          5,2,1,1,1,1,1;
  8          2;
  9          4,2;
  10         3;
  11         6,3,2,2,1,1,1,1,1,1,1;
  12         3;
  13         5,2;
  14         4;
  15         7,3,2,2,1,1,1,1,1,1,1,1,1,1,1;
.
The rotated triangle shows each row as a partition:
                             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               1               1
     3       1       1               1               1
   2   1       1       1               1               1
 1   1   1       1       1               1               1
.
Alternative interpretation of this sequence:
Triangle read by rows in which row r lists the parts of the last section of the set of partitions of r ordered by regions (see comments):
   [1];
   [2,1];
   [3,1,1];
   [2],[4,2,1,1,1];
   [3],[5,2,1,1,1,1,1];
   [2],[4,2],[3],[6,3,2,2,1,1,1,1,1,1,1];
   [3],[5,2],[4],[7,3,2,2,1,1,1,1,1,1,1,1,1,1,1];

Robert Price, Table of n, a(n) for n = 1..321, first 75 regions.
Omar E. Pol, Illustration of the seven regions of 5
Omar E. Pol, Illustration of initial terms, regions = 1..77 (2D view)
Omar E. Pol, Illustration of initial terms, regions = 1..30 (3D view)
Omar E. Pol, Visualization of regions in a diagram for A006128
Robert Price, Mathematica program to draw diagram up to n=28

Positive integers in A193870. Column 1 is A141285. Row j has length A194446(j). Row sums give A186412. Records are A000027.

Cf. A000041, A046746, A135010, A138121, A182699, A182703, A182709, A183152, A186114, A187219, A194436-A194439, A194447, A194448, A196025, A198381.

lex[n_]:=DeleteCases[Sort@PadRight[Reverse /@ IntegerPartitions@n], x_ /; x==0, 2];
reg = {}; l = {};
For[j = 1, j <= 22, j++,
  mx = Max@lex[j][[j]]; AppendTo[l, mx];
  For[i = j, i > 0, i--, If[l[[i]] > mx, Break[]]];
  AppendTo[reg, Take[Reverse[First /@ lex[mx]], j - i]];
  ];
Flatten@reg  (* Robert Price, Apr 21 2020, revised Jul 24 2020 *)

Further edited by Omar E. Pol, Mar 31 2012, Jan 27 2013
Minor edits by Omar E. Pol, Apr 23 2020
Comments corrected (following a suggestion from Peter Munn) by Omar E. Pol, Jul 20 2025

A141285 Largest part of the n-th partition of j in the list of colexicographically ordered partitions of j, if 1 <= n <= A000041(j).

Original entry on oeis.org

1, 2, 3, 2, 4, 3, 5, 2, 4, 3, 6, 3, 5, 4, 7, 2, 4, 3, 6, 5, 4, 8, 3, 5, 4, 7, 3, 6, 5, 9, 2, 4, 3, 6, 5, 4, 8, 4, 7, 6, 5, 10, 3, 5, 4, 7, 3, 6, 5, 9, 5, 4, 8, 7, 6, 11, 2, 4, 3, 6, 5, 4, 8, 4, 7, 6, 5, 10, 3, 6, 5, 9, 4, 8, 7, 6, 12

Offset: 1

Omar E. Pol, Aug 01 2008

Also largest part of the n-th region of the set of partitions of j, if 1 <= n <= A000041(j). For the definition of "region of the set of partitions of j" see A206437.
Also triangle read by rows: T(j,k) is the largest part of the k-th region in the last section of the set of partitions of j.
For row n >= 2 the rows of triangle are also the branches of a tree which is a projection of a three-dimensional structure of the section model of partitions of A135010, version tree. The branches of even rows give A182730. The branches of odd rows give A182731. Note that each column contains parts of the same size. It appears that the structure of A135010 is a periodic table of integer partitions. See also A210979 and A210980.
Also column 1 of: A193870, A206437, A210941, A210942, A210943. - Omar E. Pol, Sep 01 2013
Also row lengths of A211009. - Omar E. Pol, Feb 06 2014

			Written as a triangle T(j,k) the sequence begins:
  1;
  2;
  3;
  2, 4;
  3, 5;
  2, 4, 3, 6;
  3, 5, 4, 7;
  2, 4, 3, 6, 5, 4, 8;
  3, 5, 4, 7, 3, 6, 5, 9;
  2, 4, 3, 6, 5, 4, 8, 4, 7, 6, 5, 10;
  3, 5, 4, 7, 3, 6, 5, 9, 5, 4, 8,  7, 6, 11;
  ...
  ------------------------------------------
  n  A000041                a(n)
  ------------------------------------------
   1 = p(1)                   1
   2 = p(2)                 2 .
   3 = p(3)                   . 3
   4                        2 .
   5 = p(4)               4   .
   6                          . 3
   7 = p(5)                   .   5
   8                        2 .
   9                      4   .
  10                    3     .
  11 = p(6)           6       .
  12                          . 3
  13                          .   5
  14                          .     4
  15 = p(7)                   .       7
  ...
From _Omar E. Pol_, Aug 22 2013: (Start)
Illustration of initial terms (n = 1..11) in three ways: as the largest parts of the partitions of 6 (see A026792), also as the largest parts of the regions of the diagram, also as the diagonal of triangle. By definition of "region" the largest part of the n-th region is also the largest part of the n-th partition (see below):
  --------------------------------------------------------
  .                  Diagram         Triangle in which
  Partitions       of regions       rows are partitions
  of 6           and partitions   and columns are regions
  --------------------------------------------------------
  .                _ _ _ _ _ _
  6                _ _ _      |                         6
  3+3              _ _ _|_    |                       3 3
  4+2              _ _    |   |                     4   2
  2+2+2            _ _|_ _|_  |                   2 2   2
  5+1              _ _ _    | |                 5       1
  3+2+1            _ _ _|_  | |               3 1       1
  4+1+1            _ _    | | |             4   1       1
  2+2+1+1          _ _|_  | | |           2 2   1       1
  3+1+1+1          _ _  | | | |         3   1   1       1
  2+1+1+1+1        _  | | | | |       2 1   1   1       1
  1+1+1+1+1+1       | | | | | |     1 1 1   1   1       1
  ...
The equivalent sequence for compositions is A001511. Explanation: for the positive integer j the diagram of regions of the set of compositions of j has 2^(j-1) regions. The largest part of the n-th region is A001511(n). The number of parts is A006519(n). On the other hand the diagram of regions of the set of partitions of j has A000041(j) regions. The largest part of the n-th region is a(n) = A001511(A228354(n)). The number of parts is A194446(n). Both diagrams have j sections. The diagram for partitions can be interpreted as one of the three views of a three dimensional diagram of compositions in which the rows of partitions are in orthogonal direction to the rest. For the first five sections of the diagrams see below:
  --------------------------------------------------------
  .          Diagram                           Diagram
  .         of regions                        of regions
  .      and compositions                   and partitions
  ---------------------------------------------------------
  .      j = 1 2 3 4 5                     j = 1 2 3 4 5
  ---------------------------------------------------------
   n  A001511                    A228354  a(n)
  ---------------------------------------------------------
   1   1     _| | | | | ............ 1    1    _| | | | |
   2   2     _ _| | | | ............ 2    2    _ _| | | |
   3   1     _|   | | |    ......... 4    3    _ _ _| | |
   4   3     _ _ _| | | ../  ....... 6    2    _ _|   | |
   5   1     _| |   | |    / ....... 8    4    _ _ _ _| |
   6   2     _ _|   | | ../ /   .... 12   3    _ _ _|   |
   7   1     _|     | |    /   /   . 16   5    _ _ _ _ _|
   8   4     _ _ _ _| | ../   /   /
   9   1     _| | |   |      /   /
  10   2     _ _| |   |     /   /
  11   1     _|   |   |    /   /
  12   3     _ _ _|   | ../   /
  13   1     _| |     |      /
  14   2     _ _|     |     /
  15   1     _|       |    /
  16   5     _ _ _ _ _| ../
  ...
Also we can draw an infinite Dyck path in which the n-th odd-indexed line segment has a(n) up-steps and the n-th even-indexed line segment has A194446(n) down-steps. Note that the height of the n-th largest peak between two successive valleys at height 0 is also the partition number A000041(n). See below:
.                                 5
.                                 /\                 3
.                   4            /  \           4    /\
.                   /\          /    \          /\  /
.         3        /  \     3  /      \        /  \/
.    2    /\   2  /    \    /\/        \   2  /
. 1  /\  /  \  /\/      \  /            \  /\/
. /\/  \/    \/          \/              \/
.
.(End)

Alois P. Heinz, Table of n, a(n) for n = 1..4000
Omar E. Pol, Illustration of initial terms
Omar E. Pol, Illustration of the seven regions of 5

Where records occur give A000041, n>=1. Column 1 is A158478. Row j has length A187219(j). Row sums give A138137. Right border gives A000027.

Cf. A000041, A135010, A182730, A182731, A182732, A182733, A182982, A182983, A182703, A193870, A194446, A194447, A194550, A206437, A210979, A210980, A211978, A220517, A225600, A225610.

Last/@DeleteCases[DeleteCases[Sort@PadRight[Reverse/@IntegerPartitions[13]], x_ /; x == 0, 2], {}] (* updated _Robert Price, May 15 2020 *)

a(n) = A001511(A228354(n)). - Omar E. Pol, Aug 22 2013

Edited by Omar E. Pol, Nov 28 2010

Better definition and edited by Omar E. Pol, Oct 17 2013

A187219 Number of partitions of n that do not contain parts less than the smallest part of the partitions of n-1.

Original entry on oeis.org

1, 1, 1, 2, 2, 4, 4, 7, 8, 12, 14, 21, 24, 34, 41, 55, 66, 88, 105, 137, 165, 210, 253, 320, 383, 478, 574, 708, 847, 1039, 1238, 1507, 1794, 2167, 2573, 3094, 3660, 4378, 5170, 6153, 7245, 8591, 10087, 11914, 13959, 16424, 19196, 22519, 26252, 30701, 35717

Offset: 1

Omar E. Pol, Dec 09 2011

nonn

Essentially the same as A002865, but here a(1) = 1 not 0.
Also number of regions in the last section of the set of partitions of n.
Also number of partitions of n+k that are formed by k+1 sections, k >= 0 (Cf. A194799). - Omar E. Pol, Jan 30 2012
For the definition of region see A206437. - Omar E. Pol, Aug 13 2013
Partial sums give A000041, n >= 1. - Omar E. Pol, Sep 04 2013
Also the number of partitions of n with no parts greater than the number of ones. - Spencer Miller, Jan 28 2023

			From _Omar E. Pol_, Aug 13 2013: (Start)
Illustration of initial terms as number of regions:
.                                           _ _ _ _ _ _
.                                          |_ _ _      |
.                                          |_ _ _|_    |
.                                          |_ _    |   |
.                               _ _ _ _ _  |_ _|_ _|_  |
.                              |_ _ _    |           | |
.                     _ _ _ _  |_ _ _|_  |           | |
.                    |_ _    |         | |           | |
.             _ _ _  |_ _|_  |         | |           | |
.       _ _  |_ _  |       | |         | |           | |
.   _  |_  |     | |       | |         | |           | |
.  |_|   |_|     |_|       |_|         |_|           |_|
.
.   1     1       1         2           2             4
.
(End)

Paolo Xausa, Table of n, a(n) for n = 1..10000 (terms 1..1000 from Vincenzo Librandi)
Omar E. Pol, Illustration of the seven regions of 5

Cf. A000041, A002865, A083751, A135010, A186114, A193870, A206437, A225600, A225610.

Join[{1}, Drop[CoefficientList[Series[1 / Product[(1 - x^k)^1, {k, 2, 50}], {x, 0, 50}], x], 2]] (* Vincenzo Librandi, Feb 15 2018 *)
A187219[nmax_]:=Join[{1},Differences[PartitionsP[Range[nmax]]]];
A187219[100] (* Paolo Xausa, Feb 17 2023 *)

a(n) = A083751(n) + 1. - Omar E. Pol, Mar 04 2012

a(n) = A002865(n), if n >= 2. - Omar E. Pol, Aug 13 2013

Better definition from Omar E. Pol, Sep 04 2013

A194446 Number of parts in the n-th region of the set of partitions of j, if 1<=n<=A000041(j).

Original entry on oeis.org

1, 2, 3, 1, 5, 1, 7, 1, 2, 1, 11, 1, 2, 1, 15, 1, 2, 1, 4, 1, 1, 22, 1, 2, 1, 4, 1, 2, 1, 30, 1, 2, 1, 4, 1, 1, 7, 1, 2, 1, 1, 42, 1, 2, 1, 4, 1, 2, 1, 8, 1, 1, 3, 1, 1, 56, 1, 2, 1, 4, 1, 1, 7, 1, 2, 1, 1, 12, 1, 2, 1, 4, 1, 2, 1, 1, 77, 1, 2, 1

Offset: 1

Omar E. Pol, Nov 26 2011

For the definition of "region" of the set of partitions of j, see A206437.
a(n) is also the number of positive integers in the n-th row of triangle A186114. a(n) is also the number of positive integers in the n-th row of triangle A193870.
Also triangle read by rows: T(j,k) = number of parts in the k-th region of the last section of the set of partitions of j. See example. For more information see A135010.
a(n) is also the length of the n-th vertical line segment in the minimalist diagram of regions and partitions. The length of the n-th horizontal line segment is A141285(n). See also A194447. - Omar E. Pol, Mar 04 2012
From Omar E. Pol, Aug 19 2013: (Start)
In order to construct this sequence with a cellular automaton we use the following rules: We start in the first quadrant of the square grid with no toothpicks. At stage n we place A141285(n) toothpicks of length 1 connected by their endpoints in horizontal direction starting from the point (0, n). Then we place toothpicks of length 1 connected by their endpoints in vertical direction starting from the exposed toothpick endpoint downward up to touch the structure or up to touch the x-axis. a(n) is the number of toothpicks in vertical direction added at n-th stage (see example section and A139250, A225600, A225610).
a(n) is also the length of the n-th descendent line segment in an infinite Dyck path in which the length of the n-th ascendent line segment is A141285(n). See Example section. For more information see A211978, A220517, A225600.
(End)
The equivalent sequence for compositions is A006519. - Omar E. Pol, Aug 22 2013

			Written as an irregular triangle the sequence begins:
  1;
  2;
  3;
  1, 5;
  1, 7;
  1, 2, 1, 11;
  1, 2, 1, 15;
  1, 2, 1,  4, 1, 1, 22;
  1, 2, 1,  4, 1, 2,  1, 30;
  1, 2, 1,  4, 1, 1,  7,  1, 2, 1, 1, 42;
  1, 2, 1,  4, 1, 2,  1,  8, 1, 1, 3,  1, 1, 56;
  1, 2, 1,  4, 1, 1,  7,  1, 2, 1, 1, 12, 1,  2, 1, 4, 1, 2, 1, 1, 77;
  ...
From _Omar E. Pol_, Aug 18 2013: (Start)
Illustration of initial terms (first seven regions):
.                                             _ _ _ _ _
.                                     _ _ _  |_ _ _ _ _|
.                           _ _ _ _  |_ _ _|       |_ _|
.                     _ _  |_ _ _ _|                 |_|
.             _ _ _  |_ _|     |_ _|                 |_|
.       _ _  |_ _ _|             |_|                 |_|
.   _  |_ _|     |_|             |_|                 |_|
.  |_|   |_|     |_|             |_|                 |_|
.
.   1     2       3     1         5       1           7
.
The next figure shows a minimalist diagram of the first seven regions. The n-th horizontal line segment has length A141285(n). a(n) is the length of the n-th vertical line segment, which is the vertical line segment ending in row n (see also A225610).
.      _ _ _ _ _
.  7   _ _ _    |
.  6   _ _ _|_  |
.  5   _ _    | |
.  4   _ _|_  | |
.  3   _ _  | | |
.  2   _  | | | |
.  1    | | | | |
.
.      1 2 3 4 5
.
Illustration of initial terms from an infinite Dyck path in which the length of the n-th ascendent line segment is A141285(n). a(n) is the length of the n-th descendent line segment.
.                                    /\
.                                   /  \
.                      /\          /    \
.                     /  \        /      \
.            /\      /    \    /\/        \
.       /\  /  \  /\/      \  / 1          \
.    /\/  \/    \/ 1        \/              \
.     1   2     3           5               7
.
(End)

Robert Price, Table of n, a(n) for n = 1..5603
Omar E. Pol, Illustration of the seven regions of 5

Row j has length A187219(j). Right border gives A000041, j >= 1. Records give A000041, j >= 1. Row sums give A138137.

Cf. A002865, A006128, A135010, A138121, A186114, A186412, A193870, A194436, A194437, A194438, A194439, A194447.

lex[n_]:=DeleteCases[Sort@PadRight[Reverse /@ IntegerPartitions@n], x_ /; x==0,2];
A194446 = {}; l = {};
For[j = 1, j <= 30, j++,
  mx = Max@lex[j][[j]]; AppendTo[l, mx];
  For[i = j, i > 0, i--, If[l[[i]] > mx, Break[]]];
  AppendTo[A194446, j - i];
  ];
A194446   (* Robert Price, Jul 25 2020 *)

a(n) = A141285(n) - A194447(n). - Omar E. Pol, Mar 04 2012

A186114 Triangle of regions and partitions of integers (see Comments lines for definition).

Original entry on oeis.org

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

Offset: 1

Omar E. Pol, Aug 08 2011

Let r = T(n,k) be a record in the sequence. The consecutive records "r" are the natural numbers A000027. Consider the first n rows; the triangle T(n,k) has the property that the columns, without the zeros, from k..1, are also the partitions of r in juxtaposed reverse-lexicographical order, so k is also A000041(r), the number of partitions of r. Note that a record r is always the final term of a row if such row contains 1’s. The number of positive integer a(1)..r is A006128(r). The sums a(1)..r is A066186(r). Here the set of positive integers in every row (from 1 to n) is called a “region” of r. The number of regions of r equals the number of partitions of r. If T(n,1) = 1 then the row n is formed by the smallest parts, in nondecreasing order, of all partitions of T(n,n).

			Triangle begins:
1,
1, 2,
1, 1, 3,
0, 0, 0, 2,
1, 1, 1, 2, 4,
0, 0, 0, 0, 0, 3,
1, 1, 1, 1, 1, 2, 5,
0, 0, 0, 0, 0, 0, 0, 2,
0, 0, 0, 0, 0, 0, 0, 2, 4,
0, 0, 0, 0, 0, 0, 0, 0, 0, 3,
1, 1, 1, 1, 1, 1, 1, 2, 2, 3, 6
...
The row n = 11 contains the 6th record in the sequence:  a(66) = T(11,11) = 6, then consider the first 11 rows of triangle. Note that the columns, from k = 11..1, without the zeros, are also the 11 partitions of 6 in juxtaposed reverse-lexicographical order: [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]. See A026792.

Robert Price, Table of n, a(n) for n = 1..196878, rows 1-627.
Omar E. Pol, Illustration of the seven regions of 5

Mirror of triangle A193870. Column 1 gives A167392. Right diagonal gives A141285.

Cf. A000041, A135010, A138121, A183152, A186412, A187219, A194436-A194439, A194446-A194448, A206437.

A206437 = Cases[Import["https://oeis.org/A206437/b206437.txt",
     "Table"], {, }][[All, 2]];
A194446 = Cases[Import["https://oeis.org/A194446/b194446.txt",
    "Table"], {, }][[All, 2]];
f[n_] := Module[{v},
   v = Take[A206437, A194446[[n]]];
   A206437 = Drop[A206437, A194446[[n]]];
   Reverse[PadRight[v, n]]];
Table[f[n], {n, PartitionsP[20]}]  // Flatten (* Robert Price, Apr 26 2020 *)

T(n,1) = A167392(n).

T(n,k) = A141285(n), if k = n.

A194447 Rank of the n-th region of the set of partitions of j, if 1<=n<=A000041(j).

Original entry on oeis.org

0, 0, 0, 1, -1, 2, -2, 1, 2, 2, -5, 2, 3, 3, -8, 1, 2, 2, 2, 4, 3, -14, 2, 3, 3, 3, 2, 4, 4, -21, 1, 2, 2, 2, 4, 3, 1, 3, 5, 5, 4, -32, 2, 3, 3, 3, 2, 4, 4, 1, 4, 3, 5, 6, 5, -45, 1, 2, 2, 2, 4, 3, 1, 3, 5, 5, 4, -2, 2, 4, 4, 5, 3, 6, 6, 5, -65

Offset: 1

Omar E. Pol, Dec 04 2011

Here the rank of a "region" is defined to be the largest part minus the number of parts (the same idea as the Dyson's rank of a partition).
Also triangle read by rows: T(j,k) = rank of the k-th region of the last section of the set of partitions of j.
The sum of every row is equal to zero.
Note that in some rows there are several negative terms. - Omar E. Pol, Oct 27 2012
For the definition of "region" see A206437. See also A225600 and A225610. - Omar E. Pol, Aug 12 2013

			In the triangle T(j,k) for j = 6 the number of regions in the last section of the set of partitions of 6 is equal to 4. The first region given by [2] has rank 2-1 = 1. The second region given by [4,2] has rank 4-2 = 2. The third region given by [3] has rank 3-1 = 2. The fourth region given by [6,3,2,2,1,1,1,1,1,1,1] has rank 6-11 = -5 (see below):
From _Omar E. Pol_, Aug 12 2013: (Start)
---------------------------------------------------------
.    Regions       Illustration of ranks of the regions
---------------------------------------------------------
.    For J=6        k=1     k=2      k=3        k=4
.  _ _ _ _ _ _                              _ _ _ _ _ _
. |_ _ _      |                     _ _ _   .          |
. |_ _ _|_    |           _ _ _ _   * * .|    .        |
. |_ _    |   |     _ _   * * .  |              .      |
. |_ _|_ _|_  |     * .|        .|                .    |
.           | |                                     .  |
.           | |                                       .|
.           | |                                       *|
.           | |                                       *|
.           | |                                       *|
.           | |                                       *|
.           |_|                                       *|
.
So row 6 lists:     1       2         2              -5
(End)
Written as a triangle begins:
0;
0;
0;
1,-1;
2,-2;
1,2,2,-5;
2,3,3,-8;
1,2,2,2,4,3,-14;
2,3,3,3,2,4,4,-21;
1,2,2,2,4,3,1,3,5,5,4,-32;
2,3,3,3,2,4,4,1,4,3,5,6,5,-45;
1,2,2,2,4,3,1,3,5,5,4,-2,2,4,4,5,3,6,6,5,-65;
2,3,3,3,2,4,4,1,4,3,5,6,5,-3,3,5,5,4,5,4,7,7,6,-88;

Row j has length A187219(j). The absolute value of the last term of row j is A000094(j+1). Row sums give A000004.

Cf. A000041, A002865, A135010, A138121, A138137, A138879, A186114, A186412, A193870, A194436, A194437, A194438, A194439, A194446, A206437.

a(n) = A141285(n) - A194446(n). - Omar E. Pol, Dec 05 2011

A186412 Sum of all parts in the n-th region of the set of partitions of j, if 1<=n<=A000041(j).

Original entry on oeis.org

1, 3, 5, 2, 9, 3, 12, 2, 6, 3, 20, 3, 7, 4, 25, 2, 6, 3, 13, 5, 4, 38, 3, 7, 4, 14, 3, 9, 5, 49, 2, 6, 3, 13, 5, 4, 23, 4, 10, 6, 5, 69, 3, 7, 4, 14, 3, 9, 5, 27, 5, 4, 15, 7, 6, 87, 2, 6, 3, 13, 5, 4, 23, 4, 10, 6, 5, 39, 3, 9, 5, 19, 4, 12, 7, 6, 123

Offset: 1

Omar E. Pol, Aug 12 2011

Also triangle read by rows: T(j,k) = sum of all parts in the k-th region of the last section of the set of partitions of j. See Example section. For more information see A135010. - Omar E. Pol, Nov 26 2011

For the definition of "region" see A206437. - Omar E. Pol, Aug 19 2013

			Contribution from Omar E. Pol, Nov 26 2011 (Start):
Written as a triangle:
1;
3;
5;
2,9;
3,12;
2,6,3,20;
3,7,4,25;
2,6,3,13,5,4,38;
3,7,4,14,3,9,5,49;
2,6,3,13,5,4,23,4,10,6,5,69;
3,7,4,14,3,9,5,27,5,4,15,7,6,87;
2,6,3,13,5,4,23,4,10,6,5,39,3,9,5,19,4,12,7,6,123;
(End)
From _Omar E. Pol_, Aug 18 2013: (Start)
Illustration of initial terms (first seven regions):
.                                             _ _ _ _ _
.                                     _ _ _  |_ _ _ _ _|
.                           _ _ _ _  |_ _ _|       |_ _|
.                     _ _  |_ _ _ _|                 |_|
.             _ _ _  |_ _|     |_ _|                 |_|
.       _ _  |_ _ _|             |_|                 |_|
.   _  |_ _|     |_|             |_|                 |_|
.  |_|   |_|     |_|             |_|                 |_|
.
.   1     3       5     2         9       3          12
.
(End)

Row sums of triangle A186114 and of triangle A193870.
Row j has length A187219(j).
Row sums give A138879.
Right border gives A046746, j >= 1.
Records give A046746, j >= 1.
Partial sums give A182244.
Cf. A000041, A002865, A066186, A135010, A138121, A138879, A194436, A194437, A194438, A194439, A194446, A194447.

lex[n_]:=DeleteCases[Sort@PadRight[Reverse /@ IntegerPartitions@n], x_ /; x==0,2];
A186412 = {}; l = {};
For[j = 1, j <= 50, j++,
  mx = Max@lex[j][[j]]; AppendTo[l, mx];
  For[i = j, i > 0, i--, If[l[[i]] > mx, Break[]]];
  AppendTo[A186412, Total@Take[Reverse[First /@ lex[mx]], j - i]];
  ];
A186412  (* Robert Price, Jul 25 2020 *)

a(A000041(n)) = A046746(n).

A211978 Total number of parts in all partitions of n plus the sum of largest parts of all partitions of n.

Original entry on oeis.org

0, 2, 6, 12, 24, 40, 70, 108, 172, 256, 384, 550, 798, 1112, 1560, 2136, 2926, 3930, 5288, 6996, 9260, 12104, 15798, 20412, 26348, 33702, 43044, 54588, 69090, 86906, 109126, 136270, 169854, 210732, 260924, 321752, 396028, 485624, 594402, 725174, 883092, 1072208

Offset: 0

Omar E. Pol, Jan 03 2013

nonn

Also twice A006128, because the total number of parts in all partitions of n equals the sum of largest parts of all partitions of n. For a proof without words see the illustration of initial terms. Note that the sum of the lengths of all horizontal segments equals the sum of largest parts of all partitions of n. On the other hand, the sum of the lengths of all vertical segments equals the total number of parts of all partition of n. Therefore the sum of lengths of all horizontal segments equals the sum of lengths of all vertical segments.
a(n) is also the sum of the semiperimeters of the Ferrers boards of the partitions of n. Example: a(2)=6; indeed, the Ferrers boards of the partitions [2] and [1,1] of 2 are 2x1 rectangles; the sum of their semiperimeters is 3 + 3 = 6. - Emeric Deutsch, Oct 07 2016
a(n) is also the sum of the semiperimeters of the regions of the set of partitions of n. See the first illustration in the Example section. For more information see A278355. - Omar E. Pol, Nov 23 2016

			Illustration of initial terms as a minimalist diagram of regions of the set of partitions of n, for n = 1..6:
.                                         _ _ _ _ _ _
.                                         _ _ _      |
.                                         _ _ _|_    |
.                                         _ _    |   |
.                             _ _ _ _ _   _ _|_ _|_  |
.                             _ _ _    |  _ _ _    | |
.                   _ _ _ _   _ _ _|_  |  _ _ _|_  | |
.                   _ _    |  _ _    | |  _ _    | | |
.           _ _ _   _ _|_  |  _ _|_  | |  _ _|_  | | |
.     _ _   _ _  |  _ _  | |  _ _  | | |  _ _  | | | |
. _   _  |  _  | |  _  | | |  _  | | | |  _  | | | | |
.  |   | |   | | |   | | | |   | | | | |   | | | | | |
.
. 2    6     12        24         40          70
.
Also using the elements from the diagram we can draw an infinite Dyck path in which the n-th odd-indexed segment has A141285(n) up-steps and the n-th even-indexed segment has A194446(n) down-steps. Note that the n-th largest peak between two valleys at height 0 is also the partition number A000041(n) as shown below:
.
11...........................................................
.                                                           /\
.                                                          /  \
.                                                         /    \
7..................................                      /      \
.                                 /\                    /        \
5....................            /  \                /\/          \
.                   /\          /    \          /\  /              \
3..........        /  \        /      \        /  \/                \
2.....    /\      /    \    /\/        \      /                      \
1..  /\  /  \  /\/      \  /            \  /\/                        \
0 /\/  \/    \/          \/              \/                            \
. 0,2,  6,   12,         24,             40,                          70...
.

Michael De Vlieger, Table of n, a(n) for n = 0..3000
Toufik Mansour, Armend Sh. Shabani, Enumerations on bargraphs, Discrete Math. Lett. (2019) Vol. 2, 65-94.
Omar E. Pol, Visualization of regions in a diagram for A006128
N. J. A. Sloane, Catalog of Toothpick and Cellular Automata Sequences in the OEIS
Index entries for sequences related to toothpick sequences

Cf. A139582 is twice A000041. A220909 is twice A066186.

Cf. A006128, A135010, A141285, A186114, A193870, A187219, A194446, A194447, A206437, A211026, A220517, A225600, A278355.

Q := sum(x^j/(1-x^j), j = 1 .. i): R := product(1-x^j, j = 1 .. i): g := sum(x^i*(1+i+Q)/R, i = 1 .. 100): gser := series(g, x = 0, 50): seq(coeff(gser, x, n), n = 0 .. 41); # Emeric Deutsch, Oct 07 2016

Array[2 Sum[DivisorSigma[0, m] PartitionsP[# - m], {m, #}] &, 42, 0] (* Michael De Vlieger, Mar 20 2020 *)

a(n) = 2*A006128(n).
a(n) = A225600(2*A000041(n)) = A225600(A139582(n)), n >= 1.
a(n) = (Sum_{m=1..p(n)} A194446(m)) + (Sum_{m=1..p(n)} A141285(m)) = 2*Sum_{m=1..p(n)} A194446(m) = 2*Sum_{m=1..p(n)} A141285(m), where p(n) = A000041(n), n >= 1.
The trivariate g.f. G(t,s,x) of the partitions of a nonnegative integer relative to weight (marked by x), number of parts (marked by t), and largest part (marked by s) is G(t,s,x) = Sum_{i>=1} t*s^i*x^i/product_{j=1..i} (1-tx^j). Setting s = t, we obtain the bivariate g.f. of the partitions relative to weight (marked by x) and semiperimeter of the Ferrers board (marked by t). The g.f. of a(n) is g(x) = Sum_{i>=1} ((x^i*(1 + i + Q(x))/R(x)), where Q(x) = sum_{j=1..i} (x^j/(1 - x^j)) and R(x) = product_{j=1..i}(1-x^j). g(x) has been obtained by setting t = 1 in dG(t,t,x))/dt. - Emeric Deutsch, Oct 07 2016

cp's OEIS Frontend

A135010 Triangle read by rows in which row n lists A000041(n-1) 1's followed by the list of juxtaposed lexicographically ordered partitions of n that do not contain 1 as a part.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

A206437 Triangle read by rows: T(j,k) is the k-th part of the j-th region of the set of partitions of n, if 1 <= j <= A000041(n).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

A141285 Largest part of the n-th partition of j in the list of colexicographically ordered partitions of j, if 1 <= n <= A000041(j).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A187219 Number of partitions of n that do not contain parts less than the smallest part of the partitions of n-1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A194446 Number of parts in the n-th region of the set of partitions of j, if 1<=n<=A000041(j).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A186114 Triangle of regions and partitions of integers (see Comments lines for definition).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A194447 Rank of the n-th region of the set of partitions of j, if 1<=n<=A000041(j).

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula

A186412 Sum of all parts in the n-th region of the set of partitions of j, if 1<=n<=A000041(j).

Views

Author