A085180 -id:A085180 - cp's OEIS frontend

A007001 Trajectory of 1 under the morphism 1 -> 12, 2 -> 123, 3 -> 1234, etc.

1, 2, 1, 2, 3, 1, 2, 1, 2, 3, 1, 2, 3, 4, 1, 2, 1, 2, 3, 1, 2, 1, 2, 3, 1, 2, 3, 4, 1, 2, 1, 2, 3, 1, 2, 3, 4, 1, 2, 3, 4, 5, 1, 2, 1, 2, 3, 1, 2, 1, 2, 3, 1, 2, 3, 4, 1, 2, 1, 2, 3, 1, 2, 1, 2, 3, 1, 2, 3, 4, 1, 2, 1, 2, 3, 1, 2, 3, 4, 1, 2, 3, 4, 5, 1, 2, 1, 2, 3, 1, 2, 1, 2, 3, 1, 2, 3, 4, 1, 2, 1, 2, 3, 1, 2

Offset: 1

N. J. A. Sloane, Mira Bernstein, James Propp

Records in this sequence occur at positions: 1, 2, 5, 14, 42, 132, 429, 1430, ... (which appear to be the Catalan numbers A000108). - Robert G. Wilson v, May 07 2005
The records do occur at Catalan numbers. Of the first C(n) numbers, the number that are equal to k is A033184(n,k), with the one n last. - Franklin T. Adams-Watters, Mar 29 2009
Let (T(1) < T(2) < ... < T(A000108(m))) denote the sequence of Young tableaux of shape (2^m) ordered lexicographically with respect to their columns, and let f(T(i), T(j)) denote the first label of disagreement among T(i) and T(j). Then, empirically, if we take away the zeros from (f(T(1), T(A000108(m) - i + 1)) - f(T(A000108(m) - i), T(A000108(m) - i + 1)), i=1..A000108(m)-1), we obtain the first A000108(m - 1) - 1 terms in this sequence. This is illustrated in the below example. - John M. Campbell, Sep 07 2018
The average of the first k terms tends to 3 as k tends to infinity. - Andrew Slattery, Jan 19 2021

			From _John M. Campbell_, Sep 07 2018: (Start)
Letting m = 5, as above let (T(1) < T(2) < ... < T(42)) denote the lexicographic sequence of Young tableaux of shape (2, 2, 2, 2, 2). In this case, the sequence (f(T(1), T(43 - i)) - f(T(42 - i), T(43 - i)), i=1..41) is equal to (0, 1, 0, 0, 2, 0, 1, 0, 0, 2, 0, 0, 0, 3, 0, 1, 0, 0, 2, 0, 1, 0, 0, 2, 0, 0, 0, 3, 0, 1, 0, 0, 2, 0, 0, 0, 3, 0, 0, 0, 0). Removing the zeroes from this tuple, we obtain (1, 2, 1, 2, 3, 1, 2, 1, 2, 3, 1, 2, 3), which gives us the first 13 = A000108(m - 1) - 1 terms in this sequence. For example, the first term in the preceding tuple is 0 since T(1) and T(42) are respectively
   [ 5 10] [ 9 10]
   [ 4 9 ] [ 7 8 ]
   [ 3 8 ] [ 5 6 ]
   [ 2 7 ] [ 3 4 ]
   [ 1 6 ] [ 1 2 ]
and T(41) is equal to
   [ 9 10]
   [ 7 8 ]
   [ 5 6 ]
   [ 2 4 ]
   [ 1 3 ]
so that the first letter of disagreement between T(1) and T(42) is 2, and that between T(41) and T(42) is also 2. (End)

N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
J. West, Generating trees and forbidden subsequences, Proc. 6th FPSAC [ Conference on Formal Power Series and Algebraic Combinatorics ] (1994), pp. 441-450 (see p. 443).

