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

A350333 Irregular triangle read by rows in which row n lists all elements of the arrangement of the correspondence divisor/part related to the partitions of n in the following order: row n lists the n-th row of A026792 followed by the n-th row of A338156.

Original entry on oeis.org

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

Views

Author

Omar E. Pol, Dec 25 2021

Keywords

Examples

			Triangle begins:
[1], [1];
[2, 1, 1], [1, 2, 1];
[3, 2, 1, 1, 1, 1], [1, 3, 1, 2, 1, 1];
[4, 2, 2, 3, 1, 2, 1, 1, 1, 1, 1, 1], [1, 2, 4, 1, 3, 1, 2, 1, 2, 1, 1, 1];
...
Illustration of the first six rows of triangle in an infinite table:
.
|---|---------|-----|-------|---------|-----------|-------------|---------------|
| n |         |  1  |   2   |    3    |     4     |      5      |       6       |
|---|---------|-----|-------|---------|-----------|-------------|---------------|
|   |         |     |       |         |           |             |  6            |
| P |         |     |       |         |           |             |  3 3          |
| A |         |     |       |         |           |             |  4 2          |
| R |         |     |       |         |           |             |  2 2 2        |
| T |         |     |       |         |           |  5          |  5 1          |
| I |         |     |       |         |           |  3 2        |  3 2 1        |
| T |         |     |       |         |  4        |  4 1        |  4 1 1        |
| I |         |     |       |         |  2 2      |  2 2 1      |  2 2 1 1      |
| O |         |     |       |  3      |  3 1      |  3 1 1      |  3 1 1 1      |
| N |         |     |  2    |  2 1    |  2 1 1    |  2 1 1 1    |  2 1 1 1 1    |
| S |         |  1  |  1 1  |  1 1 1  |  1 1 1 1  |  1 1 1 1 1  |  1 1 1 1 1 1  |
----|---------|-----|-------|---------|-----------|-------------|---------------|
|   | A027750 |  1  |  1 2  |  1   3  |  1 2   4  |  1       5  |  1 2 3     6  |
|   | A027750 |     |  1    |  1 2    |  1   3    |  1 2   4    |  1       5    |
|   | A027750 |     |       |  1      |  1 2      |  1   3      |  1 2   4      |
|   | A027750 |     |       |  1      |  1 2      |  1   3      |  1 2   4      |
|   | A027750 |     |       |         |  1        |  1 2        |  1   3        |
| D | A027750 |     |       |         |  1        |  1 2        |  1   3        |
| I | A027750 |     |       |         |  1        |  1 2        |  1   3        |
| V | A027750 |     |       |         |           |  1          |  1 2          |
| I | A027750 |     |       |         |           |  1          |  1 2          |
| S | A027750 |     |       |         |           |  1          |  1 2          |
| O | A027750 |     |       |         |           |  1          |  1 2          |
| R | A027750 |     |       |         |           |  1          |  1 2          |
| S | A027750 |     |       |         |           |             |  1            |
|   | A027750 |     |       |         |           |             |  1            |
|   | A027750 |     |       |         |           |             |  1            |
|   | A027750 |     |       |         |           |             |  1            |
|   | A027750 |     |       |         |           |             |  1            |
|   | A027750 |     |       |         |           |             |  1            |
|   | A027750 |     |       |         |           |             |  1            |
|---|---------|-----|-------|---------|-----------|-------------|---------------|
.
For n = 6 in the upper zone of the above table we can see the partitions of 6 in reverse-colexicographic order in accordance with the 6th row of A026792.
In the lower zone of the table we can see the terms from the 6th row of A338156, these are the divisors of the numbers from the 6th row of A176206.
Note that in the lower zone of the table every row gives A027750.
The total number of rows in the table is equal to A000070(6+1) = 30.
The remarkable fact is that the elements in the lower zone of the arrangement are the same as the elements in the upper zone but in other order.
For an explanation of the connection of the elements of the upper zone with the elements of the lower zone, that is the correspondence divisor/part, see A338156.
For n = 10 we can see a representation of the upper zone (the partitions) and of the lower zone (the divisors) with the two polycubes described in A221529 respectively: a prism of partitions and a tower whose terraces are the symmetric representation of sigma(m), for m = 1..10. Each polycube has A066186(10) = 420 cubic cells, hence the total number of cubic cells is equal to A220909(10) = 840, equaling the sum of the 10th row of this triangle.
		

Crossrefs

Row sums give A220909.
Row lengths give A211978.
Cf. A350357 (analog for the last section of the set of partitions of n).

A138121 Triangle read by rows in which row n lists the partitions of n that do not contain 1 as a part in juxtaposed reverse-lexicographical order followed by A000041(n-1) 1's.

Original entry on oeis.org

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

Views

Author

Omar E. Pol, Mar 21 2008

Keywords

Comments

Mirror of triangle A135010.

Examples

			Triangle begins:
