这种自同构对未标记的有根平面二叉树(字母A、B、C表示位于这些节点上的任意子树,()表示隐含的终端节点)。
.A…B……….A…C
..\./.............\./
…x…C…-->……x…B……………()…A…………()…A…..()…A。。
....\./.............\./.................\./....-->....\./...
……x……………x…………x…………x…………x。。。。
((a.b.c)-->((a.c.b)-->(().a)-->(().a)
在S表达式方面,如果S-exp的car元素不是()的话,这种自同构交换S-exp的cdar和cdr。
请参阅Karttunen OEIS Wiki链接,了解如何从该定义中获得给定整数序列的详细说明。
|