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.

Showing 1-10 of 17 results. Next

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

Views

Author

Omar E. Pol, Aug 01 2008

Keywords

Comments

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

Examples

			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)
		

Crossrefs

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.

Programs

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

Formula

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

Extensions

Edited by Omar E. Pol, Nov 28 2010
Better definition and edited by Omar E. Pol, Oct 17 2013

A225620 Indices of partitions in the table of compositions of A228351.

Original entry on oeis.org

1, 2, 3, 4, 6, 7, 8, 10, 12, 14, 15, 16, 20, 24, 26, 28, 30, 31, 32, 36, 40, 42, 48, 52, 56, 58, 60, 62, 63, 64, 72, 80, 84, 96, 100, 104, 106, 112, 116, 120, 122, 124, 126, 127, 128, 136, 144, 160, 164, 168, 170, 192, 200, 208, 212, 224, 228, 232, 234, 240, 244, 248, 250, 252, 254, 255
Offset: 1

Views

Author

Omar E. Pol, Aug 03 2013

Keywords

Comments

Also triangle read by rows in which T(n,k) is the decimal representation of a binary number whose mirror represents the k-th partition of n according with the list of juxtaposed reverse-lexicographically ordered partitions of the positive integers (A026792).
In order to construct this sequence as a triangle we use the following rules:
- In the list of A026792 we replace each part of size j of the k-th partition of n by concatenation of j - 1 zeros and only one 1.
- Then replace this new set of parts by the concatenation of its parts.
- Then replace this string by its mirror version which is a binary number.
T(n,k) is the decimal value of this binary number, which represents the k-th partition of n (see example).
The partitions of n are represented by a subsequence with A000041(n) integers starting with 2^(n-1) and ending with 2^n - 1, n >= 1. The odd numbers of the sequence are in A000225.
First differs from A065609 at a(23).
Conjecture: this sequence is a sorted version of b(n) where b(2^k) = 2^k for k >= 0, b(n) = A080100(n)*(2*b(A053645(n)) + 1) otherwise. - Mikhail Kurkov, Oct 21 2023

Examples

			T(6,8) = 58 because 58 in base 2 is 111010 whose mirror is 010111 which is the concatenation of 01, 01, 1, 1, whose number of digits are 2, 2, 1, 1, which are also the 8th partition of 6.
Illustration of initial terms:
The sequence represents a table of partitions (see below):
--------------------------------------------------------
.            Binary                        Partitions
n  k  T(n,k) number  Mirror   Diagram       (A026792)
.                                          1 2 3 4 5 6
--------------------------------------------------------
.                             _
1  1     1       1    1        |           1,
.                             _ _
1  1     2      10    01      _  |           2,
2  2     3      11    11       | |         1,1,
.                             _ _ _
3  1     4     100    001     _ _  |           3,
3  2     6     110    011     _  | |         2,1,
3  3     7     111    111      | | |       1,1,1,
.                             _ _ _ _
4  1     8    1000    0001    _ _    |           4,
4  2    10    1010    0101    _ _|_  |         2,2,
4  3    12    1100    0011    _ _  | |         3,1,
4  4    14    1110    0111    _  | | |       2,1,1,
4  5    15    1111    1111     | | | |     1,1,1,1,
.                             _ _ _ _ _
5  1    16   10000    00001   _ _ _    |           5,
5  2    20   10100    00101   _ _ _|_  |         3,2,
5  3    24   11000    00011   _ _    | |         4,1,
5  4    26   11010    01011   _ _|_  | |       2,2,1,
5  5    28   11100    00111   _ _  | | |       3,1,1,
5  6    30   11110    01111   _  | | | |     2,1,1,1,
5  7    31   11111    11111    | | | | |   1,1,1,1,1,
.                             _ _ _ _ _ _
6  1    32  100000    000001  _ _ _      |           6
6  2    36  100100    001001  _ _ _|_    |         3,3,
6  3    40  101000    000101  _ _    |   |         4,2,
6  4    42  101010    010101  _ _|_ _|_  |       2,2,2,
6  5    48  110000    000011  _ _ _    | |         5,1,
6  6    52  110100    001011  _ _ _|_  | |       3,2,1,
6  7    56  111000    000111  _ _    | | |       4,1,1,
6  8    58  111010    010111  _ _|_  | | |     2,2,1,1,
6  9    60  111100    001111  _ _  | | | |     3,1,1,1,
6  10   62  111110    011111  _  | | | | |   2,1,1,1,1,
6  11   63  111111    111111   | | | | | | 1,1,1,1,1,1,
.
Triangle begins:
  1;
  2,   3;
  4,   6,  7;
  8,  10, 12, 14, 15;
  16, 20, 24, 26, 28, 30, 31;
  32, 36, 40, 42, 48, 52, 56, 58, 60, 62, 63;
  ...
