|
Search: id:A082858
|
|
|
| A082858 |
|
Array A(x,y): the greatest common subtree (intersect) of the binary trees x and y, (x,y) running as (0,0),(1,0),(0,1),(2,0),(1,1),(0,2) and each index referring to a binary tree encoded by A014486(j). |
|
+0
5
|
|
| 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1, 2, 1, 0, 0, 1, 1, 1, 1, 0, 0, 1, 2, 3, 2, 1, 0, 0, 1, 2, 1, 1, 2, 1, 0, 0, 1, 2, 1, 4, 1, 2, 1, 0, 0, 1, 1, 3, 2, 2, 3, 1, 1, 0, 0, 1, 1, 3, 2, 5, 2, 3, 1, 1, 0, 0, 1, 2, 3, 1, 2, 2, 1, 3, 2, 1, 0, 0, 1, 2, 1, 1, 1, 6, 1, 1, 1, 2, 1, 0, 0, 1, 2, 1, 4, 1, 3, 3, 1, 4, 1, 2, 1, 0, 0, 1, 2, 1, 4, 2, 3, 7, 3, 2, 4, 1, 2, 1, 0
(list; table; graph; listen)
|
|
|
OFFSET
|
0,13
|
|
|
COMMENT
|
Note that together with A082860 this forms a distributive lattice, thus it is possible to compute this function also with the binary AND-operation (A004198) with the help of appropriate mapping functions. I.e. we have A(x,y) = A082857(A004198(A082856(x), A082856(y))).
|
|
LINKS
|
A. Karttunen, Alternative Catalan Orderings (with the complete Scheme source)
Index entries for sequences related to lattices
|
|
PROGRAM
|
(Scheme-functions showing the essential idea. For the full source, follow the "Alternative Catalan Orderings" link.)
(define (A082858 n) (A080300 (parenthesization->binexp (GCSB (binexp->parenthesization (A014486 (A025581 n))) (binexp->parenthesization (A014486 (A002262 n)))))))
(define (GCSB t1 t2) (cond ((or (not (pair? t1)) (not (pair? t2))) (list)) (else (cons (GCSB (car t1) (car t2)) (GCSB (cdr t1) (cdr t2))))))
(define (A082858v2 n) (A082857 (A004198bi (A082856 (A025581 n)) (A082856 (A002262 n)))))
|
|
CROSSREFS
|
Cf. A072764. The lower/upper triangular region: A082859. Cf. A080300, A025581, A002262.
Sequence in context: A118229 A117201 A060953 this_sequence A115953 A143379 A136567
Adjacent sequences: A082855 A082856 A082857 this_sequence A082859 A082860 A082861
|
|
KEYWORD
|
nonn,tabl
|
|
AUTHOR
|
Antti Karttunen (MyFirstname.MySurname(AT)iki.fi) May 06 2003
|
|
|
Search completed in 0.002 seconds
|
