A002262 -id:A002262 - cp's OEIS frontend

A004247 Multiplication table read by antidiagonals: T(i,j) = ij (i>=0, j>=0). Alternatively, multiplication triangle read by rows: P(i,j) = j(i-j) (i>=0, 0<=j<=i).

0, 0, 0, 0, 1, 0, 0, 2, 2, 0, 0, 3, 4, 3, 0, 0, 4, 6, 6, 4, 0, 0, 5, 8, 9, 8, 5, 0, 0, 6, 10, 12, 12, 10, 6, 0, 0, 7, 12, 15, 16, 15, 12, 7, 0, 0, 8, 14, 18, 20, 20, 18, 14, 8, 0, 0, 9, 16, 21, 24, 25, 24, 21, 16, 9, 0, 0, 10, 18, 24, 28, 30, 30, 28, 24, 18, 10, 0, 0, 11, 20, 27, 32, 35, 36, 35, 32, 27, 20, 11, 0, 0, 12, 22, 30, 36, 40, 42, 42, 40, 36, 30

Offset: 0

David W. Wilson

Table of x*y, where (x,y) = (0,0),(0,1),(1,0),(0,2),(1,1),(2,0),...
Or, triangle read by rows, in which row n gives the numbers 0, n*1, (n-1)*2, (n-2)*3, ..., 2*(n-1), 1*n, 0.
Letting T(n,k) be the (k+1)st entry in the (n+1)st row (same numbering used for Pascal's triangle), T(n,k) is the dimension of the space of all k-dimensional subspaces of a (fixed) n-dimensional real vector space. - Paul Boddington, Oct 21 2003
From Dennis P. Walsh, Nov 10 2009: (Start)
Triangle P(n,k), 0<=k<=n, equals n^2 x the variance of a binary data set with k zeros and (n-k) ones. [For the case when n=0, let the variance of the empty set be defined as 0.]
P(n,k) is also the number of ways to form an opposite-sex dance couple from k women and (n-k) men. (End)
P(n,k) is the number of negative products of two numbers from a set of n real numbers, k of which are negative. - Logan Pipes, Jul 08 2021

			As the triangle P, sequence begins:
  0;
  0,0;
  0,1,0;
  0,2,2,0;
  0,3,4,3,0;
  0,4,6,6,4,0,;
  0,5,8,9,8,5,0;
  ...
From _Dennis P. Walsh_, Nov 10 2009: (Start)
P(5,2)=T(2,3)=6 since the variance of the data set <0,0,1,1,1> equals 6/25.
P(5,2)=6 since, with 2 women, say Alice and Betty, and with 3 men, say Charles, Dennis, and Ed, the dance couple is one of the following: {Alice, Charles}, {Alice, Dennis}, {Alice, Ed}, {Betty, Charles}, {Betty, Dennis} and {Betty, Ed}. (End)

T. D. Noe, Rows n = 0..50 of triangle, flattened
Dennis Walsh, Variance bounds on binary data sets

See A003991 for another version with many more comments.

Cf. A002262, A025581, A003056, A004197, A003984, A048720, A325820, A000292 (row sums of triangle), A002620.

seq(seq(k*(n-k),k=0..n),n=0..13); # Dennis P. Walsh, Nov 10 2009

Table[(x - y) y, {x, 0, 13}, {y, 0, x}] // Flatten (* Robert G. Wilson v, Oct 06 2007 *)

T(i,j)=i*j \\ Charles R Greathouse IV, Jun 23 2017

a(n) = A002262(n) * A025581(n). - Antti Karttunen
From Ridouane Oudra, Dec 14 2019: (Start)
a(n) = A004197(n)*A003984(n).
a(n) = (3/4 + n)*t^2 - (1/4)*t^4 - (1/2)*t - n^2 - n, where t = floor(sqrt(2*n+1)+1/2). (End)
P(n,k) = (P(n-1,k-1) + P(n-1,k) + n) / 2. - Robert FERREOL, Jan 16 2020
P(n,floor(n/2)) = A002620(n). - Logan Pipes, Jul 08 2021
From Stefano Spezia, Aug 19 2024: (Start)
G.f. as array: x*y/((1 - x)^2*(1 - y)^2).
E.g.f. as array: exp(x+y)*x*y. (End)

Edited by N. J. A. Sloane, Sep 30 2007

A056558 Third tetrahedral coordinate, i.e., tetrahedron with T(t,n,k)=k; succession of growing finite triangles with increasing values towards bottom right.

Original entry on oeis.org

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

Offset: 0

Henry Bottomley, Jun 26 2000

nonn

Alternatively, write n = C(i,3)+C(j,2)+C(k,1) with i>j>k>=0; sequence gives k values. See A194847 for further information about this interpretation.
If {(X,Y,Z)} are triples of nonnegative integers with X>=Y>=Z ordered by X, Y and Z, then X=A056556(n), Y=A056557(n) and Z=A056558(n).
This is a 'Matryoshka doll' sequence with alpha=0 (cf. A000292 and A000178). - Peter Luschny, Jul 14 2009

			First triangle: [0]; second triangle: [0; 0 1]; third triangle: [0; 0 1; 0 1 2]; ...

D. E. Knuth, The Art of Computer Programming, vol. 4A, Combinatorial Algorithms, Section 7.2.1.3, Eq. (20), p. 360.

Reinhard Zumkeller, Table of n, a(n) for n = 0..10000

Together with A056559 and A056560 might enable reading "by antidiagonals" of cube arrays as 3-dimensional analog of A002262 and A025581 with square arrays. Also cf. A000292, A056556, A056557.
See also A194847, A194848, A194849.
Cf. A002262, A127324, A000217.

import Data.List (inits)
a056558 n = a056558_list !! n
a056558_list = concatMap (concat . init . inits . enumFromTo 0) [0..]
-- Reinhard Zumkeller, Jun 01 2015

seq(seq(seq(i,i=0..k),k=0..n),n=0..6); # Peter Luschny, Sep 22 2011

Table[i, {k, 0, 7}, {j, 0, k}, {i, 0, j}] // Flatten  (* Robert G. Wilson v, Sep 27 2011 *)

T(t,n,k)=k \\ Charles R Greathouse IV, Feb 22 2017

from math import isqrt, comb
from sympy import integer_nthroot
def A056558(n): return (r:=n-comb((m:=integer_nthroot(6*(n+1),3)[0])+(n>=comb(m+2,3))+1,3))-comb((k:=isqrt(m:=r+1<<1))+(m>k*(k+1)),2) # Chai Wah Wu, Nov 04 2024

a(n) = n-A056556(n)*(A056556(n)+1)*(A056556(n)+2)/6-A056557(n)*(A056557(n)+1)/2 = n-A000292(A056556(n)-1)-A000217(A056557(n)) = A056557(n)-A056560(n).

a(n+1) = A056556(n)==a(n) ? 0 : A056557(n)==a(n) ? 0 : a(n)+1. - Graeme McRae, Jan 09 2007

A004070 Table of Whitney numbers W(n,k) read by antidiagonals, where W(n,k) is maximal number of pieces into which n-space is sliced by k hyperplanes, n >= 0, k >= 0.

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 1, 2, 3, 1, 1, 2, 4, 4, 1, 1, 2, 4, 7, 5, 1, 1, 2, 4, 8, 11, 6, 1, 1, 2, 4, 8, 15, 16, 7, 1, 1, 2, 4, 8, 16, 26, 22, 8, 1, 1, 2, 4, 8, 16, 31, 42, 29, 9, 1, 1, 2, 4, 8, 16, 32, 57, 64, 37, 10, 1, 1, 2, 4, 8, 16, 32, 63, 99, 93, 46, 11, 1, 1, 2, 4, 8, 16, 32, 64, 120, 163

Offset: 0

N. J. A. Sloane

As a number triangle, this is given by T(n,k)=sum{j=0..n, C(n,j)(-1)^(n-j)sum{i=0..j, C(j+k,i-k)}}. - Paul Barry, Aug 23 2004
As a number triangle, this is the Riordan array (1/(1-x), x(1+x)) with T(n,k)=sum{i=0..n, binomial(k,i-k)}. Diagonal sums are then A023434(n+1). - Paul Barry, Feb 16 2005
Form partial sums across rows of square array of binomial coefficients A026729; see also A008949. - Philippe Deléham, Aug 28 2005
Square array A026729 -> Partial sums across rows
1 0 0 0 0 0 0 . . . . 1 1 1 1 1 1 1 . . . . . .
1 1 0 0 0 0 0 . . . . 1 2 2 2 2 2 2 . . . . . .
1 2 1 0 0 0 0 . . . . 1 3 4 4 4 4 4 . . . . . .
1 3 3 1 0 0 0 . . . . 1 4 7 8 8 8 8 . . . . . .
For other Whitney numbers see A007799.
W(n,k) is the number of length k binary sequences containing no more than n 1's. - Geoffrey Critzer, Mar 15 2010
From Emeric Deutsch, Jun 15 2010: (Start)
Viewed as a number triangle, T(n,k) is the number of internal nodes of the Fibonacci tree of order n+2 at level k. A Fibonacci tree of order n (n>=2) is a complete binary tree whose left subtree is the Fibonacci tree of order n-1 and whose right subtree is the Fibonacci tree of order n-2; each of the Fibonacci trees of order 0 and 1 is defined as a single node.
(End)
Named after the American mathematician Hassler Whitney (1907-1989). - Amiram Eldar, Jun 13 2021

			Table W(n,k) begins:
  1 1 1 1  1  1  1 ...
  1 2 3 4  5  6  7 ...
  1 2 4 7 11 16 22 ...
  1 2 4 8 15 26 42 ...
W(2,4) = 11 because there are 11 length 4 binary sequences containing no more than 2 1's: {0, 0, 0, 0}, {0, 0, 0, 1}, {0, 0, 1, 0}, {0, 0, 1, 1}, {0, 1, 0, 0}, {0, 1, 0, 1}, {0, 1, 1, 0}, {1, 0, 0, 0}, {1, 0, 0, 1}, {1, 0, 1, 0}, {1, 1, 0, 0}. - _Geoffrey Critzer_, Mar 15 2010
Table T(n, k) begins:
  1
  1  1
  1  2  1
  1  2  3  1
  1  2  4  4  1
  1  2  4  7  5  1
  1  2  4  8 11  6  1
...

Donald E. Knuth, The Art of Computer Programming, Vol. 3, 2nd edition, Addison-Wesley, Reading, MA, 1998, p. 417.

Gustav Burosch, Hans-Dietrich O.F. Gronau, Jean-Marie Laborde and Ingo Warnke, On posets of m-ary words, Discrete Math., Vol. 152, No. 1-3 (1996), pp. 69-91. MR1388633 (97e:06002)
Matteo Cervetti and Luca Ferrari, Pattern avoidance in the matching pattern poset, arXiv:2009.01024 [math.CO], 2020.
Matteo Cervetti and Luca Ferrari, Enumeration of Some Classes of Pattern Avoiding Matchings, with a Glimpse into the Matching Pattern Poset, Annals of Combinatorics (2022).
Richard K. Guy, Letter to N. J. A. Sloane, Apr 1975.
Yasuichi Horibe, An entropy view of Fibonacci trees, Fibonacci Quarterly, Vol. 20, No. 2 (1982), pp. 168-178.
Robin Pemantle and Mark C. Wilson, Twenty Combinatorial Examples of Asymptotics Derived from Multivariate Generating Functions, SIAM Rev., Vol. 50, No. 2 (2008), pp. 199-272. See p. 233.

Cf. A007799. As a triangle, mirror A052509.
Rows converge to powers of two (A000079). Subdiagonals include A000225, A000295, A002662, A002663, A002664, A035038, A035039, A035040, A035041, A035042. Antidiagonal sums are A000071.
Rows are: A000012, A000027, A000124, A000125, A000127, A006261, A008859, A008860, A008861, A008862, A008863.
Cf. A178522, A178524.

Transpose[ Table[Table[Sum[Binomial[n, k], {k, 0, m}], {m, 0, 15}], {n, 0, 15}]] // Grid (* Geoffrey Critzer, Mar 15 2010 *)
T[ n_, k_] := Sum[ Binomial[n, j] (-1)^(n - j) Sum[ Binomial[j + k, i - k], {i, 0, j}], {j, 0, n}]; (* Michael Somos, May 31 2016 *)

/* array read by antidiagonals up coordinate index functions */
t1(n) = binomial(floor(3/2 + sqrt(2+2*n)), 2) - (n+1); /* A025581 */
t2(n) = n - binomial(floor(1/2 + sqrt(2+2*n)), 2); /* A002262 */
/* define the sequence array function for A004070 */
W(n, k) = sum(i=0, n, binomial(k, i));
/* visual check ( origin 0,0 ) */
printp(matrix(7, 7, n, k, W(n-1, k-1)));
/* print the sequence entries by antidiagonals going up ( origin 0,0 ) */
print1("S A004070 "); for(n=0, 32, print1(W(t1(n), t2(n))","));
print1("T A004070 "); for(n=33, 61, print1(W(t1(n), t2(n))","));
print1("U A004070 "); for(n=62, 86, print1(W(t1(n), t2(n))",")); /* Michael Somos, Apr 28 2000 */

T(n, k)=sum(m=0, n-k, binomial(k, m)) \\ Jianing Song, May 30 2022

W(n, k) = Sum_{i=0..n} binomial(k, i). - Bill Gosper
W(n, k) = if k=0 or n=0 then 1 else W(n, k-1)+W(n-1, k-1). - David Broadhurst, Jan 05 2000
The table W(n,k) = A000012 * A007318(transform), where A000012 = (1; 1,1; 1,1,1; ...). - Gary W. Adamson, Nov 15 2007
E.g.f. for row n: (1 + x + x^2/2! + ... + x^n/n!)* exp(x). - Geoffrey Critzer, Mar 15 2010
G.f.: 1 / (1 - x - x*y*(1 - x^2)) = Sum_{0 <= k <= n} x^n * y^k * T(n, k). - Michael Somos, May 31 2016
W(n, n) = 2^n. - Michael Somos, May 31 2016
From Jianing Song, May 30 2022: (Start)
T(n, 0) = T(n, n) = 1 for n >= 0; T(n, k) = T(n-1, k-1) + T(n-2, k-1) for k=1, 2, ..., n-1, n >= 2.
T(n, k) = Sum_{m=0..n-k} binomial(k, m).
T(n,k) = 2^k for 0 <= k <= floor(n/2). (End)

More terms from Larry Reeves (larryr(AT)acm.org), Mar 20 2000

A051162 Triangle T(n,k) = n+k, n >= 0, 0 <= k <= n.

Original entry on oeis.org

0, 1, 2, 2, 3, 4, 3, 4, 5, 6, 4, 5, 6, 7, 8, 5, 6, 7, 8, 9, 10, 6, 7, 8, 9, 10, 11, 12, 7, 8, 9, 10, 11, 12, 13, 14, 8, 9, 10, 11, 12, 13, 14, 15, 16, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20

Offset: 0

N. J. A. Sloane

Row sums are A045943 = triangular matchstick numbers: 3n(n+1)/2. This was independently noted by me and, without cross-reference, as a comment on A045943, by Jon Perry, Jan 15 2004. - Jonathan Vos Post, Nov 09 2007
In partitions of n into distinct parts having maximal size, a(n) is the greatest number, see A000009. - Reinhard Zumkeller, Jun 13 2009
Row sums of reciprocals of terms in this triangle converge to log(2). See link to Eric Naslund's answer. - Mats Granvik, Mar 07 2013
T(n,k) satisfies the cubic equation T(n,k)^3 + 3*A025581(n, k)*T(n,k) - 4*A105125(n,k) = 0. This is a problem similar to the one posed by François Viète (Vieta) mentioned in a comment on A025581. Here the problem is to determine for a rectangle (a, b), with a > b >= 1, from the given values for a^3 + b^3 and a - b the value of a + b. Here for nonnegative integers a = n and b = k. - Wolfdieter Lang, May 15 2015
If we subtract 1 from every term the result is essentially A213183. - N. J. A. Sloane, Apr 28 2020

			The triangle  T(n, k) starts:
n\k  0  1  2  3  4  5  6  7  8  9 10 ...
0:   0
1:   1  2
2:   2  3  4
3:   3  4  5  6
4:   4  5  6  7  8
5:   5  6  7  8  9 10
6:   6  7  8  9 10 11 12
7:   7  8  9 10 11 12 13 14
8:   8  9 10 11 12 13 14 15 16
9:   9 10 11 12 13 14 15 16 17 18
10: 10 11 12 13 14 15 16 17 18 19 20
... reformatted. - _Wolfdieter Lang_, May 15 2015

Reinhard Zumkeller, Rows n=0..100 of triangle, flattened
Eric Naslund, Euler-Mascheroni constant expression, further simplification
Dmitry A. Zaitsev, A generalized neighborhood for cellular automata, Theoretical Computer Science, 2016, Volume 666, 1 March 2017, Pages 21-35.

Cf. A000009, A000217, A002260, A025581, A004736, A045943, A105125, A213183.
Cf. also A008585 (central terms), A005843 (right edge).
Cf. also A002262, A001477, A003056.

a051162 n k = a051162_tabl !! n !! k
a051162_row n = a051162_tabl !! n
a051162_tabl = iterate (\xs@(x:_) -> (x + 1) : map (+ 2) xs) [0]
-- Reinhard Zumkeller, Sep 17 2014, Oct 02 2012, Apr 23 2012

seq(seq(r+c, c=0..r),r=0..10); # Robert Israel, May 21 2015

With[{c=Range[0,20]}, Flatten[Table[Take[c,{n,2n-1}], {n,11}]]] (* Harvey P. Dale, Nov 19 2011 *)

for(n=0,10,for(k=0,n,print1(n+k,", "))) \\ Derek Orr, May 19 2015

T(n, k) = n + k, 0 <= k <= n.
a(n-1) = 2*A002260(n) + A004736(n) - 3, n > 0. - Boris Putievskiy, Mar 12 2012
a(n-1) = (t - t^2+ 2n-2)/2, where t = floor((-1+sqrt(8*n-7))/2), n > 0. - Robert G. Wilson v and Boris Putievskiy, Mar 14 2012
From Robert Israel, May 21 2015: (Start)
a(n) = A003056(n) + A002262(n).
G.f.: x/(1-x)^2 + (1-x)^(-1)*Sum(j>=1, (1-j)*x^A000217(j)). The sum is related to Jacobi Theta functions. (End)
G.f. as triangle: (x + (2 - 3*x)*x*y)/((1 - x)^2*(1 - x*y)^2). - Stefano Spezia, Apr 22 2024

A064866 Write numbers 1, then 1 up to 2^2, then 1 up to 3^2, then 1 up to 4^2 and so on.

Original entry on oeis.org

1, 1, 2, 3, 4, 1, 2, 3, 4, 5, 6, 7, 8, 9, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28

Offset: 1

Floor van Lamoen, Oct 08 2001

This is a fractal sequence: if the first instance of each number is deleted, the original sequence is recovered. - Franklin T. Adams-Watters, Dec 14 2013
Subsequences start at indices A000330 + 1. - Ralf Stephan, Dec 17 2013
When sequence fills a triangular array by rows, the main diagonal is A064865:
This triangle begins:
     1
    1 2
   3 4 1
  2 3 4 5
 6 7 8 9 1
From Antti Karttunen, Feb 17 2014: (Start)
A more natural way of organizing this sequence is as an irregular table consisting of successively larger square matrices:
   1;
   1, 2;
   3, 4;
   1, 2, 3;
   4, 5, 6;
   7, 8, 9;
   1, 2, 3, 4;
   5, 6, 7, 8;
   9,10,11,12;
  13,14,15,16;
  etc.
(End)

Cf. A002260, A002262, A002024.
Cf. A074279, A121997, A238013, A237451, A237452.
Mini-index to these sequences: A064766, A064865, A064866, A065221-A655234 are all of the same type. See A064766 for a detailed explanation.

Table[Range[n^2],{n,10}]//Flatten (* Harvey P. Dale, Mar 05 2018 *)

A064866_vec(N=9)=concat(vector(N, i, vector(i^2, j, j))) \\ Note: This creates a vector; use A064866_vec()[n] to get the n-th term. - M. F. Hasler, Feb 17 2014

from sympy import integer_nthroot
def A064866(n): return n-(k:=(m:=integer_nthroot(3*n,3)[0])+(6*n>m*(m+1)*((m<<1)+1)))*(k-1)*((k<<1)-1)//6 # Chai Wah Wu, Nov 04 2024

a(n) = A237451(n) + (A237452(n)*A074279(n)) + 1. - M. F. Hasler, Feb 17 2014
For 1 <= n <= 650, a(n) = n - t(t-1)(2t-1)/6, where t = floor((3*n)^(1/3)+1/2). - Mikael Aaltonen, Jan 17 2015
a(n) = n-k(k-1)(2k-1)/6 where k = m+1 if n>m(m+1)(2m+1)/6 and k = m otherwise and m = floor((3n)^(1/3)). - Chai Wah Wu, Nov 05 2024

Edited by Ralf Stephan, Dec 17 2013

A056557 Second tetrahedral coordinate.

Original entry on oeis.org

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

Offset: 0

Henry Bottomley, Jun 26 2000

nonn

If {(X,Y,Z)} are triples of nonnegative integers with X >= Y >= Z ordered by X, Y and Z, then X=A056556(n), Y=A056557(n) and Z=A056558(n).

Cf. A000292, A002262, A003056, A056556, A056558, A056559, A056560.

A059252 Hilbert's Hamiltonian walk on N X N projected onto x axis: m(3).

Original entry on oeis.org

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

Offset: 0

Claude Lenormand (claude.lenormand(AT)free.fr), Jan 23 2001

nonn

This is the X-coordinate of the n-th term in Hilbert's Hamiltonian walk A163359 and the Y-coordinate of its transpose A163357.

			[m(1)=0 0 1 1, m'(1)= 0 1 10] [m(2) =0 0 1 1 2 3 3 2 2 3 3 2 1 1 0 0, m'(2)=0 1 1 0 0 0 1 1 2 2 3 3 3 2 2 3].

Antti Karttunen, Table of n, a(n) for n = 0..65535
Joerg Arndt, Matters Computational (The Fxtbook), section 1.31.1 "The Hilbert curve", page 85, lin2hilbert.
Michael Beeler, R. William Gosper, and Richard Schroeppel, HAKMEM, MIT Artificial Intelligence Laboratory report AIM-239, February 1972. Item 115 by Gosper, page 52. Also HTML transcription. (To use algorithm S or the state table, pad n with high 0-bits to a multiple of 4 bits.)
J. Shallit, Hilbert's spacefilling curve described by automatic, regular, and synchronized sequences, arXiv:2106.01062 [cs.FL], June 2 2021.
Index entries for sequences related to coordinates of 2D curves

See also the y-projection, m'(3), A059253, as well as: A163539, A163540, A163542, A059261, A059285, A163547 and A163529.

void h(unsigned int *x, unsigned int *y, unsigned int l){
x[0] = y[0] = 0; unsigned int *t = NULL; unsigned int n = 0, k = 0;
for(unsigned int i = 1; i>(2*n)){
case 1: x[i] = y[i&k]; y[i] = x[i&k]+(1<Jared Rager, Jan 09 2021 */
(C++) See Fxtbook link.

Initially [m(0) = 0, m'(0) = 0]; recursion: m(2n + 1) = m(2n).m'(2n).f(m'(2n), 2n).c(m(2n), 2n + 1); m'(2n + 1) = m'(2n).f(m(2n), 2n).f(m(2n), 2n).mir(m'(2n)); m(2n) = m(2n - 1).f(m'(2n - 1), 2n - 1).f(m'(2n - 1), 2n - 1).mir(m(2n - 1)); m'(2n) = m'(2n - 1).m(2n - 1).f(m(2n - 1), 2n - 1).c(m'(2n - 1), 2n); where f(m, n) is the alphabetic morphism i := i + 2^n [example: f(0 0 1 1 2 3 3 2 2 3 3 2 1 1 0 0, 2) = 4 4 5 5 6 7 7 6 6 7 7 6 5 5 4 4]; c(m, n) is the complementation to 2^n - 1 alphabetic morphism [example: c(0 0 1 1 2 3 3 2 2 3 3 2 1 1 0 0, 3) = 7 7 6 6 5 4 4 5 5 4 4 5 6 6 7 7]; and mir(m) is the mirror operator [example: mir(0 1 1 0 0 0 1 1 2 2 3 3 3 2 2 3) = 3 2 2 3 3 3 2 2 1 1 0 0 0 1 1 0].

a(n) = A002262(A163358(n)) = A025581(A163360(n)) = A059906(A163356(n)).

Extended by Antti Karttunen, Aug 01 2009

A059253 Hilbert's Hamiltonian walk on N X N projected onto y axis: m'(3).

Original entry on oeis.org

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

Offset: 0

Claude Lenormand (claude.lenormand(AT)free.fr), Jan 23 2001

nonn

This is the Y-coordinate of the n-th term in the type I Hilbert's Hamiltonian walk A163359 and the X-coordinate of its transpose A163357.

Antti Karttunen, Table of n, a(n) for n = 0..65535
J. Shallit, Hilbert's spacefilling curve described by automatic, regular, and synchronized sequences, arXiv:2106.01062 [cs.FL], June 2 2021.
Index entries for sequences related to coordinates of 2D curves

See also the y-projection, m(3), A059252 as well as A163538, A163540, A163542, A059261, A059285, A163547 and A163528.

C
```
See A059252.
```

Initially [m(0) = 0, m'(0) = 0]; recursion: m(2n + 1) = m(2n).m'(2n).f(m'(2n), 2n).c(m(2n), 2n + 1); m'(2n + 1) = m'(2n).f(m(2n), 2n).f(m(2n), 2n).mir(m'(2n)); m(2n) = m(2n - 1).f(m'(2n - 1), 2n - 1).f(m'(2n - 1), 2n - 1).mir(m(2n - 1)); m'(2n) = m'(2n - 1).m(2n - 1).f(m(2n - 1), 2n - 1).c(m'(2n - 1), 2n); where f(m, n) is the alphabetic morphism i := i + 2^n [example: f(0 0 1 1 2 3 3 2 2 3 3 2 1 1 0 0, 2) = 4 4 5 5 6 7 7 6 6 7 7 6 5 5 4 4]; c(m, n) is the complementation to 2^n - 1 alphabetic morphism [example: c(0 0 1 1 2 3 3 2 2 3 3 2 1 1 0 0, 3) = 7 7 6 6 5 4 4 5 5 4 4 5 6 6 7 7]; and mir(m) is the mirror operator [example: mir(0 1 1 0 0 0 1 1 2 2 3 3 3 2 2 3) = 3 2 2 3 3 3 2 2 1 1 0 0 0 1 1 0].

a(n) = A025581(A163358(n)) = A002262(A163360(n)) = A059905(A163356(n)).

Extended by Antti Karttunen, Aug 01 2009

A082853 Integers 0 to Catalan(n)-1 followed by integers 0 to Catalan(n+1)-1 etc.

Original entry on oeis.org

0, 0, 0, 1, 0, 1, 2, 3, 4, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17

Offset: 0

Antti Karttunen, Apr 17 2003

nonn

Harvey P. Dale, Table of n, a(n) for n = 0..1000

a(n) = A082854(n)-1. Cf. A002262, A000108.

Table[Range[0,CatalanNumber[n]-1],{n,0,6}]//Flatten (* Harvey P. Dale, Jul 24 2021 *)

a(n) = n - A082852(n)

A158405 Triangle T(n,m) = 1+2*m of odd numbers read along rows, 0<=m

Original entry on oeis.org

1, 1, 3, 1, 3, 5, 1, 3, 5, 7, 1, 3, 5, 7, 9, 1, 3, 5, 7, 9, 11, 1, 3, 5, 7, 9, 11, 13, 1, 3, 5, 7, 9, 11, 13, 15, 1, 3, 5, 7, 9, 11, 13, 15, 17, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23

Offset: 1

Paul Curtz, Mar 18 2009

Row sums are n^2 = A000290(n).
The triangle sums, see A180662 for their definitions, link this triangle of odd numbers with seventeen different sequences, see the crossrefs. The knight sums Kn14 - Kn110 have been added. - Johannes W. Meijer, Sep 22 2010
A208057 is the eigentriangle of A158405 such that as infinite lower triangular matrices, A158405 * A208057 shifts the latter, deleting the right border of 1's. - Gary W. Adamson, Feb 22 2012
T(n,k) = A099375(n-1,n-k), 1<=k<=n. [Reinhard Zumkeller, Mar 31 2012]

			The triangle contains the first n odd numbers in row n:
  1;
  1,3;
  1,3,5;
  1,3,5,7;
From _Seiichi Manyama_, Dec 02 2017: (Start)
    |       a(n)        |                               | A000290(n)
   -----------------------------------------------------------------
   0|                                                      (=  0)
   1|                 1 = 1/3 * ( 3)                       (=  1)
   2|             1 + 3 = 1/3 * ( 5 +  7)                  (=  4)
   3|         1 + 3 + 5 = 1/3 * ( 7 +  9 + 11)             (=  9)
   4|     1 + 3 + 5 + 7 = 1/3 * ( 9 + 11 + 13 + 15)        (= 16)
   5| 1 + 3 + 5 + 7 + 9 = 1/3 * (11 + 13 + 15 + 17 + 19)   (= 25)
(End)

Seiichi Manyama, Rows n = 1..140, flattened
Daniel Erman, The Josephus Problem, Numberphile video (2016)
Boris Putievskiy, Transformations [of] Integer Sequences And Pairing Functions arXiv:1212.2732 [math.CO], 2012.
Index entries for sequences related to the Josephus Problem

Cf. A129326, A099375, A005408.
Triangle sums (see the comments): A000290 (Row1; Kn11 & Kn4 & Ca1 & Ca4 & Gi1 & Gi4); A000027 (Row2); A005563 (Kn12); A028347 (Kn13); A028560 (Kn14); A028566 (Kn15); A098603 (Kn16); A098847 (Kn17); A098848 (Kn18); A098849 (Kn19); A098850 (Kn110); A000217 (Kn21. Kn22, Kn23, Fi2, Ze2); A000384 (Kn3, Fi1, Ze3); A000212 (Ca2 & Ze4); A000567 (Ca3, Ze1); A011848 (Gi2); A001107 (Gi3). - Johannes W. Meijer, Sep 22 2010
Cf. A063656, A063657, A208057, A292610, A292611.

a158405 n k = a158405_row n !! (k-1)
a158405_row n = a158405_tabl !! (n-1)
a158405_tabl = map reverse a099375_tabl
-- Reinhard Zumkeller, Mar 31 2012

Table[2 Range[1, n] - 1, {n, 12}] // Flatten (* Michael De Vlieger, Oct 01 2015 *)

a(n) = 2*(n-floor((-1+sqrt(8*n-7))/2)*(floor((-1+sqrt(8*n-7))/2)+1)/2)-1;
vector(100, n, a(n)) \\ Altug Alkan, Oct 01 2015

a(n) = 2*i-1, where i = n-t(t+1)/2, t = floor((-1+sqrt(8*n-7))/2). - Boris Putievskiy, Feb 03 2013

a(n) = 2*A002262(n-1) + 1. - Eric Werley, Sep 30 2015

Edited by R. J. Mathar, Oct 06 2009

cp's OEIS Frontend

A004247 Multiplication table read by antidiagonals: T(i,j) = i*j (i>=0, j>=0). Alternatively, multiplication triangle read by rows: P(i,j) = j*(i-j) (i>=0, 0<=j<=i).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A056558 Third tetrahedral coordinate, i.e., tetrahedron with T(t,n,k)=k; succession of growing finite triangles with increasing values towards bottom right.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Python

Formula

A004070 Table of Whitney numbers W(n,k) read by antidiagonals, where W(n,k) is maximal number of pieces into which n-space is sliced by k hyperplanes, n >= 0, k >= 0.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Formula

Extensions

A051162 Triangle T(n,k) = n+k, n >= 0, 0 <= k <= n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Formula

A064866 Write numbers 1, then 1 up to 2^2, then 1 up to 3^2, then 1 up to 4^2 and so on.

Views

Author

Keywords

Comments

Crossrefs

Programs

Mathematica

PARI

Python

Formula

Extensions

A056557 Second tetrahedral coordinate.

Views

Author

Keywords

Comments

Crossrefs

Programs

Python

A004247 Multiplication table read by antidiagonals: T(i,j) = ij (i>=0, j>=0). Alternatively, multiplication triangle read by rows: P(i,j) = j(i-j) (i>=0, 0<=j<=i).