From _Gus Wiseman_, Apr 01 2020: (Start)
Using the encoding of A066099, this sequence ranks all finite nonempty multisets, as follows.
   1: {1}
   2: {2}
   3: {1,1}
   4: {3}
   6: {1,2}
   7: {1,1,1}
   8: {4}
  10: {2,2}
  12: {1,3}
  14: {1,1,2}
  15: {1,1,1,1}
  16: {5}
  20: {2,3}
  24: {1,4}
  26: {1,2,2}
  28: {1,1,3}
  30: {1,1,1,2}
  31: {1,1,1,1,1}
(End)
		

Crossrefs

Column 1 is A000079. Row n has length A000041(n). Right border gives A000225.
The case covering an initial interval is A333379 or A333380.
All of the following pertain to compositions in the order of A066099.
- The weakly increasing version is this sequence.
- The weakly decreasing version is A114994.
- The strictly increasing version is A333255.
- The strictly decreasing version is A333256.
- The unequal version is A233564.
- The equal version is A272919.
- The case covering an initial interval is A333217.
- Initial intervals are ranked by A164894.
- Reversed initial intervals are ranked by A246534.

Programs

  • Mathematica
    stc[n_]:=Differences[Prepend[Join@@Position[Reverse[IntegerDigits[n,2]],1],0]]//Reverse;
    Select[Range[0,100],LessEqual@@stc[#]&] (* Gus Wiseman, Apr 01 2020 *)

Formula

Conjecture: a(A000070(m) - k) = 2^m - A228354(k) for m > 0, 0 < k <= A000041(m). - Mikhail Kurkov, Oct 20 2023

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

Views

Author

Omar E. Pol, Dec 09 2011

Keywords

Comments

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

Examples

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

Crossrefs

Programs

  • Mathematica
    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 *)

Formula

a(n) = A083751(n) + 1. - Omar E. Pol, Mar 04 2012
a(n) = A002865(n), if n >= 2. - Omar E. Pol, Aug 13 2013

Extensions

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

Views

Author

Omar E. Pol, Nov 26 2011

Keywords

Comments

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

Examples

			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)
		

Crossrefs

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

Programs

  • Mathematica
    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 *)

Formula

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

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

Views

Author

Omar E. Pol, Dec 04 2011

Keywords

Comments

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

Examples

			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;
		

Crossrefs

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

Formula

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

A225600 Toothpick sequence related to integer partitions (see Comments lines for definition).

Original entry on oeis.org

0, 1, 2, 4, 6, 9, 12, 14, 15, 19, 24, 27, 28, 33, 40, 42, 43, 47, 49, 52, 53, 59, 70, 73, 74, 79, 81, 85, 86, 93, 108, 110, 111, 115, 117, 120, 121, 127, 131, 136, 137, 141, 142, 150, 172, 175, 176, 181, 183, 187, 188, 195, 199, 202, 203, 209, 211, 216, 217, 226, 256
Offset: 0

Views

Author

Omar E. Pol, Jul 28 2013

Keywords

Comments

