

A218776


A014486codes for the Beanstalktree growing one natural number at time, starting from the tree of one internal node (1), with the "lesser numbers to the left hand side" construction.


6



2, 12, 50, 204, 818, 3298, 13202, 52834, 211346, 845586, 3382418, 13531282, 54125714, 216503058, 866012306, 3464049426, 13856197778, 55424792722, 221699171474, 886796698770, 3547186799762, 14188747200658, 56754988803218, 227019955225746, 908079820907666
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

1,1


COMMENTS

The active middle region of the triangle (see attached "Wolframesque" illustration) corresponds to the area where the growing tip(s) of the beanstalk are located. Successively larger "turbulences" occurring in that area appear approximately at the row numbers given by A218548. The larger tendrils (the finite sidetrees) are, the longer there is vacillation in the direction of the growing region, which lasts until the growing tip of the infinite stem (A179016) has passed the topmost tips of the tendril. See also A218612.
These are the mirrorimages (in binary tree sense) of the terms in sequence A218778. For more compact versions, see A218780 & A218782.


LINKS

Antti Karttunen, Table of n, a(n) for n = 1..256
Antti Karttunen, Terms a(1)a(4096) drawn as binary strings, in Wolframesque fashion.


EXAMPLE

Illustration how the growing beanstalktree produces the first four terms of this sequence. In this variant, the lesser numbers come to the left hand side:
..........
...\1/.... Coded by A014486(A218777(1)) = A014486(1) = 2 (binary 10).
..........
..........
.\2/......
...\1/.... Coded by A014486(A218777(2)) = A014486(3) = 12 (bin. 1100).
..........
..........
.\2/ \3/..
...\1/.... Coded by A014486(A218777(3)) = A014486(6) = 50 (110010).
..........
..........
....\4/...
.\2/.\3/..
...\1/.... Coded by A014486(A218777(4)) = A014486(15) = 204 (11001100).
..........
Thus the first four terms of this sequence are 2, 12, 50 and 204.


PROG

(Scheme with memoization macro definec from Antti Karttunen's Intseqlibrary):
(definec (A218776 n) (parenthesization>A014486 (tree_for_A218776 n)))
(definec (tree_for_A218776 n) (cond ((zero? n) (list)) ((= 1 n) (list (list))) (else (let ((newtree (copytree (tree_for_a218776 (1+ n))))) (addbudforthenthunbranchingtreewithcarcdrcode! newtree (A218615 n))))))
(define (addbudforthenthunbranchingtreewithcarcdrcode! tree n) (let loop ((n n) (t tree)) (cond ((zero? n) (list)) ((= n 1) (list (list))) ((= n 2) (setcdr! t (list (list)))) ((= n 3) (setcar! t (list (list)))) ((even? n) (loop (/ n 2) (cdr t))) (else (loop (/ ( n 1) 2) (car t))))) tree)
(define (copytree bt) (cond ((not (pair? bt)) bt) (else (cons (copytree (car bt)) (copytree (cdr bt))))))
(define (parenthesization>a014486 p) (let loop ((s 0) (p p)) (if (null? p) s (let* ((x (parenthesization>a014486 (car p))) (w (binwidth x))) (loop (+ (* s (expt 2 (+ w 2))) (expt 2 (1+ w)) (* 2 x)) (cdr p))))))
(define (binwidth n) (let loop ((n n) (i 0)) (if (zero? n) i (loop (floor>exact (/ n 2)) (1+ i))))) ;; (binwidth n) = A029837(n+1).


CROSSREFS

a(n) = A014486(A218777(n)). Cf. A014486, A218615, A218780, A218782, A218787, A218778.
Sequence in context: A202789 A129743 A115243 * A241683 A012423 A012427
Adjacent sequences: A218773 A218774 A218775 * A218777 A218778 A218779


KEYWORD

nonn


AUTHOR

Antti Karttunen, Nov 17 2012


STATUS

approved



