%I#8 2012年3月31日13:21:11
%S 0,1,0,2,1,0,3,2,1,2,0,4,3,2,0,5,4,2,0,6,5,3,3,1,0,7,6,4,4,3,
%温度1,0,8,8,6,5,4,3,2,1,0,9,7,7,6,5,4,3,1,0,10,9,8,7,6,5,4,3,2,0,11,
%U 10,9,8,7,6,5,4,3,2,1,0,12,11,10,9,8、7,6,1,4,2,1,1,0,13,11,0,9、8
%表A089840中非递归加泰罗尼亚自同构的RIBS变换的N签名置换。
%C行n是加泰罗尼亚自同构的签名置换,该签名置换是使用递归方案“RIBS”从表A089840中的第n个非递归自同构获得的。
%C在这个递归方案中,当给定的自同构被解释为一般树时,它被应用于加泰罗尼亚结构的所有(顶层)子树。该表中的排列构成一个可数群,与A089840中的群同构。(RIBS变换给出了组同构。)
%C此外,本表第n行也是表A122203和A122204中的第A123694(n)行。如果序列f给出了自同构A089840[n]的不动点计数,则自同构P089840[A123694(n)]的不动点计数由CONV(f,A000108)给出(其中CONV代表卷积),自同构A122200[n]不动点的计数由INVERT(RIGHT(f))给出。
%C相关方案程序RIBS和!RIBS可用于从任何构造性或破坏性实现的自同构中获得这样的转换自同构。
%C来自Antti Karttunen的评论,2008年5月11日:该序列在初始条件下与A025581一致,但随后与之背离。
%D A.Karttunen,正在编写论文,可通过电子邮件获取草稿。
%H<a href=“/index/Per#IntegerPermutationCatAuto”>加泰罗尼亚自同构的签名置换索引条目</a>
%o(方案)(定义(RIBS foo)(λ(s)(映射foo))
%o(定义(!RIBS foo!)(letrec((bar!(λ
%Y第0行(身份置换):A001477,第1行:A122282。另请参见表A089840、A122201-A122204、A122283-A122284、A122285-A122288、A122289-A122290。
%K nonn,表
%0、4
%安提·卡图内恩,2006年9月1日
|