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

 

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

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

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

上次修改时间:美国东部夏令时2024年7月26日21:23。包含374636个序列。(在oeis4上运行。)