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 11-15 of 15 results.

A326898 Number of unlabeled topologies with up to n points.

Original entry on oeis.org

1, 2, 5, 14, 47, 186, 904, 5439, 41418, 404501, 5122188, 84623842, 1828876351, 51701216248, 1908493827243, 91755916071736, 5729050033597431
Offset: 0

Views

Author

Gus Wiseman, Aug 02 2019

Keywords

Examples

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

Crossrefs

Partial sums of A001930.
The labeled version is A326878.
Cf. A000612, A000798, A003180, A108800, A193675, A306445, A326867, A326882.

A326904 Number of unlabeled set-systems (without {}) on n vertices that are closed under intersection.

Original entry on oeis.org

1, 2, 4, 10, 38, 368, 29328, 216591692, 5592326399531792
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.
Apart from the offset the same as A193675. - R. J. Mathar, Aug 09 2019

Examples

			Non-isomorphic representatives of the a(0) = 1 through a(3) = 10 set-systems:
  {}  {}     {}           {}
      {{1}}  {{1}}        {{1}}
             {{1,2}}      {{1,2}}
             {{2},{1,2}}  {{1,2,3}}
                          {{2},{1,2}}
                          {{3},{1,2,3}}
                          {{2,3},{1,2,3}}
                          {{3},{1,3},{2,3}}
                          {{3},{2,3},{1,2,3}}
                          {{3},{1,3},{2,3},{1,2,3}}

Crossrefs

The covering case is A108800(n - 1).
The case with an edge containing all of the vertices is A193674(n - 1).
The case with union instead of intersection is A193674.
The labeled version is A326901.
Cf. A000798, A001930, A006058, A102895, A102898, A326876, A326866, A326878, A326882, A326903, A326906.

Formula

a(n > 0) = 2 * A193674(n - 1).

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

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

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}]
Previous Showing 11-15 of 15 results.

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

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