[1];
[2],[1];
[3],[1],[1];
[4],[2,2],[1],[1],[1];
[5],[3,2],[1],[1],[1],[1],[1];
[6],[3,3],[4,2],[2,2,2],[1],[1],[1],[1],[1],[1],[1];
[7],[4,3],[5,2],[3,2,2],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1],[1];
...
The illustration of the three views of the section model of partitions (version "tree" with seven sections) shows the connection between several sequences.
---------------------------------------------------------
Partitions                A194805            Table 1.0
.  of 7       p(n)        A194551             A135010
---------------------------------------------------------
7              15                    7     7 . . . . . .
4+3                                4       4 . . . 3 . .
5+2                              5         5 . . . . 2 .
3+2+2                          3           3 . . 2 . 2 .
6+1            11    6       1             6 . . . . . 1
3+3+1                  3     1             3 . . 3 . . 1
4+2+1                    4   1             4 . . . 2 . 1
2+2+2+1                    2 1             2 . 2 . 2 . 1
5+1+1           7            1   5         5 . . . . 1 1
3+2+1+1                      1 3           3 . . 2 . 1 1
4+1+1+1         5        4   1             4 . . . 1 1 1
2+2+1+1+1                  2 1             2 . 2 . 1 1 1
3+1+1+1+1       3            1 3           3 . . 1 1 1 1
2+1+1+1+1+1     2          2 1             2 . 1 1 1 1 1
1+1+1+1+1+1+1   1            1             1 1 1 1 1 1 1
.               1                         ---------------
.               *<------- A000041 -------> 1 1 2 3 5 7 11
.                         A182712 ------->   1 0 2 1 4 3
.                         A182713 ------->     1 0 1 2 2
.                         A182714 ------->       1 0 1 1
.                                                  1 0 1
.                         A141285           A182703  1 0
.                    A182730   A182731                 1
---------------------------------------------------------
.                              A138137 --> 1 2 3 6 9 15..
---------------------------------------------------------
.       A182746 <--- 4 . 2 1 0 1 2 . 4 ---> A182747
---------------------------------------------------------
.
.       A182732 <--- 6 3 4 2 1 3 5 4 7 ---> A182733
.                    . . . . 1 . . . .
.                    . . . 2 1 . . . .
.                    . 3 . . 1 2 . . .
.      Table 2.0     . . 2 2 1 . . 3 .     Table 2.1
.                    . . . . 1 2 2 . .
.                            1 . . . .
.
.  A182982  A182742       A194803       A182983  A182743
.  A182992  A182994       A194804       A182993  A182995
---------------------------------------------------------
.
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. Note that before the dissection the set of partitions was in the ordering mentioned in A026792. 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.
Illustration of initial terms:
---------------------------------------
n  j     Diagram          Parts
---------------------------------------
.         _
1  1     |_|              1;
.         _ _
2  1     |_  |            2,
2  2       |_|            .  1;
.         _ _ _
3  1     |_ _  |          3,
3  2         | |          .  1,
3  3         |_|          .  .  1;
.         _ _ _ _
4  1     |_ _    |        4,
4  2     |_ _|_  |        2, 2,
4  3           | |        .  1,
4  4           | |        .  .  1,
4  5           |_|        .  .  .  1;
.         _ _ _ _ _
5  1     |_ _ _    |      5,
5  2     |_ _ _|_  |      3, 2,
5  3             | |      .  1,
5  4             | |      .  .  1,
5  5             | |      .  .  1,
5  6             | |      .  .  .  1,
5  7             |_|      .  .  .  .  1;
.         _ _ _ _ _ _
6  1     |_ _ _      |    6,
6  2     |_ _ _|_    |    3, 3,
6  3     |_ _    |   |    4, 2,
6  4     |_ _|_ _|_  |    2, 2, 2,
6  5               | |    .  1,
6  6               | |    .  .  1,
6  7               | |    .  .  1,
6  8               | |    .  .  .  1,
6  9               | |    .  .  .  1,
6  10              | |    .  .  .  .  1,
6  11              |_|    .  .  .  .  .  1;
...
(End)
		

Crossrefs

Row n has length A138137(n).
Rows sums give A138879.

Programs

  • Mathematica
    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 // Reverse; Table[row[n], {n, 1, 9}] // Flatten (* Jean-François Alcover, Jan 15 2013 *)
    Table[Reverse/@Reverse@DeleteCases[Sort@PadRight[Reverse/@Cases[IntegerPartitions[n], x_ /; Last[x]!=1]], x_ /; x==0, 2]~Join~ConstantArray[{1}, PartitionsP[n - 1]], {n, 1, 9}]  // Flatten (* Robert Price, May 11 2020 *)

A228351 Triangle read by rows in which row n lists the compositions (ordered partitions) of n (see Comments lines for definition).

Original entry on oeis.org

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

Views

Author

Omar E. Pol, Aug 30 2013

Keywords

Comments

