|
MATHEMATICA
|
sps[{}]:={{}}; sps[set:{i_, ___}]:=Join@@Function[s, Prepend[#, s]&/@sps[Complement[set, s]]]/@Cases[Subsets[set], {i, ___}];
mps[set_]:=Union[Sort[Sort/@(#/.x_Integer:>set[[x]])]&/@sps[Range[Length[set]]]];
disjointQ[u_]:=Apply[And, Outer[#1==#2||Intersection[#1, #2]=={}&, u, u, 1], {0, 1}];
mpti[m_]:=Prepend[Join@@Table[Select[Union[Sort/@Tuples[mpti/@p]], UnsameQ@@#&&disjointQ[#]&], {p, Select[mps[m], Length[#]>1&]}], m];
Table[Sum[Length[mpti[m]], {m, Sort/@IntegerPartitions[n]}], {n, 8}]
|
|
CROSSREFS
|
The non-identity version is A331678.
The case where the leaves are all singletons is A316694.
Locally disjoint identity trees are A316471.
Locally disjoint enriched identity p-trees are A331684.
Lone-child-avoiding locally disjoint rooted semi-identity trees are A212804.
Cf. A000669, A001678, A005804, A141268, A300660, A316697, A319312, A331679, A331683, A331783, A331874, A331875.
|