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