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 21-30 of 32 results. Next

A326907 Number of non-isomorphic sets of subsets of {1..n} that are closed under union and cover all n vertices. First differences of A193675.

Original entry on oeis.org

2, 2, 6, 28, 330, 28960, 216562364, 5592326182940100
Offset: 0

Views

Author

Gus Wiseman, Aug 03 2019

Keywords

Comments

Differs from A108800 in having a(0) = 2 instead of 1.

Examples

			Non-isomorphic representatives of the a(0) = 2 through a(3) = 28 sets of sets:
  {}    {{1}}    {{12}}          {{123}}
  {{}}  {{}{1}}  {{}{12}}        {{}{123}}
                 {{2}{12}}       {{3}{123}}
                 {{}{2}{12}}     {{23}{123}}
                 {{1}{2}{12}}    {{}{3}{123}}
                 {{}{1}{2}{12}}  {{}{23}{123}}
                                 {{1}{23}{123}}
                                 {{3}{23}{123}}
                                 {{13}{23}{123}}
                                 {{}{1}{23}{123}}
                                 {{}{3}{23}{123}}
                                 {{}{13}{23}{123}}
                                 {{2}{3}{23}{123}}
                                 {{2}{13}{23}{123}}
                                 {{3}{13}{23}{123}}
                                 {{12}{13}{23}{123}}
                                 {{}{2}{3}{23}{123}}
                                 {{}{2}{13}{23}{123}}
                                 {{}{3}{13}{23}{123}}
                                 {{}{12}{13}{23}{123}}
                                 {{2}{3}{13}{23}{123}}
                                 {{3}{12}{13}{23}{123}}
                                 {{}{2}{3}{13}{23}{123}}
                                 {{}{3}{12}{13}{23}{123}}
                                 {{2}{3}{12}{13}{23}{123}}
                                 {{}{2}{3}{12}{13}{23}{123}}
                                 {{1}{2}{3}{12}{13}{23}{123}}
                                 {{}{1}{2}{3}{12}{13}{23}{123}}

Crossrefs

The case without empty sets is A108798.
The case with a single covering edge is A108800.
First differences of A193675.
The case also closed under intersection is A326898 for n > 0.
The labeled version is A326906.
The same for union instead of intersection is (also) A326907.
Cf. A001930, A102895, A108798, A193674, A193675, A326880, A326881, A326883, A326898, A326908.

Extensions

a(7) added from A108800 by Andrew Howroyd, Aug 10 2019

A091073 Number of transitive relations on n unlabeled points.

Original entry on oeis.org

1, 2, 8, 39, 242, 1895, 19051, 246895, 4145108, 90325655, 2555630036, 93810648902, 4461086120602, 274339212258846, 21775814889230580, 2226876304576948549
Offset: 0

Views

Author

Goetz Pfeiffer (goetz.pfeiffer(AT)nuigalway.ie), Jan 21 2004

Keywords

Comments

a(13)-a(15) are from Brinkmann's and McKay's paper. - Vladeta Jovovic, Jan 07 2006

Links

Crossrefs

Cf. A079265 (antisymmetric transitive relations), A001930 (reflexive transitive relations), A000112 (partial orders), A006905 (labeled transitive relations).

Extensions

More terms from Vladeta Jovovic, Jan 07 2006

A326900 Number of set-systems on n vertices that are closed under union and intersection.

Original entry on oeis.org

1, 2, 6, 29, 232, 3032, 62837, 2009408, 97034882, 6952703663, 728107141058, 109978369078580, 23682049666957359, 7195441649260733390, 3056891748255795885338, 1801430622263459795017565, 1462231768717868324127642932, 1624751185398704445629757084188, 2457871026957756859612862822442301
Offset: 0

Views

Author

Gus Wiseman, Aug 04 2019

Keywords

Comments

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

