登录
A123503型
非负整数的对合:表253行非递归Catalan自同构的签名置换A089840号.
6
0, 1, 2, 3, 4, 6, 5, 8, 7, 9, 10, 14, 16, 19, 11, 15, 12, 21, 22, 13, 20, 17, 18, 23, 24, 25, 26, 27, 37, 38, 42, 44, 47, 51, 53, 56, 60, 28, 29, 39, 43, 52, 30, 40, 31, 58, 59, 32, 62, 63, 64, 33, 41, 34, 57, 61, 35, 54, 45, 46, 36, 55, 48, 49, 50, 65, 66, 67, 68, 69, 70, 71
抵消
0,3
评论
这个自同构要么交换(如果A057515号(n) >1)前两个顶层元素(一般平面树的,如*A072796号do),否则(如果n>1,A057515号(n) =1)交换S表达式左侧子树的边(当作为二叉树查看时,如*A089854号确实如此)。如下所示,其中字母A、B和C表示位于这些节点上的任意子树,()表示隐含的终端节点。
……B……C………….A………..C……..A……..B……..B.A
....\./...............\./..............\./.............\./
.A.…x…..-->。……B……x………….x.()。...-->.…x.()
..\./...............\./..................\./.............\./
…x(A072796号).…x…………..x(A089854号)...x个
(a.(b.c))-->(b.(a.c))/(a.b)。())-->((b.a)。 ())
这是表中的第一个多lause自同构A089840号它不能表示为两个较小的非递归自同构的组合,该属性也由*A123499型和*A123500个.
黄体脂酮素
(Scheme函数,作用于S表达式的自同构的破坏性实现:)(定义(*A123503型!s)(cond((null?s)s)((pair?(cdr))(*A072796号!s))(否则(*A089854号!s))s)
交叉参考
关键词
非n
作者
Antti Karttunen公司2006年10月11日
状态
经核准的