登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 


搜索: a089857-编号:a089858
    排序:关联|参考文献||被改进的|创建     格式:长的|短的|数据
非递归Catalan自同构的签名置换(即有限平面二叉树的双射,从根到无限距离没有无限递归),根据其定义子句中所需的最小打开节点数进行排序。
+10
86
0, 1, 0, 2, 1, 0, 3, 3, 1, 0, 4, 2, 2, 1, 0, 5, 7, 3, 2, 1, 0, 6, 8, 4, 3, 2, 1, 0, 7, 6, 6, 5, 3, 2, 1, 0, 8, 4, 5, 4, 5, 3, 2, 1, 0, 9, 5, 7, 6, 6, 6, 3, 2, 1, 0, 10, 17, 8, 7, 4, 5, 6, 3, 2, 1, 0, 11, 18, 9, 8, 7, 4, 4, 4, 3, 2, 1, 0, 12, 20, 10, 12, 8, 7, 5, 5, 4, 3, 2, 1, 0, 13, 21, 14, 13, 12, 8, 7, 6
抵消
0,4
评论
每行是自然数的排列,只出现一次。表的行组成已关闭(请参见A089839号)它包含每一个的倒数(它们的位置如所示A089843美元). 表中的排列构成了所有大小保持的“Catalan双射”(有限个未标记根平面二叉树中的双射)组的可枚举子群。每个元素的顺序显示在A089842号.
参考文献
A.Karttunen,论文正在编写中,草稿可通过电子邮件获取。
交叉参考
其他行:第83行:A154125号,第169行:A129611号,第183行:A154126号,第251行:A129612号,第253行:A123503型,第258行:A123499型,第264行:A123500个,第3608行:A129607号,第3613行:A129605号,第3617行:129606英镑,第3655行:A154121号,第3656行:A154123号,第3702行:A082354号,第3747行:A154122号,第3748行:A154124号,第3886行:A082353号,第4069行:A082351号,第4207行:A089865号,第4253行:A082352号,第4299行:A089866号,第65167行:A129609型,第65352行:A129610号,第65518行:A123495号,第65796行:A123496号,第79361行:A123492号,第1653002行:A123695号,第1653063行:A123696号,第1654023行:A073281号,第1654249行:123498英镑,第1654694行:A089864号,第1654720行:A129604型,第1655089行:123497年,第1783367行:A123713号,第1786785行:A123714号.
将序列索引到此表,给出各种子组或其他重要结构:A153826号,153827英镑,A153829号,A153830号,A123694号,A153834号,A153832号,A153833号.
关键词
非n,
作者
安蒂·卡图恩2003年12月5日;上次修订日期:2009年1月6日
状态
经核准的
加泰罗尼亚自同构引起的自然数置换*A089851号作用于由A014486号/A063171号.
+10
20
0, 1, 2, 3, 5, 6, 4, 7, 8, 12, 13, 15, 16, 19, 11, 14, 9, 17, 18, 10, 20, 21, 22, 31, 32, 34, 35, 36, 40, 41, 43, 44, 47, 52, 53, 56, 60, 30, 33, 39, 42, 51, 28, 37, 23, 45, 46, 24, 48, 49, 50, 29, 38, 25, 54, 55, 26, 57, 58, 59, 27, 61, 62, 63, 64, 87, 88, 90, 91, 92, 96, 97, 99
抵消
0,3
评论
这种自同构在未标记的有根平面二叉树上影响以下变换(字母A、B、C表示位于这些节点上的任意子树,()表示隐含的终端节点。)
……B……C……..C……A
....\./.............\./
.A.…x…-->。。。。B.…x…………..A..()。。。。。。。。。A…()。。
..\./.............\./...................\./....-->....\./...
…x…………..x。。。。
(a.(b.c))->(b.(c.a))______(a.())--->(a.())
就S表达式而言,这会旋转S-exp的car、cadr和cddr
如果长度>1,则保持完整。
注意,第一个子句对应于Thompson群T和V的生成元C。
(另请参阅A072796号,A074679号A154121号其他相关发电机)。
有关如何从该定义获取给定整数序列的详细说明,请参阅“加泰罗尼亚自同构”OEIS-Wiki页面。
黄体脂酮素
(Scheme函数在列表结构上实现这种自同构,都是构造性的(*A089851号)和破坏性(*A089851号!) 版本:)
(定义(*A089851号s) (如果(和(配对)(配对))
(定义(*A089851号! s) (cond((not(pair?s))s)((not(pairs?(cdr s)))(else(swap!s)(robr!s)s))
(define(swap!s)(let((ex car(car s)))(set car!s(cdr s))(set cdr!s ex car)s)
(定义(robr!s)(let((ex-cdr(cdr s)))(set-cdr!s(caar s))(set-car!(car s)ex-cdr)(swap!(cars))
交叉参考
的反转A089853号.a(n)=A089850型(A072796号(n) )=A057163号(A089857号(A057163号(n) )。第4行,共行A089840号.
循环次数:A089847号.定点数量:A089848号(在每个限制范围内A014137号A014138号).
关键词
非n
作者
安蒂·卡图恩2003年11月29日
扩展
新的邮件地址、进一步的评论和Scheme-function的建设性实施(*A089851号)由添加安蒂·卡图恩,2011年6月4日
状态
经核准的
加泰罗尼亚自同构引起的自然数置换*A089855号作用于由A014486号/A063171号.
+10
14
0, 1, 2, 3, 4, 5, 7, 8, 6, 9, 10, 11, 12, 13, 17, 18, 20, 21, 22, 16, 19, 14, 15, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 45, 46, 48, 49, 50, 54, 55, 57, 58, 59, 61, 62, 63, 64, 44, 47, 53, 56, 60, 42, 51, 37, 38, 43, 52, 39, 40, 41, 65, 66, 67, 68, 69, 70, 71, 72
抵消
0,3
评论
这种自同构会对未标记的有根平面二叉树(字母A、B、C表示位于这些节点上的任意子树,()表示隐含的终端节点)上的以下变换产生影响。
.A.…B………..B……C
..\./.............\./
…x…C.…-->。。。。x...A…………()。。A…………()。。答:。。
....\./.............\./.................\./....-->....\./...
…..x…………..x。。。。
(a、b)。c) ->((b.c)。a) _____(()。a) -->(()。a)
就S-表达式而言,如果可能的话,这个自同构会旋转S-exp的caar、cdar和cdr,即如果car-side不是()。
有关如何从该定义中获取给定整数序列的详细说明,请参阅Karttune-OEIS-Wiki链接。
黄体脂酮素
(在列表结构/S表达式上实现这种自同构的Scheme函数,都是构造性的(*A089855号)和破坏性(*A089855号!) 版本:)
(定义(*A089855号s) (如果(和(配对)(配对))(cons(配对)
(定义(*A089855号! s) (cond((not(pair?s))s)((not(pairs?(cars)))(其他(let(org_cdar(cdars))
交叉参考
的反转A089857号.a(n)=A089860号(A069770号(n) )=A069770号(A074680号(n) )=A057163号(A089853号(A057163号(n) )。第9行,共行A089840号.
循环次数:A089847号.定点数量:A089848号(在每个限制范围内A014137号A014138号).
关键词
非n
作者
安蒂·卡图恩2003年11月29日
扩展
方案功能的进一步评论和建设性实施(*A089855号)由添加安蒂·卡图恩,2011年6月4日
状态
经核准的
加泰罗尼亚自同构引起的自然数置换*A089862号作用于由A014486号/A063171号.
+10
13
0, 1, 3, 2, 7, 8, 5, 6, 4, 17, 18, 20, 21, 22, 12, 13, 15, 16, 19, 11, 14, 9, 10, 45, 46, 48, 49, 50, 54, 55, 57, 58, 59, 61, 62, 63, 64, 31, 32, 34, 35, 36, 40, 41, 43, 44, 47, 52, 53, 56, 60, 30, 33, 39, 42, 51, 28, 37, 23, 24, 29, 38, 25, 26, 27, 129, 130, 132, 133, 134
抵消
0,3
评论
这种自同构会对未标记的有根平面二叉树(字母A、B、C表示位于这些节点上的任意子树,()表示隐含的终端节点)上的以下变换产生影响。
A…B…………C…A
..\./.................\./
…x…C…-->。。。。。B…x…………()。。A…………A.()。。
....\./.............\./.................\./....-->....\./...
…..x…………..x。。。。
(a、b)。c) -->(b.(c.a))____(()。a) -->(第页)
有关如何从该定义中获取给定整数序列的详细说明,请参阅Karttune-OEIS-Wiki链接。
黄体脂酮素
(在列表结构/S表达式上实现这种自同构的Scheme函数,都是构造性的(*A089862号)和破坏性(*A089862号!) 版本:)
(定义(*A089862号s) (cond((not(pair?s))s)(非(pair(cars)))(cons(cdr s)(cars
(定义(*A089862号! s) (条件((对)(条件(对(车))(交换!(车)
(define(swap!s)(let((ex car(car s)))(set car!s(cdr s))(set cdr!s ex car)s)
(定义(robr!s)(let((ex-cdr(cdr s)))(set-cdr!s(caar s))(set-car!(car s)ex-cdr)(swap!(cars))
交叉参考
第20行,共行A089840号.的反转A089860号.a(n)=A089853号(A069770号(n) )=A069770号(A089857号(n) )=A069770号(A074679号(A069770号(n) ))=A057163号(A089860号(A057163号(n) )。循环次数:A001683号(似乎是,没有检查)。固定点数:A019590型所有循环尺寸的最大循环尺寸和LCM:A089410号(在每个限制范围内A014137号A014138号).
关键词
非n
作者
安蒂·卡图恩2003年11月29日
扩展
由添加的方案实施的图形描述和构造版本安蒂·卡图恩,2011年6月4日
状态
经核准的
第11行,共行2004年12月1日.
+10
6
0, 1, 2, 3, 4, 5, 8, 6, 7, 9, 10, 13, 11, 12, 21, 22, 19, 14, 15, 20, 16, 17, 18, 23, 24, 27, 25, 26, 35, 36, 33, 28, 29, 34, 30, 31, 32, 58, 59, 64, 62, 63, 56, 60, 51, 37, 38, 52, 39, 40, 41, 57, 61, 53, 42, 43, 54, 44, 45, 46, 55, 47, 48, 49, 50, 65, 66, 69, 67, 68, 77, 78
抵消
0,3
评论
由第十一个非递归Catalan自同构导出的Catalan自同构的特征置换*A089857号使用递归模式ENIPS(请参见2004年12月1日定义)。
交叉参考
反向:A130349号。不同于A130353号第一次,n=39,其中a(39)=64,而A130353号(39)=62.
关键词
非n
作者
安蒂·卡图恩2007年6月5日
状态
经核准的
第11行,共行A122203号.
+10
6
0, 1, 2, 3, 4, 5, 8, 6, 7, 9, 10, 13, 11, 12, 21, 22, 19, 14, 15, 20, 16, 17, 18, 23, 24, 27, 25, 26, 35, 36, 33, 28, 29, 34, 30, 31, 32, 58, 59, 62, 63, 64, 56, 60, 51, 37, 38, 52, 41, 39, 40, 57, 61, 53, 42, 43, 54, 44, 45, 46, 55, 47, 48, 49, 50, 65, 66, 69, 67, 68, 77, 78
抵消
0,3
评论
由第十一个非递归加泰罗尼亚自同构导出的加泰罗尼亚自同构的符号置换*A089857号使用递归模式SPINE(请参见A122203号定义)。
交叉参考
反向:A130354号。不同于A130350型首次在n=39时,其中A130350型(39)=64,而a(39)=62。
关键词
非n
作者
安蒂·卡图恩2007年6月5日
状态
经核准的
三角形T(n,m)(读作T(1,1);T(2,1),T(2,2);T(3.1)、T(3.2)、T非递归加泰罗尼亚自同构的数量,其最小子句表示需要检查总共n个节点,分为m个非默认子句。
+10
4
1, 10, 0, 115, 10, 0, 1666, 139, 0, 0, 30198, 2570, 0, 0, 0, 665148, 47878, 904, 0, 0, 0, 17296851, 1017174, 20972, 0, 0, 0, 0
抵消
1, 2
例子
……三角形。。。。。。。。。。。。。。。。。。。。。。。。。。。。行和
........1........................................1
.......10.......0...............................10
......115......10...0..........................125 = 5^3
.....1666.....139...0....0....................1805 = 5*19^2
....30198....2570...0....0...0...............32768 = 32^3 = 8^5
...665148...47878...904..0...0...0..........713930
.17296851.1017174.20972..0...0...0...0....18334997
T(1,1)=1,因为只有一个非恒等、非递归的加泰罗尼亚双射,其中一个非默认子句打开一个节点,即A089840号[1]=A069770号.
T(2,1)=10,因为有以下非递归加泰罗尼亚双射A089840号):A072796号,A089850型,A089851号,A089852号,A089853号,A089854号,A072797号,A089855号,A089856号,A089857号,其最小子句表示由打开两个节点的单个非默认子句组成。
T(3,2)=10,因为有以下非递归加泰罗尼亚双射词(第12-21行A089840号):A074679号,A089858号,A073269号,A089859号,A089860号,A074680号,A089861号,A073270型,A089862号,A089863号,其最小子句表示由两个非默认子句组成,共打开3个节点。
交叉参考
第一列:A089833号.行总和:A089832号。不包括第一列的行总和:A089834号.
关键词
非n,
作者
安蒂·卡图恩2003年12月5日
状态
经核准的
非递归加泰罗尼亚自同构的签名置换:表的第1786785行A089840号.
+10
0, 1, 2, 3, 4, 5, 8, 6, 7, 9, 10, 11, 12, 13, 21, 22, 19, 14, 15, 20, 16, 17, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 58, 59, 62, 63, 64, 56, 60, 51, 37, 38, 52, 39, 40, 41, 57, 61, 53, 42, 43, 54, 44, 45, 46, 55, 47, 48, 49, 50, 65, 66, 67, 68, 69, 70, 71
抵消
0,3
评论
下面说明了这种自同构,其中字母A、B、C、D、E和F表示位于这些节点上的任意子树,()表示隐含的终端节点。
…………..B………C……….F……B。。。。。。
..............................\./..............\./.......
。。。。
................................\./..............\./.....
。。
..................................\./.....-->......\./...
..A…..B…………..C…..A………..x...F……….x...E
...\./...........\./................\./..............\./.
….x…C…-->。。。x...B……….()。。x…………()。。x。。
.....\./...........\./............\./..............\./...
……x………….x……..x。。。。
这是表中总共七个开放同构的最后一个多子句自同构A089840号.下一个非递归自同构,A089840号[1786786]由单个七节点子句组成,它交换了前两个顶级元素(一般平面树的),如*A072796号是),但仅当A057515号(n) >6,在其他情况下保持树木完整。
黄体脂酮素
(Scheme函数,作用于S表达式的自同构的破坏性实现:)(定义(*A123714号! s) (第二个(不是(对))s)((对?(车))(set-cdr!(cadr s)(cdaadr s))))(set-cdr!(caaadr s)(汽车(caaadr s))
交叉参考
反向:A123713号.第1786785行,共行A089840号。不同于A089857号第一次,n=102,其中a(n)=106,而A089857号(n) =102。
关键词
非n
作者
安蒂·卡图恩2006年10月11日
状态
经核准的
加泰罗尼亚自同构的签名置换:第11行A130401型.
+10
0, 1, 2, 3, 4, 5, 8, 6, 7, 9, 10, 13, 11, 12, 20, 21, 19, 14, 15, 22, 16, 17, 18, 23, 24, 27, 25, 26, 34, 35, 33, 28, 29, 36, 30, 31, 32, 54, 55, 59, 57, 58, 53, 56, 51, 37, 38, 52, 39, 40, 41, 61, 64, 60, 42, 43, 62, 44, 45, 46, 63, 47, 50, 48, 49, 65, 66, 69, 67, 68, 76, 77
抵消
0,3
评论
由第十一个非递归加泰罗尼亚自同构导出的加泰罗尼亚自同构的符号置换*A089857号使用递归模式REDRONI(请参见A130401型定义)。
交叉参考
反向:A130387号.
关键词
非n
作者
安蒂·卡图恩2007年6月11日
状态
经核准的
加泰罗尼亚自同构的签名置换:第11行A130400个.
+10
0, 1, 2, 3, 4, 5, 8, 6, 7, 9, 10, 13, 11, 12, 21, 22, 19, 14, 15, 20, 18, 16, 17, 23, 24, 27, 25, 26, 35, 36, 33, 28, 29, 34, 32, 30, 31, 58, 59, 62, 63, 64, 56, 60, 51, 37, 38, 52, 40, 41, 39, 57, 61, 55, 49, 50, 53, 47, 42, 43, 54, 48, 46, 44, 45, 65, 66, 69, 67, 68, 77, 78
抵消
0,3
评论
由第十一个非递归加泰罗尼亚自同构导出的加泰罗尼亚自同构的符号置换*A089857号使用递归模式INORDER(请参见A130400个定义)。
交叉参考
反向:A130392号.
关键词
非n
作者
安蒂·卡图恩2007年6月11日
状态
经核准的

搜索在0.010秒内完成

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:2024年9月23日14:54 EDT。包含376178个序列。(在oeis4上运行。)