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