A125985-OEIS公司

A125985号

Vaille 1997年关于“桥”（Dyck路径）的双射的特征变换。

0, 1, 3, 2, 8, 7, 5, 6, 4, 22, 21, 18, 20, 17, 13, 12, 19, 15, 16, 10, 11, 14, 9, 64, 63, 59, 62, 58, 50, 49, 61, 55, 57, 46, 48, 54, 45, 36, 35, 32, 34, 31, 60, 56, 41, 52, 40, 47, 53, 43, 44, 27, 26, 33, 29, 30, 51, 38, 39, 42, 24, 25, 28, 37, 23, 196, 195, 190, 194, 189 (列表;图表;参考文献;听;历史;文本;内部格式)

	抵消	`0,3`
	评论	`Vaillé在1997年的论文中表明，这种自同构将Dyck路径的“派生”转换为其“压缩”，即，在OEIS术语中，A125985号(A126310型（n））=A126309号(A125985号（n）他也证明了A057515号(A125985号（n））=A126307号（n）和A057514号(A125985号（n））=A072643号（n）-A057514号（n） +1（所有n>=1的后一个恒等式）。`
	链接	`A.卡图恩，n=0..2055的n，a（n）表` `J.Vaille，Une Bijection Propriétés Remarquables des Ponts的解释《欧洲联合期刊》第18卷（1997年），第1期，第117-124页。` `加泰罗尼亚语自同构的符号置换索引条目`
	黄体脂酮素	`（方案：）（定义(A125985号n）(A080300型（上升列表->binexp(A125985号-aux2型(A014486号n））））` `（定义(A125985号-aux2 n）（let循环（列出(A125985号-aux1 n））（z（列表））（m 1））（如果（null？列表）z（循环（cdr列表）（m-join z（汽车列表）m）（+m 1）` `（定义(A125985号-aux1 n）（如果（零？n）（列表）（let（（begin_from（<<1（-（-(A000523号n）(A090996型n））（让循环(A090996型n））（t 0）（n个列表1）（p开始自）（b（如果（=0（A004198bi n开始自））（列表（列表）））s（-1 b））（+t b）第n个列表（>>p 1）（如果（=0（A004198bi n（>>p 1）））（cons（cons）（+b nth_list）（车辆列表））））` `（定义(A125985号-aux2 n）（let循环（列出(A125985号-aux1 n））（z（列表））（m 1））（如果（null？列表）z（循环（cdr列表）（m-join z（汽车列表）m）（+m 1）` `（定义（m-join a b m）（let loop（a）（b b）（c（list）（b车）m）（a环（cdr b）（cons（b车c））（其他（环路（cdr a）b（cons（汽车a）c）））` `（define（rising list->binexp rising list）（let loop（（s 0）（i 0）（h 0）（fs rising list））（cond（（null？fs）（+s（<<（-（<<1 h）1）i））（（（>（car fs）h）（loop s（+i 1）（car fs）（cdr fs）））（else（loop（+s（<<（-（<<1（-1（-h（car fs）））1）i）（+i 2（-h（car fs）））（car fs）（cdr fs）））））））` `（定义（>>ni）（如果（零？i）n（>>（楼层->精确（/n 2））（-i 1）））` `（定义（<<ni）（如果（<=i 0）（>>n（-i））（<<（+n n）（-i 1）））`
	交叉参考	`反向：A125986号.范围内所有循环尺寸的循环数、最大循环尺寸和LCM[A014137号（n-1）。。A014138号（n-1）]由下式给出126291英镑,A126292号和A126293号固定点由下式给出A126300个/A126301号.` `上下文中的序列：A122357号 A122298号 A122337号A073282号 A089859号 130958英镑` `相邻序列：A125982号 A125983号 A125984号A125986号 A125987号 A125988号`
	关键字	`非n`
	作者	`安蒂·卡图恩2007年1月2日`
	状态	`经核准的`