The representation of the compositions (for fixed n) is as lists of parts, the order between individual compositions (for the same n) is (list-)reversed co-lexicographic. - Joerg Arndt, Sep 02 2013
Dropping the "(list-)reversed" in the comment above gives A228525.
The equivalent sequence for partitions is A026792.
This sequence lists (without repetitions) all finite compositions, in such a way that, if [P_1, ..., P_r] denotes the composition occupying the n-th position in the list, then (((2*n/2^(P_1)-1)/2^(P_2)-1)/...)/2^(P_r)-1 = 0. - Lorenzo Sauras Altuzarra, Jan 22 2020
The k-th composition in the list is obtained by taking the set of positions of 1's in the reversed binary expansion of k, prepending 0, and taking first differences. Reversing again gives A066099, which is described as the standard ordering. Both sequences define a bijective correspondence between nonnegative integers and integer compositions. - Gus Wiseman, Apr 01 2020
It follows from the previous comment that A000120(k) is the length of the k-th composition that is listed by this sequence (recall that A000120(k) is the number of 1's in the binary expansion of k). - Lorenzo Sauras Altuzarra, Sep 29 2020

Examples

			Illustration of initial terms:
-----------------------------------
n  j     Diagram     Composition j
-----------------------------------
.         _
1  1     |_|         1;
.         _ _
2  1     |_  |       2,
2  2     |_|_|       1, 1;
.         _ _ _
3  1     |_    |     3,
3  2     |_|_  |     1, 2,
3  3     |_  | |     2, 1,
3  4     |_|_|_|     1, 1, 1;
.         _ _ _ _
4  1     |_      |   4,
4  2     |_|_    |   1, 3,
4  3     |_  |   |   2, 2,
4  4     |_|_|_  |   1, 1, 2,
4  5     |_    | |   3, 1,
4  6     |_|_  | |   1, 2, 1,
4  7     |_  | | |   2, 1, 1,
4  8     |_|_|_|_|   1, 1, 1, 1;
.
Triangle begins:
[1];
[2],[1,1];
[3],[1,2],[2,1],[1,1,1];
[4],[1,3],[2,2],[1,1,2],[3,1],[1,2,1],[2,1,1],[1,1,1,1];
[5],[1,4],[2,3],[1,1,3],[3,2],[1,2,2],[2,1,2],[1,1,1,2],[4,1],[1,3,1],[2,2,1],[1,1,2,1],[3,1,1],[1,2,1,1],[2,1,1,1],[1,1,1,1,1];
...
For example [1,2] occupies the 5th position in the corresponding list of compositions and indeed (2*5/2^1-1)/2^2-1 = 0. - _Lorenzo Sauras Altuzarra_, Jan 22 2020
12 --binary expansion--> [1,1,0,0] --reverse--> [0,0,1,1] --positions of 1's--> [3,4] --prepend 0--> [0,3,4] --first differences--> [3,1]. - _Lorenzo Sauras Altuzarra_, Sep 29 2020
		

Crossrefs

Row n has length A001792(n-1). Row sums give A001787, n >= 1.
Cf. A000120 (binary weight), A001511, A006519, A011782, A026792, A065120.
A related ranking of finite sets is A048793/A272020.
All of the following consider the k-th row to be the k-th composition, ignoring the coarser grouping by sum.
- Indices of weakly increasing rows are A114994.
- Indices of weakly decreasing rows are A225620.
- Indices of strictly decreasing rows are A333255.
- Indices of strictly increasing rows are A333256.
- Indices of reversed interval rows A164894.
- Indices of interval rows are A246534.
- Indices of strict rows are A233564.
- Indices of constant rows are A272919.
- Indices of anti-run rows are A333489.
- Row k has A124767(k) runs and A333381(k) anti-runs.
- Row k has GCD A326674(k) and LCM A333226(k).
- Row k has Heinz number A333219(k).
Equals A163510+1, termwise.
Cf. A124734 (increasing length, then lexicographic).
Cf. A296774 (increasing length, then reverse lexicographic).
Cf. A337243 (increasing length, then colexicographic).
Cf. A337259 (increasing length, then reverse colexicographic).
Cf. A296773 (decreasing length, then lexicographic).
Cf. A296772 (decreasing length, then reverse lexicographic).
Cf. A337260 (decreasing length, then colexicographic).
Cf. A108244 (decreasing length, then reverse colexicographic).
Cf. A228369 (lexicographic).
Cf. A066099 (reverse lexicographic).
Cf. A228525 (colexicographic).

Programs

  • Haskell
    a228351 n = a228351_list !! (n - 1)
    a228351_list = concatMap a228351_row [1..]
    a228351_row 0 = []
    a228351_row n = a001511 n : a228351_row (n `div` 2^(a001511 n))
    -- Peter Kagey, Jun 27 2016
    
  • Maple
    # Program computing the sequence:
    A228351 := proc(n) local c, k, L, N: L, N := [], [seq(2*r, r = 1 .. n)]: for k in N do c := 0: while k != 0 do if gcd(k, 2) = 2 then k := k/2: c := c+1: else L := [op(L), op(c)]: k := k-1: c := 0: fi: od: od: L[n]: end: # Lorenzo Sauras Altuzarra, Jan 22 2020
    # Program computing the list of compositions:
    List := proc(n) local c, k, L, M, N: L, M, N := [], [], [seq(2*r, r = 1 .. 2^n-1)]: for k in N do c := 0: while k != 0 do if gcd(k, 2) = 2 then k := k/2: c := c+1: else L := [op(L), c]: k := k-1: c := 0: fi: od: M := [op(M), L]: L := []: od: M: end: # Lorenzo Sauras Altuzarra, Jan 22 2020
  • Mathematica
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    Table[Differences[Prepend[bpe[n],0]],{n,0,30}] (* Gus Wiseman, Apr 01 2020 *)
  • Python
    from itertools import count, islice
    def A228351_gen(): # generator of terms
        for n in count(1):
            k = n
            while k:
                yield (s:=(~k&k-1).bit_length()+1)
                k >>= s
    A228351_list = list(islice(A228351_gen(),30)) # Chai Wah Wu, Jul 17 2023

A080577 Triangle in which n-th row lists all partitions of n, in graded reverse lexicographic ordering.

Original entry on oeis.org

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

Views

Author

N. J. A. Sloane, Mar 23 2003

Keywords

Comments

This is the "Mathematica" ordering of the partitions, referenced in numerous other sequences. The partitions of each integer are in reverse order of the conjugates of the partitions in Abramowitz and Stegun order (A036036). They are in the reverse of the order of the partitions in Maple order (A080576). - Franklin T. Adams-Watters, Oct 18 2006
The graded reverse lexicographic ordering of the partitions is often referred to as the "Canonical" ordering of the partitions. - Daniel Forgues, Jan 21 2011
Also the "MAGMA" ordering of the partitions. - Jason Kimberley, Oct 28 2011
Also an intuitive ordering described but not formalized in [Hardy and Wright] the first four editions of which precede [Abramowitz and Stegun]. - L. Edson Jeffery, Aug 03 2013
Also the "Sage" ordering of the partitions. - Peter Luschny, Aug 12 2013
While this is the order used for the constructive function "IntegerPartitions", it is different from Mathematica's canonical ordering of finite expressions, the latter giving A036036 if parts of partitions are read in reversed (weakly increasing) order, or A334301 if in the usual (weakly decreasing) order. - Gus Wiseman, May 08 2020

Examples

			First five rows are:
  {{1}}
  {{2}, {1, 1}}
  {{3}, {2, 1}, {1, 1, 1}}
  {{4}, {3, 1}, {2, 2}, {2, 1, 1}, {1, 1, 1, 1}}
  {{5}, {4, 1}, {3, 2}, {3, 1, 1}, {2, 2, 1}, {2, 1, 1, 1}, {1, 1, 1, 1, 1}}
Up to the fifth row, this is exactly the same as the colexicographic ordering A036037. The first row which differs is the sixth one, which reads ((6), (5,1), (4,2), (4,1,1), (3,3), (3,2,1), (3,1,1,1), (2,2,2), (2,2,1,1), (2,1,1,1,1), (1,1,1,1,1,1)). - _M. F. Hasler_, Jan 23 2020
From _Gus Wiseman_, May 08 2020: (Start)
The sequence of all partitions begins:
  ()         (3,2)        (2,1,1,1,1)    (2,2,1,1,1)
  (1)        (3,1,1)      (1,1,1,1,1,1)  (2,1,1,1,1,1)
  (2)        (2,2,1)      (7)            (1,1,1,1,1,1,1)
  (1,1)      (2,1,1,1)    (6,1)          (8)
  (3)        (1,1,1,1,1)  (5,2)          (7,1)
  (2,1)      (6)          (5,1,1)        (6,2)
  (1,1,1)    (5,1)        (4,3)          (6,1,1)
  (4)        (4,2)        (4,2,1)        (5,3)
  (3,1)      (4,1,1)      (4,1,1,1)      (5,2,1)
  (2,2)      (3,3)        (3,3,1)        (5,1,1,1)
  (2,1,1)    (3,2,1)      (3,2,2)        (4,4)
  (1,1,1,1)  (3,1,1,1)    (3,2,1,1)      (4,3,1)
  (5)        (2,2,2)      (3,1,1,1,1)    (4,2,2)
  (4,1)      (2,2,1,1)    (2,2,2,1)      (4,2,1,1)
The triangle with partitions shown as Heinz numbers (A129129) begins:
   1
   2
   3   4
   5   6   8
   7  10   9  12  16
  11  14  15  20  18  24  32
  13  22  21  28  25  30  40  27  36  48  64
  17  26  33  44  35  42  56  50  45  60  80  54  72  96 128
(End)
		

References

  • G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers, Clarendon Press, Oxford, Fifth edition, 1979, p. 273.
  • James J. Tattersall, Elementary Number Theory in Nine Chapters, Cambridge University Press, 1999, page 287.

Crossrefs

See A080576 Maple (graded reflected lexicographic) ordering.
See A036036 for the Hindenburg (graded reflected colexicographic) ordering (listed in the Abramowitz and Stegun Handbook).
See A036037 for graded colexicographic ordering.
See A228100 for the Fenner-Loizou (binary tree) ordering.
Differs from A036037 at a(48).
See A322761 for a compressed version.
Lexicographically ordered reversed partitions are A026791.
Reverse-colexicographically ordered partitions are A026792.
Compositions under this ordering are A066099.
Distinct parts of these partitions are counted by A115623.
Taking Heinz numbers gives A129129.
Lexicographically ordered partitions are A193073.
Colexicographically ordered partitions are A211992.
Reading partitions in reverse (weakly increasing) order gives A228531.
Lengths of these partitions are A238966.
Sorting partitions by Heinz number gives A296150.
The maxima of these partitions are A331581.
The length-sensitive version is A334439.

Programs

  • Magma
    &cat[&cat Partitions(n):n in[1..7]]; // Jason Kimberley, Oct 28 2011
    
  • Maple
    b:= (n, i)-> `if`(n=0 or i=1, [[1$n]], [map(x->
        [i, x[]], b(n-i, min(n-i, i)))[], b(n, i-1)[]]):
    T:= n-> map(x-> x[], b(n$2))[]:
    seq(T(n), n=1..8);  # Alois P. Heinz, Jan 29 2020
  • Mathematica
    <Jean-François Alcover, Dec 10 2012 *)
    revlexsort[f_,c_]:=OrderedQ[PadRight[{c,f}]];
    Join@@Table[Sort[IntegerPartitions[n],revlexsort],{n,0,8}] (* Gus Wiseman, May 08 2020 *)
  • PARI
    A080577_row(n)={vecsort(apply(t->Vecrev(t),partitions(n)),,4)} \\ M. F. Hasler, Jan 21 2020
  • Sage
    L = []
    for n in range(8): L += list(Partitions(n))
    flatten(L)   # Peter Luschny, Aug 12 2013
    

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

