OFFSET
0,2
COMMENTS
Each L-class in B_n is determined by a union closed family of subsets of [n] that is generated by a basis of size at most n.
REFERENCES
K. H. Kim, Boolean Matrix Theory and Applications, Marcel Decker Inc., 1982.
FORMULA
a(n) = Sum_{k=0..n} A355315(n,k).
MATHEMATICA
independentQ[collection_] := If[MemberQ[collection, Table[0, {nn}]] \[Or] !
DuplicateFreeQ[collection], False, Apply[And, Table[! MemberQ[ Map[Clip[Total[#]] &, Subsets[Drop[collection, {i}], {2, Length[collection]}]],
collection[[i]]], {i, 1, Length[collection]}]]]; Map[Total,
Map[Select[#, # > 0 &] &, able[Table[Length[Select[Subsets[Tuples[{0, 1}, nn], {i}], independentQ[#] &]], {i, 0, nn}], {nn, 0, 5}]]]
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Geoffrey Critzer, Jan 16 2023
STATUS
approved