OFFSET
0,3
COMMENTS
The (weakly) normal version is A116540.
LINKS
Andrew Howroyd, Table of n, a(n) for n = 0..50
EXAMPLE
The a(1) = 1 through a(3) = 8 set multipartitions:
{{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}}
The a(4) = 27 set multipartitions:
{{1},{1},{1},{1}} {{1},{1},{1,2}} {{1},{1,2,3}} {{1,2,3,4}}
{{1},{1},{1},{2}} {{1},{1},{2,3}} {{1,2},{1,2}}
{{1},{1},{2},{2}} {{1},{2},{1,2}} {{1,2},{1,3}}
{{1},{1},{2},{3}} {{1},{2},{1,3}} {{1},{2,3,4}}
{{1},{2},{3},{4}} {{1},{2},{3,4}} {{1,2},{3,4}}
{{1},{3},{1,2}} {{1,3},{2,4}}
{{1},{3},{2,4}} {{1,4},{2,3}}
{{1},{4},{2,3}} {{2},{1,3,4}}
{{2},{3},{1,4}} {{3},{1,2,4}}
{{2},{4},{1,3}} {{4},{1,2,3}}
{{3},{4},{1,2}}
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]]]];
strnorm[n_]:=Flatten[MapIndexed[Table[#2, {#1}]&, #]]&/@IntegerPartitions[n];
Table[Length[Select[Join@@mps/@strnorm[n], And@@UnsameQ@@@#&]], {n, 0, 5}]
PROG
(PARI)
WeighT(v)={Vec(exp(x*Ser(dirmul(v, vector(#v, n, (-1)^(n-1)/n))))-1, -#v)}
D(p, n)={my(v=vector(n)); for(i=1, #p, v[p[i]]++); my(u=WeighT(v)); Vec(1/prod(k=1, n, 1 - u[k]*x^k + O(x*x^n)))/prod(i=1, #v, i^v[i]*v[i]!)}
seq(n)={my(s=0); forpart(p=n, s+=D(p, n)); s} \\ Andrew Howroyd, Dec 30 2020
CROSSREFS
Allowing edges to be multisets gives is A035310.
The strict case is A318402.
The constant case is A000005.
The (weakly) normal version is A116540.
Unlabeled set multipartitions are A049311.
Set multipartitions of prime indices are A050320.
Set multipartitions of integer partitions are A089259.
KEYWORD
nonn
AUTHOR
Gus Wiseman, Jan 02 2020
EXTENSIONS
Terms a(10) and beyond from Andrew Howroyd, Dec 30 2020
STATUS
approved