A211992 Triangle read by rows in which row n lists the partitions of n in colexicographic order.

Original entry on oeis.org

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

Views

Author

Omar E. Pol, Aug 18 2012

Keywords

Comments

The order of the partitions of every integer is reversed with respect to A026792. For example: in A026792 the partitions of 3 are listed as [3], [2, 1], [1, 1, 1], however here the partitions of 3 are listed as [1, 1, 1], [2, 1], [3].
Row n has length A006128(n). Row sums give A066186. Right border gives A000027. The equivalent sequence for compositions (ordered partitions) is A228525. - Omar E. Pol, Aug 24 2013
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 co-lexicographic. The equivalent sequence for partitions as (weakly) increasing lists and lexicographic order is A026791. - Joerg Arndt, Sep 02 2013

Examples

			From _Omar E. Pol_, Aug 24 2013: (Start)
Illustration of initial terms:
-----------------------------------------
n      Diagram          Partition
-----------------------------------------
.       _
1      |_|              1;
.       _ _
2      |_| |            1, 1,
2      |_ _|            2;
.       _ _ _
3      |_| | |          1, 1, 1,
3      |_ _| |          2, 1,
3      |_ _ _|          3;
.       _ _ _ _
4      |_| | | |        1, 1, 1, 1,
4      |_ _| | |        2, 1, 1,
4      |_ _ _| |        3, 1,
4      |_ _|   |        2, 2,
4      |_ _ _ _|        4;
.       _ _ _ _ _
5      |_| | | | |      1, 1, 1, 1, 1,
5      |_ _| | | |      2, 1, 1, 1,
5      |_ _ _| | |      3, 1, 1,
5      |_ _|   | |      2, 2, 1,
5      |_ _ _ _| |      4, 1,
5      |_ _ _|   |      3, 2,
5      |_ _ _ _ _|      5;
.       _ _ _ _ _ _
6      |_| | | | | |    1, 1, 1, 1, 1, 1,
6      |_ _| | | | |    2, 1, 1, 1, 1,
6      |_ _ _| | | |    3, 1, 1, 1,
6      |_ _|   | | |    2, 2, 1, 1,
6      |_ _ _ _| | |    4, 1, 1,
6      |_ _ _|   | |    3, 2, 1,
6      |_ _ _ _ _| |    5, 1,
6      |_ _|   |   |    2, 2, 2,
6      |_ _ _ _|   |    4, 2,
6      |_ _ _|     |    3, 3,
6      |_ _ _ _ _ _|    6;
...
Triangle begins:
[1];
[1,1], [2];
[1,1,1], [2,1], [3];
[1,1,1,1], [2,1,1], [3,1], [2,2], [4];
[1,1,1,1,1], [2,1,1,1], [3,1,1], [2,2,1], [4,1], [3,2], [5];
[1,1,1,1,1,1], [2,1,1,1,1], [3,1,1,1], [2,2,1,1], [4,1,1], [3,2,1], [5,1], [2,2,2], [4,2], [3,3], [6];
(End)
From _Gus Wiseman_, May 10 2020: (Start)
The triangle with partitions shown as Heinz numbers (A334437) begins:
    1
    2
    4   3
    8   6   5
   16  12  10   9   7
   32  24  20  18  14  15  11
   64  48  40  36  28  30  22  27  21  25  13
  128  96  80  72  56  60  44  54  42  50  26  45  33  35  17
