登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
A072797号 加泰罗尼亚自同构诱导的自然数自逆置换*A072797号操作由编码的括号A014486号. 33
0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 11, 12, 13, 17, 18, 16, 14, 15, 20, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 45, 46, 48, 49, 50, 44, 47, 42, 37, 38, 43, 39, 40, 41, 54, 55, 53, 51, 52, 57, 56, 58, 59, 61, 60, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
这种自同构会对未标记的有根平面二叉树(字母A、B、C表示位于这些节点上的任意子树,()表示隐含的终端节点)上的以下变换产生影响。
.A.…B………..A.…C
..\./.............\./
…x…C…-->……x…B…………()…A……….()……A。。
....\./.............\./.................\./....-->....\./...
…..x…………..x。。。。
(a、b)。c) -->((a.c)。b) ____(()。a) -->(()。a)
就S-表达式而言,如果S-exp的car-element不是(),则此自同构交换S-exp中的cdar和cdr。
有关如何从该定义中获取给定整数序列的详细说明,请参阅Karttune-OEIS-Wiki链接。
链接
A.卡图恩,加泰罗尼亚自形
黄体脂酮素
(Scheme函数在列表结构/S表达式上实现这种自同构,两者都是构造性的(*A072797号)和破坏性(*A072797号!) 版本:)(定义(*A072797号s) (如果(和(配对)(配对))(cons(配对)
(定义(*A072797号! s) (cond((not(pair?s))s)((not(pairs?(cars)))(else(swap!s)(robl!s)
(定义(robl!s)(let((ex-car(cars)))(set-car!s(cddrs))(set-cdr!(cdr s)ex-car)(swap!(cdrs))
(定义(交换!s)(let((ex-car(car s)))(set-car!s(cdr s))(set-cdr!s ex-car)s))
交叉参考
第8行,共行A089840号.的左/右滑动共轭A072796号,即。A072797号(n)=A057163号(A072796号(A057163号(n) )。固定点计数和不同循环计数(在每个范围内受以下限制A014137号A014138号)在中给出A073190号A073191号.
关键词
非n
作者
安蒂·卡图恩2002年6月12日
扩展
方案功能的进一步评论和建设性实施(*A072797号)由添加安蒂·卡图恩,2011年6月4日
状态
经核准的

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2023年6月8日18:04。包含363165个序列。(在oeis4上运行。)