cp's OEIS Frontend

A218780 A014486-codes for the compact representation of Beanstalk-tree, growing by two natural numbers at time, starting from the tree of one internal node (1) and two leaves (2 and 3), with the lesser numbers coming to the left hand side.

%I A218780 #11 Nov 02 2014 12:18:35
%S A218780 2,10,44,180,728,2928,11720,46888,187568,750304,3001232,12004960,
%T A218780 48019856,192079504,768318048,3073272224,12293088960,49172355968,
%U A218780 196689423936,786757695872,3147030783552,12588123134528,50352492538240,201409970153216,805639880612992
%N A218780 A014486-codes for the compact representation of Beanstalk-tree, growing by two natural numbers at time, starting from the tree of one internal node (1) and two leaves (2 and 3), with the lesser numbers coming to the left hand side.
%C A218780 The active middle region of the triangle (see the 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 divided by two. The larger tendrils, (the finite side-trees) 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.
%C A218780 These are the mirror-images (in binary tree sense) of the terms in sequence A218782. For less compact versions, see A218776 & A218778.
%H A218780 A. Karttunen, <a href="/A218780/b218780.txt">Table of n, a(n) for n = 1..256</a>
%H A218780 A. Karttunen, <a href="/A218780/a218780.png">Terms a(1)-a(4096) drawn as binary strings, in Wolframesque fashion.</a>
%e A218780 Illustration how the growing beanstalk-tree produces the first four terms of this sequence. In this "compact" variant, each successive pair of numbers ((2,3), (4,5), (6,7), etc.) adds a new bud (\/) to the beanstalk, with the lesser numbers coming to the left hand side:
%e A218780 ----------
%e A218780 ..2...3...
%e A218780 ...\./.... Coded by A014486(A218781(1)) = A014486(1) = 2 (binary 10).
%e A218780 ....1.....
%e A218780 ----------
%e A218780 ....4...5.
%e A218780 .....\./..
%e A218780 ..2...3...
%e A218780 ...\./.... Coded by A014486(A218781(2)) = A014486(2) = 10 (bin. 1010).
%e A218780 ....1.....
%e A218780 ----------
%e A218780 ..6...7...
%e A218780 ...\./....
%e A218780 ....4...5.
%e A218780 .....\./..
%e A218780 ..2...3...
%e A218780 ...\./.... Coded by A014486(A218781(3)) = A014486(5) = 44 (101100).
%e A218780 ....1.....
%e A218780 ----------
%e A218780 ....8...9.
%e A218780 .....\./..
%e A218780 ..6...7...
%e A218780 ...\./....
%e A218780 ....4...5.
%e A218780 .....\./..
%e A218780 ..2...3...
%e A218780 ...\./.... Coded by A014486(A218781(4)) = A014486(12) = 180 (10110100).
%e A218780 ....1.....
%e A218780 ----------
%e A218780 Thus the first four terms of this sequence are 2, 10, 44 and 180.
%o A218780 (Scheme with memoization macro definec from _Antti Karttunen_'s Intseq-library):
%o A218780 (definec (A218780 n) (parenthesization->A014486 (tree_for_A218780 n)))(definec (tree_for_A218780 n) (cond ((zero? n) (list)) ((= 1 n) (list (list))) (else (let ((new-tree (copy-tree (tree_for_A218780 (-1+ n))))) (add-bud-for-the-n-th-unbranching-tree-with-car-cdr-code! new-tree (A218791 n))))))
%o A218780 (define (add-bud-for-the-n-th-unbranching-tree-with-car-cdr-code! tree n) (let loop ((n n) (t tree)) (cond ((zero? n) (list)) ((= n 1) (list (list))) ((= n 2) (set-cdr! t (list (list)))) ((= n 3) (set-car! t (list (list)))) ((even? n) (loop (/ n 2) (cdr t))) (else (loop (/ (- n 1) 2) (car t))))) tree)
%o A218780 (define (copy-tree bt) (cond ((not (pair? bt)) bt) (else (cons (copy-tree (car bt)) (copy-tree (cdr bt))))))
%o A218780 (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))))))
%o A218780 (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).
%Y A218780 a(n) = A014486(A218781(n)). Cf. A014486, A218791, A218776, A218778, A218782, A218787.
%K A218780 nonn
%O A218780 1,1
%A A218780 _Antti Karttunen_, Nov 17 2012