(End)
		

Crossrefs

The graded reversed version is A026792.
The length-sensitive refinement is A036037.
The version for reversed partitions is A080576.
Partition lengths are A193173.
Partition maxima are A194546.
Partition minima are A196931.
The version for compositions is A228525.
The Heinz numbers of these partitions are A334437.

Programs

  • Mathematica
    colex[f_,c_]:=OrderedQ[PadRight[{Reverse[f],Reverse[c]}]];
    Join@@Table[Sort[IntegerPartitions[n],colex],{n,0,6}] (* Gus Wiseman, May 10 2020 *)
  • PARI
    gen_part(n)=
    {  /* Generate partitions of n as weakly increasing lists (order is lex): */
        my(ct = 0);
        my(m, pt);
        my(x, y);
        \\ init:
        my( a = vector( n + (n<=1) ) );
        a[1] = 0;  a[2] = n;  m = 2;
        while ( m!=1,
            y = a[m] - 1;
            m -= 1;
            x = a[m] + 1;
            while ( x<=y,
                a[m] = x;
                y = y - x;
                m += 1;
            );
            a[m] = x + y;
            pt = vector(m, j, a[j]);
        /* for A026791 print partition: */
    \\        for (j=1, m, print1(pt[j],", ") );
        /* for A211992 print partition as weakly decreasing list (order is colex): */
            forstep (j=m, 1, -1, print1(pt[j],", ") );
            ct += 1;
        );
        return(ct);
    }
    for(n=1, 10, gen_part(n) );
    \\ Joerg Arndt, Sep 02 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