T. D. Noe, Table of n, a(n) for n = 1..4862 (8 iterations)
C. Banderier, A. Denise, P. Flajolet, M. Bousquet-Mélou et al., Generating Functions for Generating Trees, Discrete Mathematics 246(1-3), March 2002, pp. 29-55.
Antti Karttunen, Notes concerning A080237-tree and related sequences.
S. Lehr, J. Shallit and J. Tromp, On the vector space of the automatic reals, Theoret. Comput. Sci. 163 (1996), no. 1-2, 193-210.
James Propp and N. J. A. Sloane, Email, March 1994
Index entries for sequences that are fixed points of mappings

Cf. A000245, A085182. a(n)=A076050(n)-1. Partial sums: A080336. Positions of ones: A085197. The first occurrence of each n is at A000108(n). See A085180.

Nest[ Flatten[ # /. a_Integer -> Range[a + 1]] &, {1}, 6] (* Robert G. Wilson v, Jan 24 2006 *)

a(n)=local(v,w); if(n<1,0,v=[1]; while(#v

From n > 1 onward a(n) = A080237(A081291(n-1)). - Antti Karttunen, Jul 31 2003

More terms from Larry Reeves (larryr(AT)acm.org), Sep 22 2000

A085197 Positions of ones in A007001. Repeating part in each sub-permutation A082315[A014137(n-1)..A014138(n-1)] normalized to begin from 1.

Original entry on oeis.org

1, 3, 6, 8, 11, 15, 17, 20, 22, 25, 29, 31, 34, 38, 43, 45, 48, 50, 53, 57, 59, 62, 64, 67, 71, 73, 76, 80, 85, 87, 90, 92, 95, 99, 101, 104, 108, 113, 115, 118, 122, 127, 133, 135, 138, 140, 143, 147, 149, 152, 154, 157, 161, 163, 166, 170, 175, 177, 180, 182, 185, 189

Offset: 1

Antti Karttunen, Jun 14 2003. Proposed by Wouter Meeussen Mar 15 2003

nonn

From the second term 3 onward also one more than the partial sums of A076050.

Paolo Xausa, Table of n, a(n) for n = 1..16796
Antti Karttunen, Notes concerning A080237-tree and related sequences.

Cf. A085196. First column of A085180.

PositionIndex[Nest[Flatten[Map[Range[#+1] &, #]] &, {1}, 6]][[1]] (* Paolo Xausa, Mar 04 2024 *)

a(n) = A080336(n-1) + n = A082854(A082315(A072795(A081291(n-1)))).

a(n) = n if n < 2, otherwise a(n-1)+A076050(n-1).

A085178 Array A(x,y) giving the position of the y-th x in A080237 listed by rising antidiagonals.

Original entry on oeis.org

1, 3, 2, 8, 5, 4, 22, 13, 7, 6, 64, 36, 18, 10, 9, 196, 106, 50, 21, 12, 11, 625, 328, 148, 59, 27, 15, 14, 2055, 1054, 460, 176, 63, 32, 17, 16, 6917, 3485, 1483, 550, 190, 78, 35, 20, 19, 23713, 11779, 4915, 1780, 598, 195, 92, 41, 24, 23, 82499, 40509, 16641, 5916

Offset: 1

Antti Karttunen, Jun 18 2003

Read by upwards antidiagonals as A(1,1), A(2,1), A(1,2), A(3,1), A(2,2), A(1,3), etc.

Index entries for sequences that are permutations of the natural numbers

Transpose: A085176.
Inverse permutation: A085179.
The first row: A014138, the first column: A085223.
Variant: A085180.

cp's OEIS Frontend

A085181 Inverse permutation to A085180.

Views

Author

Keywords

Links

A007001 Trajectory of 1 under the morphism 1 -> 12, 2 -> 123, 3 -> 1234, etc.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A085197 Positions of ones in A007001. Repeating part in each sub-permutation A082315[A014137(n-1)..A014138(n-1)] normalized to begin from 1.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Formula

A085178 Array A(x,y) giving the position of the y-th x in A080237 listed by rising antidiagonals.

Views

Author

Keywords

Comments

Links

Crossrefs