Examples

			The a(0) = 1 through a(3) = 29 set-systems:
  {}  {}     {}           {}
      {{1}}  {{1}}        {{1}}
             {{2}}        {{2}}
             {{1,2}}      {{3}}
             {{1},{1,2}}  {{1,2}}
             {{2},{1,2}}  {{1,3}}
                          {{2,3}}
                          {{1,2,3}}
                          {{1},{1,2}}
                          {{1},{1,3}}
                          {{2},{1,2}}
                          {{2},{2,3}}
                          {{3},{1,3}}
                          {{3},{2,3}}
                          {{1},{1,2,3}}
                          {{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}}

Crossrefs

Binomial transform of A006058 (the covering case).
The case closed under union only is A102896.
The case with {} allowed is A306445.
The BII-numbers of these set-systems are A326876.
The case closed under intersection only is A326901.
The unlabeled version is A326908.
Cf. A000798, A001930, A102895, A102898, A326866, A326878, A326882.

Programs

  • Mathematica
    Table[Length[Select[Subsets[Subsets[Range[n],{1,n}]],SubsetQ[#,Union[Union@@@Tuples[#,2],Intersection@@@Tuples[#,2]]]&]],{n,0,3}]
(* Second program: *)
A006058 = Cases[Import["https://oeis.org/A006058/b006058.txt", "Table"], {, }][[All, 2]];
a[n_] := Sum[Binomial[n, k] A006058[[k + 1]], {k, 0, n}];
a /@ Range[0, 18] (* Jean-François Alcover, Jan 01 2020 *)

Extensions

a(16)-a(18) from A006058 by Jean-François Alcover, Jan 01 2020

A326902 Number of set-systems (without {}) covering n vertices that are closed under intersection.

Original entry on oeis.org

1, 1, 3, 19, 319, 21881, 16417973, 1063459099837, 225402359008808647339
Offset: 0

Views

Author

Gus Wiseman, Aug 04 2019

Keywords

Comments

A set-system is a finite set of finite nonempty sets, so no two edges of a set-system that is closed under intersection can be disjoint.

Examples

			The a(0) = 1 through a(3) = 19 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,3}}
                          {{2},{1,2},{2,3}}
                          {{3},{1,3},{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}}

Crossrefs

The case closed under union and intersection is A006058.
The case with union instead of intersection is A102894.
The unlabeled version is A108800(n - 1).
The non-covering case is A326901.
The connected case is A326903.
Cf. A000798, A001930, A102895, A102898, A182507, A326866, A326876, A326878, A326882, A326900, A326901, A326904.

Programs

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

Formula

Inverse binomial transform of A326901. - Andrew Howroyd, Aug 10 2019

Extensions

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

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 {}.

Original entry on oeis.org

0, 1, 3, 16, 209, 11851, 8277238, 531787248525, 112701183758471199051
Offset: 0

Views

Author

Gus Wiseman, Aug 04 2019

Keywords

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

Examples

			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}}

Links

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.

Programs

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

Formula

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

Extensions

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

A326908 Number of non-isomorphic sets of subsets of {1..n} that are closed under union and intersection.

Original entry on oeis.org

2, 4, 9, 23, 70, 256, 1160, 6599, 48017, 452518, 5574706, 90198548, 1919074899, 53620291147, 1962114118390, 93718030190126, 5822768063787557
Offset: 0

Views

Author

Gus Wiseman, Aug 03 2019

Keywords

Examples

			Non-isomorphic representatives of the a(0) = 2 through a(3) = 23 sets of subsets:
  {}    {}       {}              {}
  {{}}  {{}}     {{}}            {{}}
        {{1}}    {{1}}           {{1}}
        {{}{1}}  {{12}}          {{12}}
                 {{}{1}}         {{}{1}}
                 {{}{12}}        {{123}}
                 {{2}{12}}       {{}{12}}
                 {{}{2}{12}}     {{}{123}}
                 {{}{1}{2}{12}}  {{2}{12}}
                                 {{3}{123}}
                                 {{}{2}{12}}
                                 {{23}{123}}
                                 {{}{3}{123}}
                                 {{}{23}{123}}
                                 {{}{1}{2}{12}}
                                 {{3}{23}{123}}
                                 {{}{1}{23}{123}}
                                 {{}{3}{23}{123}}
                                 {{3}{13}{23}{123}}
                                 {{}{2}{3}{23}{123}}
                                 {{}{3}{13}{23}{123}}
                                 {{}{2}{3}{13}{23}{123}}
                                 {{}{1}{2}{3}{12}{13}{23}{123}}

