%I#7 2017年6月26日01:02:00

%S 1,1,3,10,512801995151120138075133056014812875172972800，

%电话：227135947531135104000470380424757410154752000126906349444875，

%电话：22526870446080004307830869529687585151570286182400017984171447178811875391697223316439040000

%N除0级上的最后一个分支节点之后，分支节点之间的序列最少的一个高度正确的松弛压缩二叉树的数目。

%C大小为n的松弛压缩二叉树是一个有向非循环图，由一个具有n个内部节点、一个叶和n个指针的二叉树组成。它是由一个大小为n的二叉树构造的，其中保留了后序遍历中的第一个叶，所有其他叶都由指针替换。这些链接可能指向已被后序遍历访问过的任何节点。右高度是删除所有指针后，从根到任何叶的所有路径上的最大右边缘数（或右子节点数）。分支节点是具有左右边缘（无指针）的节点。参见Genitrini等人的链接。-_Michael Wallner，2017年4月20日

%C a（n）是具有n+1个节点的平面增长树的数量，其中在标签诱导的生长过程中，最大幼叶和非最大幼叶交替出现，除了开始时的最大幼叶序列。幼叶是没有兄弟姐妹的叶子。最大幼叶是具有最大标记的幼叶。请参阅Wallner链接。-_Michael Wallner，2017年4月20日

%H Antoine Genitrini、Bernhard Gittenberger、Manuel Kauers和Michael Wallner，<a href=“https://arxiv.org/abs/1703.10031“>压缩二叉树的渐近枚举，arXiv:1703.10031[math.CO]，2017

%H Michael Wallner，<a href=“https://arxiv.org/abs/1703.10031“>平面增长树与最多1个右高松弛二叉树的双投影，arXiv:1706.07163[math.CO]，2017

%例如：（2-z）/（3*（1-z）^2）+1/（3*sqrt（1-z^2））。

%e用L表示叶，用o表示节点。每个节点正好有两个向外的边或指针。内部边缘用-或|表示。指针被省略，可以指向更右边的任何节点。根位于最左侧的0级。

%e总体结构为

%e L-o-o-o-o-o-o-o-o-o-o

%电子|||||

%电子操作系统。

%e对于n=0，a（0）=1的解是L。

%e对于n=1，a（1）=1的溶液是L-o。

%e对于n=2，a（2）=3的解是

%e L-o-o L-o

%e（电子）|

%e o（电子）

%e带指针的此形状的2+1解。

%Y参见A288954（随附加初始序列变化）。

%Y参考A177145（没有最终序列的变体）。

%Y参考A001147（最多一棵高度正确的松弛压实二叉树）。

%Y参考A082161（右高无限的松弛压缩二叉树）。

%Y参见A000032、A000246、A001879、A051577、A213527、A288950、A288952、A28895%（最多一个高度正确的松弛压缩二叉树的子类，请参阅Wallner链接）。

%Y参见A000166、A000255、A000262、A052852、A123023、A130905、A176408、A201203（最多一棵高度正确的松弛压实二叉树的变体，请参阅Wallner链接）。

%K nonn公司

%0、3

%A _迈克尔·沃纳，2017年6月20日