登录
环递归a=s(b,c),b=s(c,a),c=(c,c)诱导的加泰罗尼亚双射的特征变换,从状态b开始。

%I#4 2012年3月31日13:21:18

%S 0,1,3,2,8,7,6,4,5,21,22,20,18,17,19,16,14,9,10,15,11,12,13,58,59,62,

%第63、64、57、65、50、49、54、48、45、46、56、60、53、47、44、51、42、37、23、24、38、25页,

%U 26,27,52,43,39,28,29,40,30,31,32,41,33,34,35,36170171174175176

%由环递归a=s(b,c),b=s(c,a),c=(c,c)诱导的加泰罗尼亚双射的N符号置换,从状态b开始。

%C这个加泰罗尼亚双射是由第144页提到的第二个2861群生成器产生的,该生成器是“由2个字母表上的3状态自动机生成的群的分类”论文中提到的。具体而言,*A154457=psi(A154447),其中同构psi在A153141中给出(请参阅此处的进一步注释)。

%H A.Karttunen,n的表格,n=0..2055时的A(n)</a>

%H Bondarenko、Grigorchuk、Kravchenko、Muntyan、Nekrashevych、Savchuk、Sunic,<a href=“http://arxiv.org/abs/0803.3555“>由2字母表上的3状态自动机生成的组的分类,第144页。

%H<a href=“/index/Per#IntegerPermutationCatAuto”>加泰罗尼亚自同构的签名置换索引条目</a>

%o(Scheme函数,作用于S表达式的此自同构的破坏性实现:)(define(*A154457!S)(cond((pair?S)(*A069770!S))

%Y反向:A154458。a(n)=A057163(A154458(A057163(n)))。

%K nonn公司

%0、3

%安蒂·卡图内恩,2009年1月17日