OFFSET
0,4
COMMENTS
We define a connectedness system (investigated by Vim van Dam in 2002) to be a set of finite nonempty sets (edges) that is closed under taking the union of any two overlapping edges. It is covering if every vertex belongs to some edge.
LINKS
Gus Wiseman, Every Clutter Is a Tree of Blobs, The Mathematica Journal, Vol. 19, 2017.
EXAMPLE
The a(3) = 8 covering connectedness systems without singletons:
{{1,2,3}}
{{1,2},{1,2,3}}
{{1,3},{1,2,3}}
{{2,3},{1,2,3}}
{{1,2},{1,3},{1,2,3}}
{{1,2},{2,3},{1,2,3}}
{{1,3},{2,3},{1,2,3}}
{{1,2},{1,3},{2,3},{1,2,3}}
MATHEMATICA
Table[Length[Select[Subsets[Subsets[Range[n], {2, n}]], Union@@#==Range[n]&&SubsetQ[#, Union@@@Select[Tuples[#, 2], Intersection@@#!={}&]]&]], {n, 0, 4}]
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Gus Wiseman, Jul 30 2019
EXTENSIONS
a(6) corrected by Christian Sievers, Oct 28 2023
STATUS
approved