|
| |
|
| A330625型 |
| 叶子是集（不一定是不相交的）且具有多集并集的系列衍生根树的数目是大小为n的强正规多集。 |
|
8
|
| |
|
|
|
抵消
|
0,3
|
|
|
评论
|
如果一棵有根的树没有一元分支，那么它是连续减少的，因此每个非叶节点至少覆盖另外两个节点。
一个有限多集是强正规的，如果它覆盖了一个具有弱递减重数的正整数的初始区间。
|
|
|
链接
|
|
|
|
例子
|
a（1）=1到a（3）=14棵树：
{1} ｛1,2｝｛1,2,3｝
{{1},{1}} {{1},{1,2}}
｛｛1｝，｛2｝｝｛1｝，｛2，3｝｝
{{2},{1,3}}
{{3},{1,2}}
{{1},{1},{1}}
{{1},{1},{2}}
{{1},{2},{3}}
{{1},{{1},{1}}}
{{1},{{1},{2}}}
{{1},{{2},{3}}}
{{2},{{1},{1}}}
{{2},{{1},{3}}}
{{3},{{1},{2}}}
|
|
|
数学
|
sps[{}]：={{}}；sps[set:{i_，___}]：=联接@@函数[s，前缀[#，s]和/@sps[Complement[set，s]]/@Cases[子集[set]，{i，___}]；
mps[set_]：=联合[Sort[Sort/@（#/.x_Integer:>set[[x]]）]&/@sps[Range[Length[set]]]；
strnorm[n_]：=扁平[MapIndexed[表[#2，{#1}]&，#]]&/@IntegerPartitions[n]；
srtrees[m_]：=前缀[Join@@Table[Tuples[srtrees/@p]，{p，选择[mps[m]，长度[#1]>1&]}]，m]；
表[Sum[Length[Select[srtrees[s]，FreeQ[#，{___，x_Integer，x_Iinteger，___}]&]]，{s，strnormal[n]}]，{n，0，5}]
|
|
|
交叉参考
|
|
|
|
关键词
|
非n,更多
|
|
|
作者
|
|
|
|
状态
|
经核准的
|
| |
|
|
