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

 

标志
提示
(来自的问候整数序列在线百科全书!)
搜索: a122342-识别码:a122342
显示找到的3个结果中的1-3个。 第页1
    排序:关联|参考文献||修改的|创建     格式:长的|短的|数据
A122202号 表中非递归Catalan自同构的KROF-变换的签名置换A089840美元. +10
36
0, 1, 0, 2, 1, 0, 3, 3, 1, 0, 4, 2, 2, 1, 0, 5, 8, 3, 2, 1, 0, 6, 7, 4, 3, 2, 1, 0, 7, 6, 6, 5, 3, 2, 1, 0, 8, 5, 5, 4, 5, 3, 2, 1, 0, 9, 4, 7, 6, 6, 6, 3, 2, 1, 0, 10, 22, 8, 7, 4, 5, 6, 3, 2, 1, 0, 11, 21, 9, 8, 7, 4, 4, 4, 3, 2, 1, 0, 12, 20, 14, 13, 8, 7, 5, 5, 4, 3, 2, 1, 0, 13, 18, 10, 12, 13 (列表;桌子;图表;参考;;历史;文本;内部格式)
抵消
0.4
评论
第n行是从表中的第n个非递归自同构获得的加泰罗尼亚自同构的签名置换A089840美元使用递归方案“KROF”。在这个递归方案中,算法首先向下递归到两个分支,然后在二叉树的根上应用给定的自同构。也就是说,当它被解释为二叉树时,这对应于加泰罗尼亚结构的后序(后缀)遍历。相关方案涉及KROF和!KROF可用于从任何构造性或破坏性实现的自同构中获得这样的转换自同构。此表中每行只出现一次。这些排列的倒数可以在表中找到A122201型.
递归方案KROF等价于递归方案ENIPS的组合(如2004年12月1日)和NEPEED(如A122284号)也就是说,KROF(f)=NEPEED(ENIPS(f))适用于所有加泰罗尼亚自同构f。由于“折叠的普遍性”,这些递归格式具有定义良好的逆,即它们是所有加泰罗自同构集上的双射映射。具体地说,如果g=KROF(f),那么(fs)=(g(cons(g^{-1}(cars))(g^}-1},cdrs)),也就是说,为了获得在递归方案KROF下给出g的自同构f,我们将其自身的逆函数应用于s表达式的car-分支和cdr-分支(即二叉树上下文中的左子树和右子树)来合成g。这意味着对于表的任何非递归自同构fA089840美元,KROF^{-1}(f)也在A089840美元,这又意味着表的所有行A089840美元也可以在表中找到A122202号(例如,第1行A089840美元(A069770号)此处作为第1654720行出现),此外,表A122290号包含两个表的行,A122202号A089840美元作为其子集。类似的注释适用于中描述的递归方案FORKA122201型. -安蒂·卡图恩,2007年5月25日
参考文献
A.Karttunen,正在准备论文,可通过电子邮件获取草稿。
链接
黄体脂酮素
(麻省理工学院方案:)(define(KROF foo)(letrec((bar(lambda(s)(fold-right(lambda(x y)(foo(cons(bar x)y))))bar))
(定义(!KROF foo!)(letrec((bar!(lambda(s)(cond((pair?s)(bar
交叉参考
此表的前22行:第0行(身份置换):A001477号, 1:A057163号, 2:A057512号, 3:A122342号, 4:A122348号, 5:A122346号, 6:A122344号, 7:122350英镑, 8:A082326号, 9:A122294号, 10:A122292号, 11:A082359号, 12:A074683号, 13:A122358号, 14:A122360型, 15:A122302号, 16:A122362号, 17:A074682号, 18:A122296号, 19:A122298号, 20:A122356号, 21:A122354号.其他行:第4069行:A082355号,第65518行:A082357号,第79361行:A123494号.
第1654720行:A069770号.
关键词
非n,
作者
安蒂·卡图恩2006年9月1日
状态
经核准的
A130401型 表中非递归Catalan自同构的REDRONI-变换的签名置换A089840美元. +10
17
0, 1, 0, 2, 1, 0, 3, 3, 1, 0, 4, 2, 2, 1, 0, 5, 7, 3, 2, 1, 0, 6, 8, 4, 3, 2, 1, 0, 7, 6, 6, 5, 3, 2, 1, 0, 8, 4, 5, 4, 5, 3, 2, 1, 0, 9, 5, 7, 6, 6, 6, 3, 2, 1, 0, 10, 17, 8, 7, 4, 5, 6, 3, 2, 1, 0, 11, 18, 9, 8, 7, 4, 4, 4, 3, 2, 1, 0, 12, 20, 14, 13, 8, 7, 5, 5, 4, 3, 2, 1, 0, 13, 21, 10, 12, 13 (列表;桌子;图表;参考;;历史;文本;内部格式)
抵消
0.4
评论
第n行是从表中的第n个非递归自同构获得的加泰罗尼亚自同构的签名置换A089840美元使用递归方案“REDRONI”。在这个递归方案中,在算法沿cdr分支(二叉树上下文中的右侧树)递归后,在二叉树的根上应用给定的自同构,但在算法递归到car分支之前(相对于分支的新方向,二叉树的左手侧,可能因应用的自同构而改变)。也就是说,当它被解释为二叉树时,这对应于加泰罗尼亚结构的反向深度顺序遍历。相关的方案程序为REDRONI和!REDRONI可以用于从任何构造性(或分别是:破坏性)实现的自同构中获得这样的转换自同构。该表中的每一行仅出现一次,以及给出的类似注释,例如表2002年12月1日在此处应用,例如A089840美元所有这些都发生在这里。这个变换除了平凡的恒等式自同构之外还有许多不动点*A001477号:至少*A069770号, *A089859号和*A129604型保持原样。这些排列的倒数可以在表中找到130400澳元.
链接
黄体脂酮素
(MIT/GNU方案)(定义(REDRONI f)(letrec(g(λ
(定义(!REDRONI f!)(letrec((g!(lambda(s)(cond((pair?s)(g
交叉参考
参见本表前22行:第0行(身份置换):A001477号, 1:A069770号, 2:A073285号, 3:A122342号, 4:A130386号, 5:A130384号, 6:A130382号, 7:A122349号, 8:A082342号, 9:A130392号, 10:A130390型, 11:A130388号, 12:A071658号, 13:A130930型, 14:A130932号, 15:A089859号, 16:A130934号, 18:A130394号, 19:A130396号, 20:130928英镑, 21:130398英镑.其他行:第1654694行:A073280号,第1654720行:A129604型.
参见。序列不同于A130400个第一次,n=80,其中a(n)=14,而A130401型(n) =11。
关键词
非n,
作者
安蒂·卡图恩2007年6月11日
状态
经核准的
A122341号 第3行,共行A122201型. +10
0、1、2、3、5、4、6、7、8、12、13、11、10、9、15、14、16、18、17、19、20、21、22、32、31、34、35、36、30、33、29、26、27、28、25、24、23、40、41、39、38、37、43、42、47、49、50、44、48、46、45、52、51、53、55、54、56、57、59、58、60、61、62、64、91、92、90、88、87、97、96 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
由第三个非递归自同构导出的自同构的符号置换*A089850型使用递归模式FORK(请参见A122201型定义)。
链接
交叉参考
反向:A122342号.
关键词
非n
作者
安蒂·卡图恩2006年9月1日
状态
经核准的
第页1

搜索在0.004秒内完成

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

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

上次修改时间:美国东部夏令时2024年4月26日12:36。包含371997个序列。(在oeis4上运行。)