#来自在线整数序列百科全书的问候!http://oeis.org/ 搜索:id:a0772797 显示1-1的1 ;%I a0772797;%S a072797 0,1,1,2,3,3,4,5,5,7,6,8,9,9,10,11,12,12,13,17,18,16,14,15,20,19,19,21,21,22,23,24,25,;%T a072797 26,27,27,28,29,29,30,31,31,32,33,34,34,35,35,36,45,46,46,48,49,50,44,47,47,47,47,12,13,17,18,16,14,15,15,20,20 42,37,38,43,39, %U a072797 40,41,54,55,53,51,52,57,56,58,59,61,60,62,63,64,65,66,67,68,69,70,71 %N A072797由加泰罗尼亚自同构引起的自然数自逆置换*作用于由A014486编码的括号。 %C A072797此自同构对未标记的有根平面二叉树(字母A、B、C表示位于这些节点上的任意子树,并且()表示二、二○%C A072797.A…B……….A…C;%C A072797................将 %C A072797…x…C…-->…x…x…B…B………………………A………A……………A………A………A………A………A…A…A…C A072797….\./………………............................年..年..年;%C A072797….x……………x……………x……………x………x…………%C A072797 7((A A A A)A………………%C A072797((A A A A A A)x…………是的。b) 一。c) -->(a。c) 一。b) (第页)。a) --->(()。a) %C A072797在S表达式中,如果S-exp的car元素不是(),则这种自同构交换S-exp的cdar和cdr。 %C A072797请参阅Karttunen OEIS Wiki链接,以获取如何从该定义获得给定整数序列的详细说明。 %H A072797 a.Karttunen,加泰罗尼亚自同构%沪A072797Catalan自同构诱导的签名置换的索引项%o A072797(Scheme函数在列表结构/S表达式上实现这种自同构,包括构造的(*A072797)和破坏的(*A072797!)版本:)(定义(*A072797 s)(如果(和(配对?s) (配对?(车辆s))(cons(cons(caar s)(cdr s))(cdar s)) %o A072797(定义(*A072797!s) (条件((不是(配对?s) )s)((不是(配对?(汽车s)))s)(其他(交换!s) (罗布!s) (交换!(汽车)s)) %o A072797(定义(机器人!s) (let((ex car(s car)))(设置汽车!s(cddr s))(设置cdr!(cdr s)ex car)(交换!(cdr s))(交换!s) s)) %o A072797(定义(交换!s) (let((ex car(s car)))(设置汽车!s(cdr s))(设置cdr!s ex car)s)) %Y A072797 A089840第8行。A072796的左/右翻转共轭,即A072797(n)=A057163(A072796(A057163(n)))。A073190和A073191中给出了固定点的计数和不同循环的计数(在每个受A014137和A014138限制的范围内)。A073190和A073191中给出了 %K A072797 nonn %O A072797 0,3 %A A072797 %E A072797方案功能的进一步评论和建设性实施(*A072797),由_anttikarttunen 添加,2011年6月4日 %K A072797根据OEIS最终用户许可协议提供:http://OEIS.org/License