A327903 Number of set-systems covering n vertices where every edge has a different sum.

1, 1, 5, 77, 7369, 10561753, 839653402893, 15924566366443524837, 315320784127456186118309342769, 29238175285109256786706269143580213236526609, 59347643832090275881798554403880633753161146711444051797893301

Offset

0,3

Comments

A set-system is a set of nonempty sets. It is covering if there are no isolated (uncovered) vertices.

Links

Andrew Howroyd, Table of n, a(n) for n = 0..20

Gus Wiseman, Sequences counting and ranking multiset partitions whose part lengths, sums, or averages are constant or strict.

Example

The a(3) = 77 set-systems:
  123  1-23    1-2-3      1-2-3-13      1-2-3-13-23     1-2-3-13-23-123
       2-13    1-2-13     1-2-3-23      1-2-12-13-23    1-2-12-13-23-123
       1-123   1-2-23     1-2-12-13     1-2-3-13-123
       12-13   1-3-23     1-2-12-23     1-2-3-23-123
       12-23   2-3-13     1-2-13-23     1-2-12-13-123
       13-23   1-12-13    1-2-3-123     1-2-12-23-123
       2-123   1-12-23    1-3-13-23     1-2-13-23-123
       3-123   1-13-23    2-3-13-23     1-3-13-23-123
       12-123  1-2-123    1-12-13-23    2-3-13-23-123
       13-123  1-3-123    1-2-12-123    1-12-13-23-123
       23-123  2-12-13    1-2-13-123    2-12-13-23-123
               2-12-23    1-2-23-123
               2-13-23    1-3-13-123
               2-3-123    1-3-23-123
               3-13-23    2-12-13-23
               1-12-123   2-3-13-123
               1-13-123   2-3-23-123
               12-13-23   1-12-13-123
               1-23-123   1-12-23-123
               2-12-123   1-13-23-123
               2-13-123   2-12-13-123
               2-23-123   2-12-23-123
               3-13-123   2-13-23-123
               3-23-123   3-13-23-123
               12-13-123  12-13-23-123
               12-23-123
               13-23-123

Mathematica

stableSets[u_, Q_]:=If[Length[u]==0, {{}}, With[{w=First[u]}, Join[stableSets[DeleteCases[u, w], Q], Prepend[#, w]&/@stableSets[DeleteCases[u, r_/; r==w||Q[r, w]||Q[w, r]], Q]]]];
qes[n_]:=Select[stableSets[Subsets[Range[n], {1, n}], Total[#1]==Total[#2]&], Union@@#==Range[n]&];
Table[Length[qes[n]], {n, 0, 4}]

Prog

(PARI) \\ by inclusion/exclusion on covered vertices.
C(v)={my(u=Vecrev(-1 + prod(k=1, #v, 1 + x^v[k]))); prod(i=1, #u, 1 + u[i])}
a(n)={my(s=0); forsubset(n, v, s += (-1)^(n-#v)*C(v)); s} \\ Andrew Howroyd, Oct 02 2019

Crossrefs

The antichain case is A326572.

The graphical case is A327904.

Cf. A003465, A006126, A035470, A275780, A321469, A326030, A326519, A326535, A326565, A326571, A326573.

Sequence in context: A188455 A015056 A326870 * A214443 A015973 A363376

Adjacent sequences: A327900 A327901 A327902 * A327904 A327905 A327906

Keyword

nonn

Author

Gus Wiseman, Sep 30 2019

Extensions

Terms a(4) and beyond from Andrew Howroyd, Oct 02 2019

Status

approved