%I#13 2012年6月27日13:54:21
%S 0,1,2,3,4,5,6,8,7,9,10,11,12,13,14,15,19,20,21,16,22,17,18,23,24,25,
%电话:26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,51,52,53,54,55,56,57,
%U 58,59,42,43,60,61,62,44,63,45,46,47,64,48,49,50,65,66,67,68,69
%N加泰罗尼亚自同构*A089865对A014486/A063171编码的括号/二叉树产生的自然数置换。
%当我们对左子树应用双射*A074679并保持右子树不变时,就可以得到二叉树的双射。
%C。。。。B……C……A……B
%C…..//
%C。。A.…x…-->。。。。x..C…………..A..()。。。。。。。。。()..A。。。。
%C…../…………../。。。。。
%C。。。。x。。
%C…../…………../。。。
%C。。。。。。x…………..x。。。。
%C。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。
%C与A154121相比。
%C有关如何从该定义中获取给定整数序列的详细说明,请参阅“加泰罗尼亚自同构”OEIS-Wiki页面。
%H A.Karttunen,<A href=“http://oeis.org/wiki/Catalan_Automorphisms“>加泰罗尼亚自形</a>
%H A.Karttunen,用于计算此序列的c程序</a>
%H<a href=“/index/Per#IntegerPermutationCatAuto”>加泰罗尼亚语自同构诱导的signature-permutation的索引条目</a>
%o(Scheme函数在列表结构/S表达式上实现此自同构,包括构造(*A089865)和破坏(*A089 865!)版本:)
%o(定义(*A089865 s)(cond((配对)(cons(*A074679(汽车))(cdr s)))(其他))
%o(定义(*A089865!s)(如果(对)(*A074679!(车)))
%A089840的Y行4207。A089866的逆运算。a(n)=A069770(A154121(A069770n))。
%Y循环次数:A089844。定点数:A005807(加两个1)。最大循环尺寸:A089410。循环尺寸的LCM:A089845(在A014137和A014138限制的每个范围内)。
%K nonn公司
%0、3
%安提·卡图内恩,2003年12月20日
%E 2011年6月4日,安蒂·卡图宁(_Antti Karttunen)补充的方案实施的进一步意见和建设性版本
|