%I#7 2024年1月13日11:47:19

%S 0,1,0,2,1,0,3,3,1,0,4,2,1,5,7,3,2,1,6,8,4,3,2,1,0,1,7,6,5,2，

%温度1,0,8,4,5,5,3,2,1,0,9,5,7,6,6,3,2,1,0,17,8,7,4,6,2,1,1,0,11，

%U 18,9,8,7,4,4,3,2,1,0,12,20,14,13,8,5,5,4,2,1,1,0,13,21,10,12,13

%表A089840中非递归加泰罗尼亚自同构的REDRONI-变换的N个签名置换。

%C行n是加泰罗尼亚自同构的签名置换，该签名置换是使用递归方案“REDRONI”从表A089840中的第n个非递归自同构获得的。在这个递归方案中，在算法沿cdr分支（二叉树上下文中的右侧树）递归后，在二叉树的根上应用给定的自同构，但在算法递归到car-branch之前（二叉树的左侧，相对于分支的新方向，可能会被应用的自同构改变）。也就是说，当它被解释为二叉树时，这对应于加泰罗尼亚结构的反向深度顺序遍历。相关的方案程序为REDRONI和！REDRONI可以用于从任何构造性（或分别是：破坏性）实现的自同构中获得这样的转换自同构。本表中每一行仅出现一次，类似注释如表A122202适用于此处，例如A089840的行也出现在此处。这个变换除了平凡的恒等式自同构*A001477外，还有许多不动点：至少*A069770、*A089859和*A129604保持不变。表A130400中给出了这些排列的逆矩阵。

%o（MIT/GNU方案）

%o（定义（！REDRONI f！）

%Y参考此表的前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:A13093，15:A089859，16:A130944，18:A130394，19:A130366，20:A130928，21:A130998。其他行：第1654694:A073280行，第1654720:A129604行。

%Y也可参考表A089840、A122201-A122204、A130402-A130403。

%Y Cf.As序列在n=80时首次与A130400不同，其中a（n）=14，而A130401（n）=11。

%K nonn，表

%0、4

%2007年6月11日，安蒂·卡图宁