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.

Previous Showing 41-43 of 43 results.

A299116 The number of sparse union-closed sets. That is, the number of union-closed sets on n elements containing the empty set and the universe, such that in average each set (not counting the empty set) has at most n/2 elements.

Original entry on oeis.org

0, 0, 0, 2, 27, 3133, 5777931
Offset: 1

Views

Author

Gunnar Brinkmann, Feb 05 2018

Keywords

Comments

If there is a counterexample to the union-closed set conjecture, it is a sparse union-closed set.

Crossrefs

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).

A367565 Number of reduced contexts on n labeled objects.

Original entry on oeis.org

1, 3, 32, 1863, 1316515, 75868099847
Offset: 1

Views

Author

Dmitry I. Ignatov, Nov 23 2023

Keywords

Comments

Equivalently, number of set systems on n points such that each of the systems obtained from the corresponding closure system on n points by omitting all intersections of other sets in the system and the set {1,...,n}; the systems with all sets shared at least one common element are not allowed.
This is the labeled version of A047684.

Examples

			The a(2)=3 set systems are {{1},{2}}, {{},{1}}, and {{},{2}}. The corresponding formal contexts represented by crosstables are
    1 x.    1 .x    1 ..
    2 .x    2 ..    2 x. .
		

References

  • B. Ganter and R. Wille, Formal Concept Analysis, Springer-Verlag, 1999, ISBN 3-540-62771-5, p. 24.
  • B. Ganter and S. A. Obiedkov, Conceptual Exploration, Springer 2016, ISBN 978-3-662-49290-1, pages 1-315.

Crossrefs

A047684 (unlabeled version), A102896 (all closure systems).
Previous Showing 41-43 of 43 results.