cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-1 of 1 results.

A358944 Number of Green's L-classes in B_n, the semigroup of binary relations on [n].

Original entry on oeis.org

1, 2, 7, 55, 1324, 120633, 36672159
Offset: 0

Views

Author

Geoffrey Critzer, Jan 16 2023

Keywords

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.

Crossrefs

Programs

  • 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 &] &, Table[Table[Length[Select[Subsets[Tuples[{0, 1}, nn], {i}], independentQ[#] &]], {i, 0, nn}], {nn, 0, 5}]]]

Formula

a(n) = Sum_{k=0..n} A355315(n,k).
Showing 1-1 of 1 results.