Crossrefs

The labeled version is A306445.
Taking first differences and prepending 1 gives A326898.
Taking second differences and prepending two 1's gives A001930.
Cf. A000612, A000798, A003180, A108798, A108800, A193675, A326867, A326876, A326878, A326882, A326883.

Programs

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

A001928 Number of connected topologies with n unlabeled nodes.

Original entry on oeis.org

1, 1, 2, 6, 21, 94, 512, 3485, 29515, 314474, 4255727, 73831813, 1653083021, 47941962135, 1803010446411, 87882300251730, 5543501326580737
Offset: 0

Views

Author

N. J. A. Sloane

Keywords

References

  • K. K.-H. Butler and G. Markowsky, Enumeration of finite topologies, Proc. 4th S-E Conf. Combin., Graph Theory, Computing, Congress. Numer. 8 (1973), 169-184.
  • N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
  • J. A. Wright, There are 718 6-point topologies, quasi-orderings and transgraphs, Notices Amer. Math. Soc., 17 (1970), p. 646, Abstract #70T-A106.
  • J. A. Wright, personal communication.

Links

Crossrefs

Cf. A001929, A001930.

Programs

Formula

Inverse Euler transform of A001930. - Vladeta Jovovic, Jan 06 2006

Extensions

More terms from Vladeta Jovovic, Jan 06 2006

A327016 BII-numbers of finite T_0 topologies without their empty set.

Original entry on oeis.org

0, 1, 2, 5, 6, 7, 8, 17, 24, 25, 34, 40, 42, 69, 70, 71, 81, 85, 87, 88, 89, 93, 98, 102, 103, 104, 106, 110, 120, 121, 122, 127, 128, 257, 384, 385, 514, 640, 642, 1029, 1030, 1031, 1281, 1285, 1287, 1408, 1409, 1413, 1538, 1542, 1543, 1664, 1666, 1670, 1920
Offset: 1

Views

Author

Gus Wiseman, Aug 14 2019

Keywords

Comments

A set-system is a finite set of finite nonempty sets. The dual of a set-system has, for each vertex, one edge consisting of the indices (or positions) of the edges containing that vertex. For example, the dual of {{1,2},{2,3}} is {{1},{1,2},{2}}. The T_0 condition means that the dual is strict (no repeated edges).
A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every finite set of finite nonempty sets has a different BII-number. For example, 18 has reversed binary expansion (0,1,0,0,1), and since the binary indices of 2 and 5 are {2} and {1,3} respectively, the BII-number of {{2},{1,3}} is 18. Elements of a set-system are sometimes called edges.

Examples

			The sequence of all finite T_0 topologies without their empty set together with their BII-numbers begins:
   0: {}
   1: {{1}}
   2: {{2}}
   5: {{1},{1,2}}
   6: {{2},{1,2}}
   7: {{1},{2},{1,2}}
   8: {{3}}
  17: {{1},{1,3}}
  24: {{3},{1,3}}
  25: {{1},{3},{1,3}}
  34: {{2},{2,3}}
  40: {{3},{2,3}}
  42: {{2},{3},{2,3}}
  69: {{1},{1,2},{1,2,3}}
  70: {{2},{1,2},{1,2,3}}
  71: {{1},{2},{1,2},{1,2,3}}
  81: {{1},{1,3},{1,2,3}}
  85: {{1},{1,2},{1,3},{1,2,3}}
  87: {{1},{2},{1,2},{1,3},{1,2,3}}
  88: {{3},{1,3},{1,2,3}}