This infinite toothpick structure is a minimalist diagram of regions of the set of partitions of all positive integers. For the definition of "region" see A206437. The sequence shows the growth of the diagram as a cellular automaton in which the "input" is A141285 and the "output” is A194446.
To define the sequence we use the following rules:
We start in the first quadrant of the square grid with no toothpicks.
If n is odd we place A141285((n+1)/2) toothpicks of length 1 connected by their endpoints in horizontal direction starting from the grid point (0, (n+1)/2).
If n is even 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. In this case the number of toothpicks added in vertical direction is equal to A194446(n/2).
The sequence gives the number of toothpicks after n stages. A220517 (the first differences) gives the number of toothpicks added at the n-th stage.
Also the toothpick structure (HV/HHVV/HHHVVV/HHV/HHHHVVVVV...) can be transformed in a Dyck path (UDUUDDUUUDDDUUDUUUUDDDDD...) 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, so the sequence can be represented by the vertices (or the number of steps from the origin) of the Dyck path. Note that the height of the n-th largest peak between two valleys at height 0 is also the partition number A000041(n). See Example section. See also A211978, A220517, A225610.

Examples

			For n = 30 the structure has 108 toothpicks, so a(30) = 108.
.                               Diagram of regions
Partitions of 7                 and partitions of 7
.                                   _ _ _ _ _ _ _
7                               15  _ _ _ _      |
4 + 3                               _ _ _ _|_    |
5 + 2                               _ _ _    |   |
3 + 2 + 2                           _ _ _|_ _|_  |
6 + 1                           11  _ _ _      | |
3 + 3 + 1                           _ _ _|_    | |
4 + 2 + 1                           _ _    |   | |
2 + 2 + 2 + 1                       _ _|_ _|_  | |
5 + 1 + 1                        7  _ _ _    | | |
3 + 2 + 1 + 1                       _ _ _|_  | | |
4 + 1 + 1 + 1                    5  _ _    | | | |
2 + 2 + 1 + 1 + 1                   _ _|_  | | | |
3 + 1 + 1 + 1 + 1                3  _ _  | | | | |
2 + 1 + 1 + 1 + 1 + 1            2  _  | | | | | |
1 + 1 + 1 + 1 + 1 + 1 + 1        1   | | | | | | |
.
.                                   1 2 3 4 5 6 7
.
Illustration of initial terms:
.
.                              _ _ _    _ _ _
.                _ _   _ _     _ _      _ _  |
.      _    _    _     _  |    _  |     _  | |
.            |    |     | |     | |      | | |
.
.      1    2     4     6       9        12
.
.
.                          _ _ _ _     _ _ _ _
.      _ _       _ _       _ _         _ _    |
.      _ _ _     _ _|_     _ _|_       _ _|_  |
.      _ _  |    _ _  |    _ _  |      _ _  | |
.      _  | |    _  | |    _  | |      _  | | |
.       | | |     | | |     | | |       | | | |
.
.        14        15         19          24
.
.
.                          _ _ _ _ _    _ _ _ _ _
.    _ _ _      _ _ _      _ _ _        _ _ _    |
.    _ _ _ _    _ _ _|_    _ _ _|_      _ _ _|_  |
.    _ _    |   _ _    |   _ _    |     _ _    | |
.    _ _|_  |   _ _|_  |   _ _|_  |     _ _|_  | |
.    _ _  | |   _ _  | |   _ _  | |     _ _  | | |
.    _  | | |   _  | | |   _  | | |     _  | | | |
.     | | | |    | | | |    | | | |      | | | | |
.
.       27         28         33            40
.
Illustration of initial terms as vertices (or the number of steps from the origin) of a Dyck path:
.
7                                    33
.                                    /\
5                      19           /  \
.                      /\          /    \
3            9        /  \     27 /      \
2       4    /\   14 /    \    /\/        \
1    1  /\  /  \  /\/      \  / 28         \
.    /\/  \/    \/ 15       \/              \
.   0  2   6    12          24              40
.
		

Crossrefs

Formula

a(A139582(n)) = a(2*A000041(n)) = 2*A006128(n) = A211978(n), n >= 1.

A220517 First differences of A225600. Also A141285 and A194446 interleaved.

Original entry on oeis.org

