A003605 -id:A003605 - cp's OEIS frontend

A080711 a(0) = 2; for n>0, a(n) is taken to be the smallest positive integer greater than a(n-1) which is consistent with the condition "n is a member of the sequence if and only if a(n) is a multiple of 3".

2, 4, 6, 7, 9, 10, 12, 15, 16, 18, 21, 22, 24, 25, 26, 27, 30, 31, 33, 34, 35, 36, 39, 40, 42, 45, 48, 51, 52, 53, 54, 57, 58, 60, 63, 66, 69, 70, 71, 72, 75, 76, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 90, 93, 96, 97, 98, 99, 102, 103, 105, 106, 107, 108, 109, 110, 111, 112

Offset: 0

N. J. A. Sloane, Mar 05 2003

B. Cloitre, N. J. A. Sloane and M. J. Vandermast, Numerical analogues of Aronson's sequence, J. Integer Seqs., Vol. 6 (2003), #03.2.2.
B. Cloitre, N. J. A. Sloane and M. J. Vandermast, Numerical analogues of Aronson's sequence (math.NT/0305308)
Index entries for sequences of the a(a(n)) = 2n family

Cf. A079000, A003605, A079253, A080710, A080712.

{a=2; m=[2]; for(n=1,68,print1(a,","); a=a+1; if(m[1]==n, while(a%3>0,a++); m=if(length(m)==1,[],vecextract(m,"2..")),if(a%3==0,a++)); m=concat(m,a))}

a(a(n)) = 3*(n+2).

More terms and PARI code from Klaus Brockhaus, Mar 06 2003

A088720 Unique monotone sequence satisfying a(a(a(n))) = 2n.

Original entry on oeis.org

4, 5, 6, 8, 9, 10, 11, 12, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 28, 30, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 50, 52, 54, 56, 58, 60, 62, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89

Offset: 3

Colin Mallows, Oct 16 2003

For k >= 1 and m >= 2, a monotone a(n) such that a^(k+1)(n) = m*n is unique only when m = 2 or (k,m) = (1,3).

Numbers k > 2 whose binary representation starts with 10 or ends with 0. - Yifan Xie, Jan 21 2025

			a(a(a(3))) = a(a(4)) = a(5) = 6.

Robert Israel, Table of n, a(n) for n = 3..10000
Hsien-Kuei Hwang, S. Janson, and T.-H. Tsai, Exact and asymptotic solutions of the recurrence f(n) = f(floor(n/2)) + f(ceiling(n/2)) + g(n): theory and applications, Preprint, 2016.
Hsien-Kuei Hwang, S. Janson, and T.-H. Tsai, Exact and Asymptotic Solutions of a Divide-and-Conquer Recurrence Dividing at Half: Theory and Applications, ACM Transactions on Algorithms, 13:4 (2017), #47; DOI: 10.1145/3127585.

Cf. A007378, A003605, A088721.

seq(op([seq(n+2^m,n=3*2^m .. 5*2^m-1), seq(2*n-4*2^m, n=5*2^m..6*2^m-1)]), m=0..10); # Robert Israel, Apr 05 2017

a(n)={my(m=logint(n/3, 2)); if(n<5*2^m, n+2^m, 2*(n-2^(m+1)))}; \\ Yifan Xie, Jan 31 2024

For a^(k+1)(n) = 2n, we have for (k+1)2^m <= n <= (2k+1)2^m, a(n) = n+2^m; for (2k+1)2^m <= n <= (2k+2)2^m, a(n) = 2n-2k*2^m.
From Robert Israel, Apr 05 2017: (Start)
a(2n) = 2*a(n).
a(4n+1) = a(2n+1) + 2*a(n).
a(4n+3) = 3*a(2n+1) - 2*a(n).
G.f. g(z) satisfies g(z) = 4*z^3 + 5*z^4 + 2*z^5 - 3*z^7 + 5*z^9 - 4*z^11 + (2+1/(2*z)+3*z/2)*g(z^2) - (1/(2*z)+3*z/2)*g(-z^2) + (2*z-2*z^3)*g(z^4).
(End)

More terms from John W. Layman, Oct 18 2003

A079351 a(1)=3; for n > 1, a(n) is the smallest integer greater than a(n-1) consistent with the condition "n is in the sequence if and only if a(n) is congruent to 0 (mod 5)".

Original entry on oeis.org

3, 4, 5, 10, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 30, 35, 40, 45, 50, 55, 60, 65, 70, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115

Offset: 1

