提出
经核准的
编辑
术语=21;(z+(1-z)/3*(2-z+(1-2 z)^(-1/2))+O[z]^术语//系数列表[#,z]&)范围[0,terms-1]!(*Jean-François Alcover公司2018年12月4日*)
1, 0, 1, 2, 15, 140, 1575, 20790, 315315, 5405400, 103378275, 2182430250, 50414138775, 1264936572900, 34258698849375, 996137551158750, 30951416768146875, 1023460181133390000, 35885072600989486875, 1329858572860198631250,51938365373373313209375
右高松弛压缩二叉树最多一棵空初始最初的以及0级的最终序列。
Antoine Genitrini、Bernhard Gittenberger、Manuel Kauers和Michael Wallner,<a href=“https://arxiv.org/abs/1703.10031“>压缩二叉树的渐近枚举,arXiv:1703.10031[math.CO],2017.
Michael Wallner,<a href=“https://arxiv.org/abs/1703.10031“>平面增长树与最多1个右高松弛二叉树的双投影,arXiv:1706.07163[math.CO],2017.
米歇尔·马库斯:输入错误:初始化
用L表示叶,用o表示节点。每个节点正好有两个向外的边或指针。内部边缘用-或|表示。指针被省略,可以指向更右边的任何节点。根位于最左侧的0级。
总体结构如下
L-o-o-o-o-o-o-o-o-o-o-o-o-o-o
| | | |
o-o-o-o-o o-o o o o。
对于n=0,a(0)=1的解是L。
对于n=1,我们有一个(1)=0,因为我们需要0级和1级的节点。
对于n=2,a(2)=1的解是
L-o公司
|
o个
并且级别1上的节点的指针都指向叶子。
对于n=3,a(3)=2解具有以下结构
哦,哦
其中最后一个节点的指针必须指向叶,但下一个节点有两个选择:前一个节点中的叶。