登录
按标准词典顺序对平面二叉树重新排序引起的自然数置换(A014486级)使用“算术全局排序算法”,使用packA048680oA054238tr作为打包双射N X N->N。
4

%I#5 2014年5月1日02:43:29

%S 0,1,2,3,4,7,5,6,11,9,28,15,17,62,8,13,10,14,45,18,24,27100,36187,

%电话:117,911292,22,70,38,72680,931112951229,16,47,26,29102.12,20,23,

%U 58302,731891472090,21,34,39,35113,44,6116100162150179477号

%N使用“算术全局排序算法”,使用packA048680oA054238tr作为压缩双射,对按标准词典顺序给出的平面二叉树(A014486)进行重新排序,从而引起自然数的置换。

%H A.Karttunen,<A href=“网址:http://www.iki.fi/~kartturi/matikka/Nekomorphisms/gatomorf.htm“>多形性</a>

%H<a href=“/index/Per#IntegerPermutation”>自然数排列序列的索引项</a>

%o(下面的Scheme函数显示了基本思想。要获得完整的源代码,请访问“Gatomorphisms”链接。)

%o(定义A072656(lexrank->arithrank-bijection包A048680oA054238))

%o(define(lexrank->arithrank-bijection packfun)(lambda(n)(rank-bintree(binexp->括号(A014486 n)))

%o(define(rank-bintree bt packfun)(cond((not(pair?bt)))0)(else(1+(packfunt(rank-bintree(car bt)packfum))(等级bintree(cdr-bt)packfun))))

%o(定义(包A048680oA054238tr x y)(A048680(包A054238 tr x x y))

%o(定义(包A054238tr x y)(+(A000695 y)(*2(A000695x)))

%Y逆置换:A072659。另请参阅A014486、A000695、A054238、A048680、A071651、A072634、A07263、A072646、A072656和A072660。

%K nonn公司

%0、3

%A _Antti Karttunen_,2002年6月2日