Benoit Cloitre, Feb 23 2003

nonn

Equivalently: unique monotonic sequence satisfying a(1)=3, a(a(n))=5n.

Benoit Cloitre, N. J. A. Sloane and M. J. Vandermast, Numerical analogues of Aronson's sequence, J. Integer Seqs., Vol. 6 (2003), #03.2.2.
Benoit Cloitre, N. J. A. Sloane and M. J. Vandermast, Numerical analogues of Aronson's sequence, arXiv:math/0305308 [math.NT], 2003.
Index entries for sequences of the a(a(n)) = 2n family

Cf. A079000, A080589, A003605.

a(3*5^k + j) = 5^(k+1) + 3j + 2|j|, k >= 0, -2*5^k <= j < 2*5^k.

More terms from Matthew Vandermast, Mar 13 2003

A080712 a(0) = 4; for n>0, a(n) is taken to be the smallest positive integer greater than a(n-1) which is consistent with the condition "n is a member of the sequence if and only if a(n) is a multiple of 3".

Original entry on oeis.org

4, 5, 7, 8, 9, 12, 13, 15, 18, 21, 22, 23, 24, 27, 28, 30, 31, 32, 33, 34, 35, 36, 39, 42, 45, 46, 47, 48, 51, 52, 54, 57, 60, 63, 66, 69, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 84, 87, 90, 91, 92, 93, 96, 97, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111

Offset: 0

N. J. A. Sloane, Mar 05 2003

B. Cloitre, N. J. A. Sloane and M. J. Vandermast, Numerical analogues of Aronson's sequence, J. Integer Seqs., Vol. 6 (2003), #03.2.2.
B. Cloitre, N. J. A. Sloane and M. J. Vandermast, Numerical analogues of Aronson's sequence (math.NT/0305308)
Index entries for sequences of the a(a(n)) = 2n family

Cf. A079000, A003605, A079253, A080711, A080710.

{a=4; m=[4]; for(n=1,67,print1(a,","); a=a+1; if(m[1]==n, while(a%3>0,a++); m=if(length(m)==1,[],vecextract(m,"2..")),if(a%3==0,a++)); m=concat(m,a))}

a(a(n)) = 3*(n+3).

More terms and PARI code from Klaus Brockhaus, Mar 06 2003

A088721 Unique monotone sequence satisfying a(a(a(a(n)))) = 2n.

Original entry on oeis.org

5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 36, 38, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 66, 68, 70, 72, 74, 76, 78, 80, 81

Offset: 4

Colin Mallows, Oct 12 2003

For all k >= 0, there is a unique sequence satisfying a^(k+1)=2n. The first differences are 1^k, 2^1, 1^2k, 2^2, 1^4k, 2^4, 1^8k, ...

H.-K. Hwang, S. Janson, T.-H. Tsai. Exact and asymptotic solutions of the recurrence f(n) = f(floor(n/2)) + f(ceiling(n/2)) + g(n): theory and applications. Preprint, 2016.
H.-K. Hwang, S. Janson, T.-H. Tsai. Exact and Asymptotic Solutions of a Divide-and-Conquer Recurrence Dividing at Half: Theory and Applications. ACM Transactions on Algorithms, 13:4 (2017), #47. DOI:10.1145/3127585.

Cf. A007378, A003605, A088720.

First differences are 1^3, 2^1, 1^6, 2^2, 1^12, 2^4, 1^24, 2^8, ...

cp's OEIS Frontend

A080711 a(0) = 2; for n>0, a(n) is taken to be the smallest positive integer greater than a(n-1) which is consistent with the condition "n is a member of the sequence if and only if a(n) is a multiple of 3".

Views

Author

Keywords

Links

Crossrefs

Programs

PARI

Formula

Extensions

A088720 Unique monotone sequence satisfying a(a(a(n))) = 2n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

PARI

Formula

Extensions

A079351 a(1)=3; for n > 1, a(n) is the smallest integer greater than a(n-1) consistent with the condition "n is in the sequence if and only if a(n) is congruent to 0 (mod 5)".

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

Extensions

A080712 a(0) = 4; for n>0, a(n) is taken to be the smallest positive integer greater than a(n-1) which is consistent with the condition "n is a member of the sequence if and only if a(n) is a multiple of 3".

Views

Author

Keywords

Links

Crossrefs

Programs

PARI

Formula

Extensions

A088721 Unique monotone sequence satisfying a(a(a(a(n)))) = 2n.

Views

Author

Keywords

Comments

Links

Crossrefs

Formula