|
| |
|
|
A081246
|
|
Triangle in which (2^n+1)st row gives trajectory of x=2^n+1 under the map x -> x/2 if x is even, x -> x+1 if x is odd, stopping when reaching 1.
|
|
0
| |
|
|
3, 4, 2, 1, 5, 6, 3, 4, 2, 1, 9, 10, 5, 6, 3, 4, 2, 1, 17, 18, 9, 10, 5, 6, 3, 4, 2, 1, 33, 34, 17, 18, 9, 10, 3, 4, 2, 1, 65, 66, 33, 34, 17, 18, 9, 10, 5, 6, 3, 4, 2, 1, 129, 130, 65, 66, 33, 34, 17, 18, 9, 10, 5, 4, 2, 1, 257, 258, 129, 130, 65, 66, 33, 34, 17, 18, 9, 10, 5, 6, 3, 4, 2, 1
(list; graph; refs; listen; history; internal format)
|
|
|
|
OFFSET
| 1,1
|
|
|
COMMENTS
| This is the 2^n+1 conjecture and is easily proved to converge to 1. The number of steps required to reach 1 is always 2n+2. Since (2^(n)+1+1)/2 = 2^(n-1)+1 (2^(n-1)+1+1)/2 = 2^(n-2)+1 .... (2^(n-n+1)+1+1)/2 = 2^(n-n)+1 = 2 2/2 = 1 thus 1 is guaranteed.
|
|
|
EXAMPLE
| n = 5 -> 33,34,17,18,9,10,5,6,3,4,2,1
|
|
|
MAPLE
| pxpr(n) = { for(x=1, n, x1=2^x+1; print1(x1" "); while(x1>1, if(x1%2==0, x1/=2, x1 = x1+1); print1(x1" "); ) ) }
|
|
|
CROSSREFS
| Sequence in context: A201909 A070352 A136374 * A096411 A205786 A143486
Adjacent sequences: A081243 A081244 A081245 * A081247 A081248 A081249
|
|
|
KEYWORD
| easy,nonn,tabf
|
|
|
AUTHOR
| Cino Hilliard (hillcino368(AT)gmail.com), Apr 19 2003
|
| |
|
|
