login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A326903 Number of set-systems (without {}) on n vertices that are closed under intersection and have an edge containing all of the vertices, or Moore families without {}. 4
0, 1, 3, 16, 209, 11851, 8277238, 531787248525, 112701183758471199051 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,3

COMMENTS

A set-system is a finite set of finite nonempty sets, so no two edges of such a set-system can be disjoint.

If {} is allowed, we get Moore families (A102896, cf A102895).

LINKS

Table of n, a(n) for n=0..8.

M. Habib and L. Nourine, The number of Moore families on n = 6, Discrete Math., 294 (2005), 291-296.

FORMULA

a(n) = A326901(n) / 2 for n > 0. - Andrew Howroyd, Aug 10 2019

EXAMPLE

The a(1) = 1 through a(3) = 16 set-systems:

  {{1}}  {{1,2}}      {{1,2,3}}

         {{1},{1,2}}  {{1},{1,2,3}}

         {{2},{1,2}}  {{2},{1,2,3}}

                      {{3},{1,2,3}}

                      {{1,2},{1,2,3}}

                      {{1,3},{1,2,3}}

                      {{2,3},{1,2,3}}

                      {{1},{1,2},{1,2,3}}

                      {{1},{1,3},{1,2,3}}

                      {{2},{1,2},{1,2,3}}

                      {{2},{2,3},{1,2,3}}

                      {{3},{1,3},{1,2,3}}

                      {{3},{2,3},{1,2,3}}

                      {{1},{1,2},{1,3},{1,2,3}}

                      {{2},{1,2},{2,3},{1,2,3}}

                      {{3},{1,3},{2,3},{1,2,3}}

MATHEMATICA

Table[Length[Select[Subsets[Subsets[Range[n], {1, n}]], MemberQ[#, Range[n]]&&SubsetQ[#, Intersection@@@Tuples[#, 2]]&]], {n, 0, 3}]

CROSSREFS

The case closed under union and intersection is A006058.

The case with union instead of intersection is A102894.

The unlabeled version is A193674.

The case without requiring the maximum edge is A326901.

The covering case is A326902.

Cf. A000798, A001930, A102895, A102898, A326866, A326876, A326878, A326882, A326904.

Sequence in context: A196562 A317073 A272658 * A113597 A000273 A071897

Adjacent sequences:  A326900 A326901 A326902 * A326904 A326905 A326906

KEYWORD

nonn,more

AUTHOR

Gus Wiseman, Aug 04 2019

EXTENSIONS

a(5)-a(8) from Andrew Howroyd, Aug 10 2019

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified January 28 10:02 EST 2020. Contains 331319 sequences. (Running on oeis4.)