A026791 Triangle in which n-th row lists juxtaposed lexicographically ordered partitions of n; e.g., the partitions of 3 (1+1+1,1+2,3) appear as 1,1,1,1,2,3 in row 3.

Original entry on oeis.org

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

Views

Author

Keywords

Comments

Differs from A080576 in a(18): Here, (...,1+3,2+2,4), there (...,2+2,1+3,4).
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 lexicographic (see example). - Joerg Arndt, Sep 03 2013
The equivalent sequence for compositions (ordered partitions) is A228369. - Omar E. Pol, Oct 19 2019

Examples

			First six rows are:
[[1]];
[[1, 1], [2]];
[[1, 1, 1], [1, 2], [3]];
[[1, 1, 1, 1], [1, 1, 2], [1, 3], [2, 2], [4]];
[[1, 1, 1, 1, 1], [1, 1, 1, 2], [1, 1, 3], [1, 2, 2], [1, 4], [2, 3], [5]];
[[1, 1, 1, 1, 1, 1], [1, 1, 1, 1, 2], [1, 1, 1, 3], [1, 1, 2, 2], [1, 1, 4], [1, 2, 3], [1, 5], [2, 2, 2], [2, 4], [3, 3], [6]];
...
From _Omar E. Pol_, Sep 03 2013: (Start)
Illustration of initial terms:
----------------------------------
.                     Ordered
n  j      Diagram     partition j
----------------------------------
.               _
1  1           |_|    1;
.             _ _
2  1         | |_|    1, 1,
2  2         |_ _|    2;
.           _ _ _
3  1       | | |_|    1, 1, 1,
3  2       | |_ _|    1, 2,
3  3       |_ _ _|    3;
.         _ _ _ _
4  1     | | | |_|    1, 1, 1, 1,
4  2     | | |_ _|    1, 1, 2,
4  3     | |_ _ _|    1, 3,
4  4     |   |_ _|    2, 2,
4  5     |_ _ _ _|    4;
...
(End)
		

Crossrefs

Row lengths are given in A006128.
Partition lengths are in A193173.
Row lengths are A000041.
Partition sums are A036042.
Partition minima are A196931.
Partition maxima are A194546.
The reflected version is A211992.
The length-sensitive version (sum/length/lex) is A036036.
The colexicographic version (sum/colex) is A080576.
The version for non-reversed partitions is A193073.
Compositions under the same ordering (sum/lex) are A228369.
The reverse-lexicographic version (sum/revlex) is A228531.
The Heinz numbers of these partitions are A334437.

