1, 1, 3, 13, 87, 841, 11643, 227893, 6285807, 243593041, 13262556723, 1014466283293, 109128015915207, 16521353903210521, 3524056001906654763, 1059868947134489801413, 449831067019305308555487, 269568708630308018001547681, 228228540531327778410439620963
Offset: 0
A326878
Number of topologies whose points are a subset of {1..n}.
Original entry on oeis.org
1, 2, 7, 45, 500, 9053, 257151, 11161244, 725343385, 69407094565, 9639771895398, 1919182252611715, 541764452276876719, 214777343584048313318, 118575323291814379721651, 90492591258634595795504697, 94844885130660856889237907260, 135738086271526574073701454370969, 263921383510041055422284977248713291
Offset: 0
The a(0) = 1 through a(2) = 7 topologies:
{{}} {{}} {{}}
{{},{1}} {{},{1}}
{{},{2}}
{{},{1,2}}
{{},{1},{1,2}}
{{},{2},{1,2}}
{{},{1},{2},{1,2}}
Binomial transform of
A000798 (the covering case).
-
Table[Length[Select[Subsets[Subsets[Range[n]]],MemberQ[#,{}]&&SubsetQ[#,Union[Union@@@Tuples[#,2],Intersection@@@Tuples[#,2]]]&]],{n,0,4}]
(* Second program: *)
A000798 = Cases[Import["https://oeis.org/A000798/b000798.txt", "Table"], {, }][[All, 2]];
a[n_] := Sum[Binomial[n, k]*A000798[[k+1]], {k, 0, n}];
a /@ Range[0, Length[A000798]-1] (* Jean-François Alcover, Dec 30 2019 *)
A102895
Number of ACI algebras or semilattices on n generators with no identity element.
Original entry on oeis.org
1, 2, 8, 90, 4542, 2747402, 151930948472, 28175295407840207894
Offset: 0
a(2) = 8: Let the points be labeled a, b and let 0 denote the empty set. We want the number of collections of subsets of {a, b} which are closed under intersection and contain the empty subset. 0 subsets: 0 ways, 1 subset: 1 way (0), 2 subsets: 3 ways (0,a; 0,b; 0,ab), 3 subsets: 3 ways (0,a,b; 0,a,ab; 0,b,ab), 4 subsets: 1 way (0,a,b,ab), for a total of 8.
From _Gus Wiseman_, Aug 02 2019: (Start)
The a(0) = 1 through a(2) = 8 sets of sets with {} that are closed under intersection are:
{{}} {{}} {{}}
{{},{1}} {{},{1}}
{{},{2}}
{{},{1,2}}
{{},{1},{2}}
{{},{1},{1,2}}
{{},{2},{1,2}}
{{},{1},{2},{1,2}}
(End)
- G. Birkhoff, Lattice Theory. American Mathematical Society, Colloquium Publications, Vol. 25, 3rd ed., Providence, RI, 1967.
- Maria Paola Bonacina and Nachum Dershowitz, Canonical Inference for Implicational Systems, in Automated Reasoning, Lecture Notes in Computer Science, Volume 5195/2008, Springer-Verlag.
- P. Colomb, A. Irlande and O. Raynaud, Counting of Moore Families for n=7, International Conference on Formal Concept Analysis (2010)
- E. H. Moore, Introduction to a Form of General Analysis, AMS Colloquium Publication 2 (1910), pp. 53-80.
The connected case (i.e., with maximum) is
A102894.
The same for union instead of intersection is
A102896.
The case also closed under union is
A326878.
The BII-numbers of these set-systems (without the empty set) are
A326880.
-
Table[Length[Select[Subsets[Subsets[Range[n]]],MemberQ[#,{}]&&SubsetQ[#,Intersection@@@Tuples[#,2]]&]],{n,0,3}] (* Gus Wiseman, Aug 02 2019 *)
Additional comments from
Don Knuth, Jul 01 2005
A326876
BII-numbers of finite topologies without their empty set.
Original entry on oeis.org
0, 1, 2, 4, 5, 6, 7, 8, 16, 17, 24, 25, 32, 34, 40, 42, 64, 65, 66, 68, 69, 70, 71, 72, 76, 80, 81, 82, 85, 87, 88, 89, 93, 96, 97, 98, 102, 103, 104, 106, 110, 120, 121, 122, 127, 128, 256, 257, 384, 385, 512, 514, 640, 642, 1024, 1025, 1026, 1028, 1029, 1030
Offset: 1
The sequence of all finite topologies without their empty set together with their BII-numbers begins:
0: {}
1: {{1}}
2: {{2}}
4: {{1,2}}
5: {{1},{1,2}}
6: {{2},{1,2}}
7: {{1},{2},{1,2}}
8: {{3}}
16: {{1,3}}
17: {{1},{1,3}}
24: {{3},{1,3}}
25: {{1},{3},{1,3}}
32: {{2,3}}
34: {{2},{2,3}}
40: {{3},{2,3}}
42: {{2},{3},{2,3}}
64: {{1,2,3}}
65: {{1},{1,2,3}}
66: {{2},{1,2,3}}
68: {{1,2},{1,2,3}}
69: {{1},{1,2},{1,2,3}}
-
bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Select[Range[0,100],SubsetQ[bpe/@bpe[#],Union[Union@@@Tuples[bpe/@bpe[#],2],DeleteCases[Intersection@@@Tuples[bpe/@bpe[#],2],{}]]]&]
A001832
Number of labeled connected bipartite graphs on n nodes.
Original entry on oeis.org
1, 1, 3, 19, 195, 3031, 67263, 2086099, 89224635, 5254054111, 426609529863, 47982981969979, 7507894696005795, 1641072554263066471, 502596525992239961103, 216218525837808950623459, 130887167385831881114006475, 111653218763166828863141636911
Offset: 1
- Miklos Bona, editor, Handbook of Enumerative Combinatorics, CRC Press, 2015, p. 406.
- R. W. Robinson, Numerical implementation of graph counting algorithms, AGRC Grant, Math. Dept., Univ. Newcastle, Australia, 1976.
- 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).
- T. D. Noe, Table of n, a(n) for n = 1..50
- F. Harary and R. W. Robinson, Labeled bipartite blocks, Canad. J. Math., 31 (1979), 60-68.
- F. Harary and R. W. Robinson, Labeled bipartite blocks, Canad. J. Math., 31 (1979), 60-68. (Annotated scanned copy)
- D. A. Klarner, The number of graded partially ordered sets, J. Combin. Theory, 6 (1969), 12-19.
- D. A. Klarner, The number of graded partially ordered sets, J. Combin. Theory, 6 (1969), 12-19. [Annotated scanned copy]
- A. Nymeyer and R. W. Robinson, Tabulation of the Numbers of Labeled Bipartite Blocks and Related Classes of Bicolored Graphs, 1982 [Annotated scanned copy of unpublished MS and letter from R.W.R.]
- Eric Weisstein's World of Mathematics, n-Colorable Graph
- Eric Weisstein's World of Mathematics, n-Chromatic Graph
-
mx = 17; s = Sum[ Binomial[n, k] 2^(k (n - k)) x^n/n!, {n, 0, mx}, {k, 0, n}] ; Range[0, mx]! CoefficientList[ Series[ Log[s]/2, {x, 0, mx}], x] (* Geoffrey Critzer, May 10 2011 *)
-
seq(n)=Vec(serlaplace(log(sum(k=0, n, exp(2^k*x + O(x*x^n))*x^k/k!))/2)) \\ Andrew Howroyd, Sep 26 2018
A006058
Number of connected labeled T_4-topologies with n points.
Original entry on oeis.org
1, 1, 3, 16, 145, 2111, 47624, 1626003, 82564031, 6146805142, 662718022355, 102336213875523, 22408881211102698, 6895949927379360277, 2958271314760111914191, 1756322140048351303019576
Offset: 0
- N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
- Herman Jamke, Table of n, a(n) for n = 0..19
- M. Erné, Struktur- und Anzahlformeln für Topologien auf Endlichen Mengen, Manuscripta Math., 11 (1974), 221-259.
- M. Erné, Struktur- und Anzahlformeln für Topologien auf Endlichen Mengen, Manuscripta Math., 11 (1974), 221-259. (Annotated scanned copy)
-
stableSets[u_,Q_]:=If[Length[u]==0,{{}},With[{w=First[u]},Join[stableSets[DeleteCases[u,w],Q],Prepend[#,w]&/@stableSets[DeleteCases[u,r_/;r==w||Q[r,w]||Q[w,r]],Q]]]];
Table[Length[Select[stableSets[Subsets[Range[n],{1,n}],Intersection[#1,#2]=={}&],Union@@#==Range[n]&&SubsetQ[#,Union[Union@@@Tuples[#,2],Intersection@@@Tuples[#,2]]]&]],{n,0,4}] (* Gus Wiseman, Aug 05 2019 *)
A000798 = Append[Cases[Import["https://oeis.org/A000798/b000798.txt", "Table"], {, }][[All, 2]], 0];
a[n_] := If[n == 0, 1, Sum[ Binomial[n, k] A000798[[k+1]], {k, 0, n-1}]];
a /@ Range[0, Length[A000798]-1] (* Jean-François Alcover, Jan 01 2020 *)
More terms from Herman Jamke (hermanjamke(AT)fastmail.fm), Mar 02 2008
A001927
Number of connected partially ordered sets with n labeled points.
Original entry on oeis.org
1, 1, 2, 12, 146, 3060, 101642, 5106612, 377403266, 40299722580, 6138497261882, 1320327172853172, 397571105288091506, 166330355795371103700, 96036130723851671469482, 76070282980382554147600692, 82226869197428315925408327266, 120722306604121583767045993825620, 239727397782668638856762574296226842
Offset: 0
- 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).
- C. M. Bender et al., Combinatorics and field theory, arXiv:quant-ph/0604164, 2006.
- G. Brinkmann, B. D. McKay, Posets on up to 16 Points, Order 19 (2) (2002) 147-179 (Table II, up to 18 points)
- 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
- 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. [Annotated scan of pages 180 and 183 only]
- M. Erné, Struktur- und Anzahlformeln für Topologien auf Endlichen Mengen, Manuscripta Math., 11 (1974), 221-259.
- M. Erné, Struktur- und Anzahlformeln für Topologien auf Endlichen Mengen, Manuscripta Math., 11 (1974), 221-259. (Annotated scanned copy)
- M. Erné and K. Stege, Counting Finite Posets and Topologies, Order, 8 (1991), 247-265.
- N. J. A. Sloane, List of sequences related to partial orders, circa 1972
- J. A. Wright, There are 718 6-point topologies, quasiorderings and transgraphs, Preprint, 1970 [Annotated scanned copy]
- J. A. Wright, Letter to N. J. A. Sloane, Apr 06 1972, listing 18 sequences
- Index entries for sequences related to posets
-
A001035 = {1, 1, 3, 19, 219, 4231, 130023, 6129859, 431723379, 44511042511, 6611065248783, 1396281677105899, 414864951055853499, 171850728381587059351, 98484324257128207032183, 77567171020440688353049939, 83480529785490157813844256579, 122152541250295322862941281269151, 241939392597201176602897820148085023};
max = Length[A001035]-1;
B[x_] = Sum[A001035[[k+1]]*x^k/k!, {k, 0, max}];
A[x_] = 1 + Log[B[x]];
CoefficientList[A[x] + O[x]^(max-1), x]*Range[0, max-2]! (* Jean-François Alcover, Apr 17 2014, updated Aug 30 2018 *)
Comments