1, 1, 2, 2, 3, 3, 2, 1, 4, 5, 3, 1, 5, 7, 2, 1, 4, 2, 3, 1, 6, 11, 3, 1, 5, 2, 4, 1, 7, 15, 2, 1, 4, 2, 3, 1, 6, 4, 5, 1, 4, 1, 8, 22, 3, 1, 5, 2, 4, 1, 7, 4, 3, 1, 6, 2, 5, 1, 9, 30, 2, 1, 4, 2, 3, 1, 6, 4, 5, 1, 4, 1, 8, 7, 4, 1, 7, 2, 6, 1, 5, 1, 10, 42
Offset: 1

Views

Author

Omar E. Pol, Feb 07 2013

Keywords

Comments

Number of toothpicks added at n-th stage to the toothpick structure (related to integer partitions) of A225600.

Examples

			Written as an irregular triangle in which row n has length 2*A187219(n) we can see that the right border gives A000041 and the previous term of the last term in row n is n.
1,1;
2,2;
3,3;
2,1,4,5;
3,1,5,7;
2,1,4,2,3,1,6,11;
3,1,5,2,4,1,7,15;
2,1,4,2,3,1,6,4,5,1,4,1,8,22;
3,1,5,2,4,1,7,4,3,1,6,2,5,1,9,30;
2,1,4,2,3,1,6,4,5,1,4,1,8,7,4,1,7,2,6,1,5,1,10,42;
.
Illustration of the first seven rows of triangle as a minimalist diagram of regions of the set of partitions of 7:
.      _ _ _ _ _ _ _
. 15   _ _ _ _      |
.      _ _ _ _|_    |
.      _ _ _    |   |
.      _ _ _|_ _|_  |
. 11   _ _ _      | |
.      _ _ _|_    | |
.      _ _    |   | |
.      _ _|_ _|_  | |
.  7   _ _ _    | | |
.      _ _ _|_  | | |
.  5   _ _    | | | |
.      _ _|_  | | | |
.  3   _ _  | | | | |
.  2   _  | | | | | |
.  1    | | | | | | |
.
.      1 2 3 4 5 6 7
.
Also using the elements of this diagram we can draw a 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 height of the n-th largest peak between two valleys at height 0 is also the partition number A000041(n). See below:
.
7..................................
.                                 /\
5....................            /  \                /\
.                   /\          /    \          /\  /
3..........        /  \        /      \        /  \/
2.....    /\      /    \    /\/        \      /
1..  /\  /  \  /\/      \  /            \  /\/
0 /\/  \/    \/          \/              \/
. 0,2,  6,   12,         24,             40... = A211978
.  1, 4,   9,       19,           33... = A179862
.
		

Crossrefs

Formula

a(2n-1) = A141285(n); a(2n) = A194446(n), n >= 1

A093694 Number of one-element transitions from the partitions of n to the partitions of n+1 for labeled parts.

Original entry on oeis.org

1, 2, 5, 9, 17, 27, 46, 69, 108, 158, 234, 331, 476, 657, 915, 1244, 1694, 2262, 3029, 3988, 5257, 6844, 8901, 11461, 14749, 18809, 23958, 30304, 38263, 48018, 60167, 74977, 93276, 115509, 142772, 175759, 215991, 264449, 323216, 393772, 478884
Offset: 0

Views

Author

Thomas Wieder, Apr 10 2004

Keywords

Comments

For the unlabeled case, the number of one-element transitions from the partitions of n to the partitions of n+1 is given by A000070. Example: There are A000070(4) = 12 transitions from n=4 to n=5: [1111] -> [11111], [1111] -> [1112], [112] -> [1112], [112] -> [113], [112] -> [122], [13] -> [113], [13] -> [14], [13] -> [23], [22] -> [23], [22] -> [122], [4] -> [14], [4] -> [5].
a(n) is also the total number of parts in all partitions of the integer n+1 which contain at least one part 1.
More generally, a(n) is also the total number of parts in all partitions of n+k that contain k as a part, if k >= 1. - Omar E. Pol, Sep 25 2013
Also partitions of n into 2 sorts of parts where all parts of the first sort precede all parts of the second sort; see example. [Joerg Arndt, Apr 28 2013]
Number of vertical elements in the structure of A225610. - Omar E. Pol, Aug 01 2013