Programs

  • Maple
    T:= proc(n) local b, ll;
          b:= proc(n,l)
                if n=0 then ll:= ll, l[]
              else seq(b(n-i, [l[], i]), i=`if`(l=[],1,l[-1])..n)
                fi
              end;
          ll:= NULL; b(n, []); ll
        end:
    seq(T(n), n=1..8);  # Alois P. Heinz, Jul 16 2011
  • Mathematica
    T[n0_] := Module[{b, ll}, b[n_, l_] := If[n == 0, ll = Join[ll, l], Table[ b[n - i, Append[l, i]], {i, If[l == {}, 1, l[[-1]]], n}]]; ll = {}; b[n0, {}]; ll]; Table[T[n], {n, 1, 8}] // Flatten (* Jean-François Alcover, Aug 05 2015, after Alois P. Heinz *)
    Table[DeleteCases[Sort@PadRight[Reverse /@ IntegerPartitions[n]], x_ /; x == 0, 2], {n, 7}] // Flatten (* Robert Price, May 18 2020 *)
  • Python
    t = [[[]]]
    for n in range(1, 10):
        p = []
        for minp in range(1, n):
            p += [[minp] + pp for pp in t[n-minp] if min(pp) >= minp]
        t.append(p + [[n]])
    print(t)
    # Andrey Zabolotskiy, Oct 18 2019

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

Views

Author

Omar E. Pol, Aug 08 2011

Keywords

Comments

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).

Examples

			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.
		

Crossrefs

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

Programs

Formula

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

A221529 Triangle read by rows: T(n,k) = A000203(k)*A000041(n-k), 1 <= k <= n.

Original entry on oeis.org

1, 1, 3, 2, 3, 4, 3, 6, 4, 7, 5, 9, 8, 7, 6, 7, 15, 12, 14, 6, 12, 11, 21, 20, 21, 12, 12, 8, 15, 33, 28, 35, 18, 24, 8, 15, 22, 45, 44, 49, 30, 36, 16, 15, 13, 30, 66, 60, 77, 42, 60, 24, 30, 13, 18, 42, 90, 88, 105, 66, 84, 40, 45, 26, 18, 12, 56, 126, 120, 154, 90, 132, 56, 75, 39, 36, 12, 28
Offset: 1

Views

Author

Omar E. Pol, Jan 20 2013

Keywords

Comments

Since A000203(k) has a symmetric representation, both T(n,k) and the partial sums of row n can be represented by symmetric polycubes. For more information see A237593 and A237270. For another version see A245099. - Omar E. Pol, Jul 15 2014
From Omar E. Pol, Jul 10 2021: (Start)
The above comment refers to a symmetric tower whose terraces are the symmetric representation of sigma(i), for i = 1..n, starting from the top. The levels of these terraces are the partition numbers A000041(h-1), for h = 1 to n, starting from the base of the tower, where n is the length of the largest side of the base.
The base of the tower is the symmetric representation of A024916(n).
The height of the tower is equal to A000041(n-1).
The surface area of the tower is equal to A345023(n).
The volume (or the number of cubes) of the tower equals A066186(n).
The volume represents the n-th term of the convolution of A000203 and A000041, that is A066186(n).
Note that the terraces that are the symmetric representation of sigma(n) and the terraces that are the symmetric representation of sigma(n-1) both are unified in level 1 of the structure. That is because the first two partition numbers A000041 are [1, 1].
The tower is an object of the family of the stepped pyramid described in A245092.
T(n,k) can be represented with a set of A237271(k) right prisms of height A000041(n-k) since T(n,k) is the total number of cubes that are exactly below the parts of the symmetric representation of sigma(k) in the tower.
T(n,k) is also the sum of all divisors of all k's that are in the first n rows of triangle A336811, or in other words, in the first A000070(n-1) terms of the sequence A336811. Hence T(n,k) is also the sum of all divisors of all k's in the n-th row of triangle A176206.
The mentioned property is due to the correspondence between divisors and parts explained in A338156: all divisors of the first A000070(n-1) terms of A336811 are also all parts of all partitions of n.
Therefore the set of all partitions of n >= 1 has an associated tower.
The partial column sums of A340583 give this triangle showing the growth of the structure of the tower.
Note that the convolution of A000203 with any integer sequence S can be represented with a symmetric tower or structure of the same family where its terraces are the symmetric representation of sigma starting from the top and the heights of the terraces starting from the base are the terms of the sequence S. (End)

Examples

			Triangle begins:
------------------------------------------------------
    n| k    1   2   3   4   5   6   7   8   9  10
------------------------------------------------------
    1|      1;
    2|      1,  3;
    3|      2,  3,  4;
    4|      3,  6,  4,  7;
    5|      5,  9,  8,  7,  6;
    6|      7, 15, 12, 14,  6, 12;
    7|     11, 21, 20, 21, 12, 12,  8;
    8|     15, 33, 28, 35, 18, 24,  8, 15;
    9|     22, 45, 44, 49, 30, 36, 16, 15, 13;
   10|     30, 66, 60, 77, 42, 60, 24, 30, 13, 18;
...
The sum of row 10 is [30 + 66 + 60 + 77 + 42 + 60 + 24 + 30 + 13 + 18] = A066186(10) = 420.
.
For n = 10 the calculation of the row 10 is as follows:
    k    A000203         T(10,k)
    1       1   *  30   =   30
    2       3   *  22   =   66
    3       4   *  15   =   60
    4       7   *  11   =   77
    5       6   *   7   =   42
    6      12   *   5   =   60
    7       8   *   3   =   24
    8      15   *   2   =   30
    9      13   *   1   =   13
   10      18   *   1   =   18
                 A000041
