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.

A288531 Triangle read by rows in reverse order: T(n,k), (1<=k<=n), in which each term is the least positive integer such that no row, column, diagonal, or antidiagonal contains a repeated term.

Original entry on oeis.org

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

Views

Author

Omar E. Pol, Jun 10 2017

Keywords

Comments

Note that the n-th row of this triangle is constructed from right to left, starting at the column n and ending at the column 1.
Theorem 1: the middle diagonal gives A000012, the all 1's sequence.
Theorem 2: all 1's are in the middle diagonal.
For the proofs of the theorems 1 and 2 see the proofs of the theorems 1 and 2 of A274650, because this is essentially the same problem.
Conjecture 3: every column is a permutation of the positive integers.
Conjecture 4: every diagonal is a permutation of the right border which gives the positive integers.

Examples

			Note that every row of the triangle is constructed from right to left, so the sequence is 1, 2, 3, 3, 1, 4,... (see below):
1,
3,   2,
4,   1,  3,
6,   5,  2,  4,
2,   3,  1,  6,  5,                      Every row is constructed
8,   7,  5,  2,  4,  6,              <---   from right to left.
10,  9,  4,  1,  3,  5,  7,
7,  11,  6,  5,  2, 10,  9,  8,
12, 10,  8,  3,  1,  4,  6,  7,  9,
5,   4, 13,  9,  7,  3, 12, 11,  8, 10,
16,  6, 15, 14, 13,  1,  8,  9,  7, 12, 11,
14, 13, 17, 16,  9,  7,  2,  6, 11,  8, 10, 12,
17, 15, 14,  8,  6, 12,  1,  4, 10,  7,  9, 11, 13,
...
The triangle may be reformatted as an isosceles triangle so that the all 1's sequence (A000012) appears in the central column (but note that this is NOT the way the triangle is constructed!):
.
.                1,
.              3,  2,
.            4,  1,  3,
.          6,  5,  2,  4,
.        2,  3,  1,  6,  5,
.      8,  7,  5,  2,  4,  6,
.   10,  9,  4,  1,  3,  5,  7,
...
Also the triangle may be reformatted for reading from left to right:
.
.                           1;
.                       2,  3;
.                   3,  1,  4;
.               4,  2,  5,  6;
.           5,  6,  1 , 3,  2;
.       6,  4,  2,  5,  7,  8;
.   7,  5,  3,  1,  4,  9, 10;
...
		

Crossrefs

Middle diagonal gives A000012.
Right border gives A000027.
Indices of the 1's are in A001844.
Cf. A288530 is the same triangle but with every entry minus 1.
Other sequences of the same family are A269526, A274528, A274650, A274651, A274820, A274821, A286297.

Formula

T(n,k) = A288530(n-1,k-1) + 1.
T(n,n) = n.