|
| |
|
|
A081878
|
|
Triangle read by rows in which row n begins with n (n=1,2,3,...) and iterates the process of dividing n by 2 if n is even, adding 3 if n is an odd prime, otherwise adding 1; stopping when either 1 or 3 is reached.
|
|
2
| |
|
|
1, 2, 1, 3, 4, 2, 1, 5, 8, 4, 2, 1, 6, 3, 7, 10, 5, 8, 4, 2, 1, 8, 4, 2, 1, 9, 10, 5, 8, 4, 2, 1, 10, 5, 8, 4, 2, 1, 11, 14, 7, 10, 5, 8, 4, 2, 1, 12, 6, 3, 13, 16, 8, 4, 2, 1, 14, 7, 10, 5, 8, 4, 2, 1, 15, 16, 8, 4, 2, 1, 16, 8, 4, 2, 1, 17, 20, 10, 5, 8, 4, 2, 1, 18, 9, 10, 5, 8, 4, 2, 1, 19, 22, 11, 14
(list; graph; refs; listen; history; internal format)
|
|
|
|
OFFSET
| 1,2
|
|
|
COMMENTS
| The number of steps to reach 1 or 3 is in A081879.
The sequence is well-defined: iteration of f (the map defining the sequence) terminates either at 1 or 3 for all values of n>0. Proof: Assuming that all natural numbers < k converge, then if k is even it converges (as f(k)=k/2 < k) and if it is odd, then f(f(k)) is either (k+1)/2 or (k+3)/2 and these are less than k for all k>4.
|
|
|
EXAMPLE
| 1; 2,1; 3; 4,2,1; 5,8,4,2,1; 6,3; 7,10,5,8,4,2,1; ...
|
|
|
PROG
| (PARI) xnprp3(n) = { for(x=1, n, p1 = x; print1(x" "); while(p1>1, if(p1%2==0, p1/=2, if(isprime(p1), p1+=3, p1 = p1+1; )); print1(p1" "); if(p1==3, break) ) ) }
(MIT Scheme) (define (isprime? n) (cond ((< n 4) (> n 1)) (else (let loop ((i (floor->exact (/ n 2)))) (cond ((= 1 i) #t) ((zero? (modulo n i)) #f) (else (loop (-1+ i))))))))
(define (A081878 upto-n) (let outloop ((x 1) (a (list))) (cond ((> x upto-n) (reverse! a)) (else (let inloop ((a (cons x a))) (let ((n (car a))) (cond ((and (not (= 1 n)) (not (= 3 n))) (cond ((even? n) (inloop (cons (/ n 2) a))) ((isprime? n) (inloop (cons (+ n 3) a))) (else (inloop (cons (1+ n) a))))) (else (outloop (1+ x) a)))))))))
|
|
|
CROSSREFS
| Cf. A081879.
Sequence in context: A123390 A162598 A088208 * A088606 A140073 A131389
Adjacent sequences: A081875 A081876 A081877 * A081879 A081880 A081881
|
|
|
KEYWORD
| easy,nonn,tabf
|
|
|
AUTHOR
| Cino Hilliard (hillcino368(AT)gmail.com), Apr 12 2003
|
|
|
EXTENSIONS
| Edited by Antti Karttunen (his-firstname.his-surname(AT)iki.fi) and Jud McCranie (JudMcCranie(AT)ugaalum.uga.edu), Jun 03, 2003
|
| |
|
|