.
From _Omar E. Pol_, Jul 13 2021: (Start)
For n = 10 we can see below three views of two associated polycubes called here "prism of partitions" and "tower". Both objects contain the same number of cubes (that property is valid for n >= 1).
        _ _ _ _ _ _ _ _ _ _
  42   |_ _ _ _ _          |
       |_ _ _ _ _|_        |
       |_ _ _ _ _ _|_      |
       |_ _ _ _      |     |
       |_ _ _ _|_ _ _|_    |
       |_ _ _ _        |   |
       |_ _ _ _|_      |   |
       |_ _ _ _ _|_    |   |
       |_ _ _      |   |   |
       |_ _ _|_    |   |   |
       |_ _    |   |   |   |
       |_ _|_ _|_ _|_ _|_  |                             _
  30   |_ _ _ _ _        | |                            | | 30
       |_ _ _ _ _|_      | |                            | |
       |_ _ _      |     | |                            | |
       |_ _ _|_ _ _|_    | |                            | |
       |_ _ _ _      |   | |                            | |
       |_ _ _ _|_    |   | |                            | |
       |_ _ _    |   |   | |                            | |
       |_ _ _|_ _|_ _|_  | |                           _|_|
  22   |_ _ _ _        | | |                          |   |  22
       |_ _ _ _|_      | | |                          |   |
       |_ _ _ _ _|_    | | |                          |   |
       |_ _ _      |   | | |                          |   |
       |_ _ _|_    |   | | |                          |   |
       |_ _    |   |   | | |                          |   |
       |_ _|_ _|_ _|_  | | |                         _|_ _|
  15   |_ _ _ _      | | | |                        | |   |  15
       |_ _ _ _|_    | | | |                        | |   |
       |_ _ _    |   | | | |                        | |   |
       |_ _ _|_ _|_  | | | |                       _|_|_ _|
  11   |_ _ _      | | | | |                      | |     |  11
       |_ _ _|_    | | | | |                      | |     |
       |_ _    |   | | | | |                      | |     |
       |_ _|_ _|_  | | | | |                     _| |_ _ _|
   7   |_ _ _    | | | | | |                    |   |     |   7
       |_ _ _|_  | | | | | |                   _|_ _|_ _ _|
   5   |_ _    | | | | | | |                  | | |       |   5
       |_ _|_  | | | | | | |                 _| | |_ _ _ _|
   3   |_ _  | | | | | | | |               _|_ _|_|_ _ _ _|   3
   2   |_  | | | | | | | | |           _ _|_ _|_|_ _ _ _ _|   2
   1   |_|_|_|_|_|_|_|_|_|_|          |_ _|_|_|_ _ _ _ _ _|   1
.
             Figure 1.                       Figure 2.
         Front view of the                 Lateral view
        prism of partitions.               of the tower.
.
.                                      _ _ _ _ _ _ _ _ _ _
                                      |   | | | | | | | |_|   1
                                      |   | | | | | |_|_ _|   2
                                      |   | | | |_|_  |_ _|   3
                                      |   | |_|_    |_ _ _|   4
                                      |   |_ _  |_  |_ _ _|   5
                                      |_ _    |_  |_ _ _ _|   6
                                          |_    | |_ _ _ _|   7
                                            |_  |_ _ _ _ _|   8
                                              |           |   9
                                              |_ _ _ _ _ _|  10
.
                                             Figure 3.
                                             Top view
                                           of the tower.
.
Figure 1 is a two-dimensional diagram of the partitions of 10 in colexicographic order (cf. A026792, A211992). The area of the diagram is 10*42 = A066186(10) = 420. Note that the diagram can be interpreted also as the front view of a right prism whose volume is 1*10*42 = 420 equaling the volume and the number of cubes of the tower that appears in the figures 2 and 3.
Note that the shape and the area of the lateral view of the tower are the same as the shape and the area where the 1's are located in the diagram of partitions. In this case the mentioned area equals A000070(10-1) = 97.
The connection between these two associated objects is a representation of the correspondence divisor/part described in A338156. See also A336812.
The sum of the volumes of both objects equals A220909.
For the connection with the table of A338156 see also A340035. (End)
		

Crossrefs

Programs

  • Mathematica
    nrows=12; Table[Table[DivisorSigma[1,k]PartitionsP[n-k],{k,n}],{n,nrows}] // Flatten (* Paolo Xausa, Jun 17 2022 *)
  • PARI
    T(n,k)=sigma(k)*numbpart(n-k) \\ Charles R Greathouse IV, Feb 19 2013

Formula

T(n,k) = sigma(k)*p(n-k) = A000203(k)*A027293(n,k).
T(n,k) = A245093(n,k)*A027293(n,k).
Showing 1-10 of 44 results. Next