Examples

			In the labeled case, we have 9 one-element transitions from all partitions of n=3 to the partitions of n+1=4: [1,1,1] -> [1,1,1,1]; [1,1,1] -> [1,1,2]; [1,1,1] -> [1,1,2]; [1,1,1] -> [1,1,2]; [1,2] -> [1,1,2]; [1,2] -> [1,3]; [1,2] -> [2,2]; [3] -> [1,3]; [3] -> [4].
For n = 3 we have the following partitions of 3+1 = 4 which contain at least one part 1: [1111], [112], [13] and these partitions contain 4 + 3 + 2 = 9 = a(3) parts.
There are a(4)=17 partitions of 4 into 2 sorts where all parts of the first sort precede all parts of the second sort. Here p:s stands for "part p of sort s":
01:  [ 1:0  1:0  1:0  1:0  ]
02:  [ 1:0  1:0  1:0  1:1  ]
03:  [ 1:0  1:0  1:1  1:1  ]
04:  [ 1:0  1:1  1:1  1:1  ]
05:  [ 1:1  1:1  1:1  1:1  ]
06:  [ 2:0  1:0  1:0  ]
07:  [ 2:0  1:0  1:1  ]
08:  [ 2:0  1:1  1:1  ]
09:  [ 2:0  2:0  ]
10:  [ 2:0  2:1  ]
11:  [ 2:1  1:1  1:1  ]
12:  [ 2:1  2:1  ]
13:  [ 3:0  1:0  ]
14:  [ 3:0  1:1  ]
15:  [ 3:1  1:1  ]
16:  [ 4:0  ]
17:  [ 4:1  ]
- _Joerg Arndt_, Apr 28 2013
		

Crossrefs

Programs

  • Maple
    main := proc(n::integer) local a,ndxp,ListOfPartitions; with(combinat): with(ListTools): ListOfPartitions:=partition(n-1); a:=0; for ndxp from 1 to nops(ListOfPartitions) do if Occurrences(1, ListOfPartitions[ndxp]) > 0 then a:=a+nops(Flatten(ListOfPartitions[ndxp])); print("ndxp, Flatten(ListOfPartitions[ndxp]):",ndxp, Flatten(ListOfPartitions[ndxp])); print("ndxp, ListOfPartitions[ndxp], a:",ndxp, ListOfPartitions[ndxp],a); # End of if-clause *** Occurrences(1, ListOfPartitions[ndxp]) *** fi; end do; print("n, a(n):",n,a); end proc;
    ##
    b:= proc(n,i) option remember; local x, y;
          if n<=0 or i=0 then [0, 0]
        elif i=1 then [1, n]
        else x:= b(n, i-1);
             y:= b(n-i, i);
             [x[1]+y[1], x[2]+y[2]+y[1]]
          fi
        end:
    a:= n-> b(n+1, n+1)[2]:
    seq(a(n), n=0..100);  # Alois P. Heinz, Apr 24 2011
  • Mathematica
    f[n_] := Block[{l = Sort[ Flatten[ IntegerPartitions[n]]]}, Length[l] - Count[l, 1]]; g[n_] := (f[n] + Sum[PartitionsP[k], {k, 0, n}]); Table[ g[n], {n, 0, 40}] (* Robert G. Wilson v, Jul 13 2004 *)
    b[n_, i_] := b[n, i] = Module[{x, y}, If[n <= 0 || i == 0, {0, 0}, If[i == 1, {1, n}, x = b[n, i-1]; y = b[n-i, i]; {x[[1]] + y[[1]], x[[2]] + y[[2]] + y[[1]]}]]]; a[n_] := b[n+1, n+1][[2]]; Table[a[n], {n, 0, 100}] (* Jean-François Alcover, Oct 10 2015, after Alois P. Heinz *)
  • PARI
    a(n) = numbpart(n) + sum(m=1, n, numdiv(m)*numbpart(n - m)); \\ Indranil Ghosh, Apr 25 2017
    
  • Python
    from sympy import divisor_count, npartitions
    def a(n): return npartitions(n) + sum([divisor_count(m)*npartitions(n - m) for m in range(1, n + 1)]) # Indranil Ghosh, Apr 25 2017