Links

Crossrefs

T_0 topologies are A001035, with unlabeled version A000112.
BII-numbers of topologies without their empty set are A326876.
BII-numbers of T_0 set-systems are A326947.
Cf. A001930, A048793, A306445, A316978, A319564, A326031, A326872, A326875, A326939, A326941, A326959.

Programs

  • Mathematica
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Select[Range[0,1000],UnsameQ@@dual[bpe/@bpe[#]]&&SubsetQ[bpe/@bpe[#],Union[Union@@@Tuples[bpe/@bpe[#],2],DeleteCases[Intersection@@@Tuples[bpe/@bpe[#],2],{}]]]&]

A173311 a(n) is the number of regular D classes in the semigroup of all binary relations on [n].

Original entry on oeis.org

1, 2, 4, 9, 25, 88, 406, 2451, 19450, 202681, 2769965, 49519392, 1154411138, 34978238590, 1373171398361, 69648249299517, 4552778914494604
Offset: 0

Views

Author

Jonathan Vos Post, Feb 16 2010

Keywords

Comments

Previous name was: Partial sums of A000112.

Links

Crossrefs

Cf. A000112, A000798 (labeled topologies), A001035 (labeled posets), A001930 (unlabeled topologies), A006057, A079263, A079265, A007903.

Programs

Formula

a(n) = Sum_{i=0..n} A000112(i).

Extensions

New name from Geoffrey Critzer, May 22 2022

A326909 Number of sets of subsets of {1..n} closed under union and intersection and covering all of the vertices.

Original entry on oeis.org

2, 2, 7, 45, 500, 9053, 257151, 11161244, 725343385, 69407094565, 9639771895398, 1919182252611715, 541764452276876719, 214777343584048313318, 118575323291814379721651, 90492591258634595795504697, 94844885130660856889237907260, 135738086271526574073701454370969, 263921383510041055422284977248713291
Offset: 0

Views

Author

Gus Wiseman, Aug 04 2019

Keywords

Comments

Differs from A326878 in having a(0) = 2 instead of 1.

Examples

			The a(0) = 2 through a(2) = 7 sets of subsets:
  {}    {{1}}     {{1,2}}
  {{}}  {{},{1}}  {{},{1,2}}
                  {{1},{1,2}}
                  {{2},{1,2}}
                  {{},{1},{1,2}}
                  {{},{2},{1,2}}
                  {{},{1},{2},{1,2}}

Crossrefs

Covering sets of subsets are A000371.
The case without empty sets is A108798.
The case with a single covering edge is A326878.
The unlabeled version is A326898 for n > 0.
The case closed only under union is A326906.
The case closed only under intersection is (also) A326906.
Cf. A000798, A001930, A003465, A006058, A306445, A326876, A326882, A326907, A326908.

Programs

  • Mathematica
    Table[Length[Select[Subsets[Subsets[Range[n]]],Union@@#==Range[n]&&SubsetQ[#,Union[Union@@@Tuples[#,2],Intersection@@@Tuples[#,2]]]&]],{n,0,3}]
(* Second program: *)
A000798 = Cases[Import["https://oeis.org/A000798/b000798.txt", "Table"], {, }][[All, 2]];
A006058 = Cases[Import["https://oeis.org/A006058/b006058.txt", "Table"], {, }][[All, 2]];
a[n_] := A006058[[n + 1]] + A000798[[n + 1]];
a /@ Range[0, 18] (* Jean-François Alcover, Dec 30 2019 *)

Formula

a(n) = A000798(n) + A006058(n). - Jean-François Alcover, Dec 30 2019, after Gus Wiseman's comment in A006058.

Extensions

a(18) from A000798+A006058 by Jean-François Alcover, Dec 30 2019
Previous Showing 21-30 of 32 results. Next

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.