Formula

a(n) = Sum_k=1^p(n) (nops(p(k, n)) + 1), where p(n) is the number of partitions of n and nops(p(k, n)) is the number of parts in the k-th partition p(n, k) of n.
a(n) = Sum_k=1^p(n) nops(p(k, n)[subject to: at least one p(l, k, n) = 1]; p(n) = number of partitions of n, p(k, n) = k-th partition, p(l, k, n) = l-th part in the k-th partition p(k, n) of integer n.
G.f.: sum(n>=0, (n+1) * x^n / prod(k=1..n, 1-x^k ) ). - Joerg Arndt, Apr 17 2011
a(n) = A000041(n) + A006128(n). - Omar E. Pol, Aug 01 2013
a(n) ~ exp(Pi*sqrt(2*n/3))*(2*gamma + log(6*n/Pi^2))/(4*Pi*sqrt(2*n)), where gamma is the Euler-Mascheroni constant A001620. - Vaclav Kotesovec, Oct 24 2016

Extensions

More terms from Robert G. Wilson v, Jul 13 2004

A228109 Height after n-th step of an infinite staircase which is the lower part of a structure whose upper part is the infinite Dyck path of A228110.

Original entry on oeis.org

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

Views

Author

Omar E. Pol, Aug 13 2013

Keywords

Comments

The master diagram of regions of the set of partitions of all positive integers is a total dissection of the first quadrant of the square grid in which the j-th horizontal line segments has length A141285(j) and the j-th vertical line segment has length A194446(j). For the definition of "region" see A206437. The first A000041(k) regions of the diagram represent the set of partitions of k in colexicographic order (see A211992). The length of the j-th horizontal line segment equals the largest part of the j-th partition of k and equals the largest part of the j-th region of the diagram. The length of the j-th vertical line segment (which is the line segment ending in row j) equals the number of parts in the j-th region.
For k = 5, the diagram 1 represents the partitions of 5. The diagram 2 shows separately the boundary segments southwest sides of the first seven regions of the diagram 1, see below:
.
j Diagram 1 Diagram 2
7 | _ | | _
6 | _| | | _ |
5 | | | | |
4 | |_ | | | |_ |
3 | | | | | | |
2 | | | | | | | | |
1 |||_||| | | | | |_
.
. 1 2 3 4 5
.
a(n) is the height after n-th step of an infinite staircase which is the lower part of a diagram of regions of the set of partitions of all positive integers. The upper part of the diagram is the infinite Dyck path mentioned in A228110. The diagram shows the shape of the successive regions of the set of partitions of all positive integers. The area of the n-th region is A186412(n).
For the height of the peaks and the valleys in the infinite Dyck path see A229946.

Examples

			Illustration of initial terms (n = 1..53):
5
4                                                      /
3                                 /\/\                /
2                                /    \            /\/
1                   /\/\      /\/      \        /\/
0          /\    /\/    \    /          \    /\/
-1 \/\/\/\/  \/\/        \/\/            \/\/
-2
The diagram shows the Dyck pack mentioned in A228110 together with the staircase illustrated above. The area of the n-th region is equal to A186412(n).
.
7...................................
.                                  /\
5.....................            /  \                /\
.                    /\          /    \          /\  / /
3...........        /  \        / /\/\ \        /  \/ /
2......    /\      /    \    /\/ /    \ \      /   /\/
1...  /\  /  \  /\/ /\/\ \  / /\/      \ \  /\/ /\/
0  /\/  \/ /\ \/ /\/    \ \/ /          \ \/ /\/
-1 \/\/\/\/  \/\/        \/\/            \/\/
.
Region:
.   1  2    3   4     5      6      7       8    9   10
		

Crossrefs

A228110 Height after n-th step of the infinite Dyck path in which the k-th ascending line segment has A141285(k) steps and the k-th descending line segment has A194446(k) steps, n >= 0, k >= 1.

Original entry on oeis.org

0, 1, 0, 1, 2, 1, 0, 1, 2, 3, 2, 1, 0, 1, 2, 1, 2, 3, 4, 5, 4, 3, 2, 1, 0, 1, 2, 3, 2, 3, 4, 5, 6, 7, 6, 5, 4, 3, 2, 1, 0, 1, 2, 1, 2, 3, 4, 5, 4, 3, 4, 5, 6, 5, 6, 7, 8, 9, 10, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0, 1, 2, 3, 2, 3, 4, 5, 6, 7, 6, 5, 6, 7, 8, 9, 8, 9, 10, 11, 12, 13, 14, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0
Offset: 0

Views

Author

Omar E. Pol, Aug 10 2013

Keywords

Comments

The master diagram of regions of the set of partitions of all positive integers is a total dissection of the first quadrant of the square grid in which the j-th horizontal line segments has length A141285(j) and the j-th vertical line segment has length A194446(j). For the definition of "region" see A206437. The first A000041(k) regions of the diagram represent the set of partitions of k in colexicographic order (see A211992). The length of the j-th horizontal line segment equals the largest part of the j-th partition of k and equals the largest part of the j-th region of the diagram. The length of the j-th vertical line segment (which is the line segment ending in row j) equals the number of parts in the j-th region.
For k = 7, the diagram 1 represents the partitions of 7. The diagram 2 is a minimalist version of the structure which does not contain the axes [X, Y]. See below:
.
. j Diagram 1 Partitions Diagram 2
. _ _ _ _
. 15 | _ | 7 _ |
. 14 | _ | | 4+3 _ | |
. 13 | _ | | 5+2 _ | |
. 12 | _| |_ | 3+2+2 _| |_ |
. 11 | _ | | 6+1 _ | |
. 10 | _| | | 3+3+1 _ | | |
. 9 | | | | 4+2+1 | | |
. 8 | |_ | | | 2+2+2+1 |_ | | |
. 7 | _ | | | 5+1+1 _ | | |
. 6 | _| | | | 3+2+1+1 _ | | | |
. 5 | | | | | 4+1+1+1 | | | |
. 4 | |_ | | | | 2+2+1+1+1 |_ | | | |
. 3 | | | | | | 3+1+1+1+1 | | | | |
. 1 |||_|||_|_| 1+1+1+1+1+1+1 | | | | | | |
.
. 1 2 3 4 5 6 7
.
The second diagram has the property that if the number of regions is also the number of partitions of k so the sum of the lengths of all horizontal line segment equals the sum of the lengths of all vertical line segments and equals A006128(k), for k >= 1.
Also the diagram has the property that it can be transformed in a Dyck path (see example).
The sequence gives the height of the infinite Dyck path after n-th step.
The absolute values of the first differences give A000012.
For the height of the peaks and the valleys in the infinite Dyck path see A229946.
Q: Is this infinite Dyck path a fractal?

Examples

			Illustration of initial terms (n = 1..59):
.
11 ...........................................................
.                                                            /
.                                                           /
.                                                          /
7 ..................................                      /
.                                  /\                    /
5 ....................            /  \                /\/
.                    /\          /    \          /\  /
3 ..........        /  \        /      \        /  \/
2 .....    /\      /    \    /\/        \      /
1 ..  /\  /  \  /\/      \  /            \  /\/
.  /\/  \/    \/          \/              \/
.
Note that the j-th largest peak between two valleys at height 0 is also the partition number A000041(j).
Written as an irregular triangle in which row k has length 2*A138137(k), the sequence begins:
0,1;
0,1,2,1;
0,1,2,3,2,1;
0,1,2,1,2,3,4,5,4,3,2,1;
0,1,2,3,2,3,4,5,6,7,6,5,4,3,2,1;
0,1,2,1,2,3,4,5,4,3,4,5,6,5,6,7,8,9,10,11,10,9,8,7,6,5,4,3,2,1;
0,1,2,3,2,3,4,5,6,7,6,5,6,7,8,9,8,9,10,11,12,13,14,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1;
...
		

Crossrefs

Column 1 is A000004. Both column 2 and the right border are in A000012. Both columns 3 and 5 are in A007395.
Showing 1-10 of 17 results. Next