A293606 -id:A293606 - cp's OEIS frontend

A307249 Number of simplicial complexes with n nodes.

1, 1, 2, 9, 114, 6894, 7785062, 2414627396434, 56130437209370320359966, 286386577668298410623295216696338374471993

Offset: 0

Gus Wiseman, Mar 31 2019

Except for a(0) = 1, this is also the number of antichains of nonempty sets covering n vertices (A006126). There are two antichains of size zero, namely {} and {{}}, while there is only one simplicial complex, namely {}. The unlabeled case is A261005. The non-covering case is A014466.

			Maximal simplices of the a(0) = 1 through a(3) = 9 simplicial complexes:
  {}    {{1}}  {{12}}    {{123}}
               {{1}{2}}  {{1}{23}}
                         {{2}{13}}
                         {{3}{12}}
                         {{12}{13}}
                         {{12}{23}}
                         {{13}{23}}
                         {{1}{2}{3}}
                         {{12}{13}{23}}

Francisco Ponce Carrión and Seth Sullivant, Marginal Independence and Partial Set Partitions, arXiv:2402.16292 [math.ST], 2024. See p. 21.
Gus Wiseman, Sequences enumerating clutters, antichains, hypertrees, and hyperforests, organized by labeling, spanning, and allowance of singletons.

Cf. A000372, A003182, A006126, A006602, A014466, A261005, A293606, A293993, A305000, A305844, A306550, A317674, A319721, A320449.

nn=5;
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[stableSets[Subsets[Range[n],{2,n}],SubsetQ]],{n,0,nn}]

Inverse binomial transform of A014466.

a(9) from Dmitry I. Ignatov, Nov 25 2023

A306006 Number of non-isomorphic intersecting set-systems of weight n.

Original entry on oeis.org

1, 1, 1, 2, 3, 5, 10, 16, 30, 57, 109, 209, 431, 873, 1850, 3979, 8819, 19863

Offset: 0

Gus Wiseman, Jun 16 2018

An intersecting set-system S is a finite set of finite nonempty sets (edges), any two of which have a nonempty intersection. The weight of S is the sum of cardinalities of its elements. Weight is generally not the same as number of vertices.

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

Cf. A007716, A034691, A048143, A049311, A116540, A283877, A293606, A293607, A304867, A305999, A305854-A305857, A306005-A306008.

a(10)-a(17) from Bert Dobbelaere, May 04 2025

A305000 Number of labeled antichains of finite sets spanning some subset of {1,...,n} with singleton edges allowed.

Original entry on oeis.org

1, 2, 8, 72, 1824, 220608, 498243968, 309072306743552, 14369391925598802012151296, 146629927766168786239127150948525247729660416

Offset: 0

Gus Wiseman, May 23 2018

Only the non-singleton edges are required to form an antichain.

Number of non-degenerate unate Boolean functions of n or fewer variables. - Aniruddha Biswas, May 11 2024

			The a(2) = 8 antichains:
  {}
  {{1}}
  {{2}}
  {{1,2}}
  {{1},{2}}
  {{1},{1,2}}
  {{2},{1,2}}
  {{1},{2},{1,2}}

Aniruddha Biswas and Palash Sarkar, Counting unate and balanced monotone Boolean functions, arXiv:2304.14069 [math.CO], 2023.
Aniruddha Biswas and Palash Sarkar, Counting Unate and Monotone Boolean Functions Under Restrictions of Balancedness and Non-Degeneracy, J. Int. Seq. (2025) Vol. 28, Art. No. 25.3.4. See pp. 4, 12.
Gus Wiseman, Sequences enumerating clutters, antichains, hypertrees, and hyperforests, organized by labeling, spanning, and allowance of singletons.

Cf. A006126, A261005, A304996, A304997, A304998, A304999, A305000, A305001.
Cf. A000372, A003182, A014466, A293606, A293993, A306505, A320449, A321679.
Cf. A245079.

Binomial transform of A304999.

Inverse binomial transform of A245079. - Aniruddha Biswas, May 11 2024

a(5)-a(8) from Gus Wiseman, May 31 2018

a(9) from Aniruddha Biswas, May 11 2024

A293607 Number of unlabeled clutters of weight n.

Original entry on oeis.org

1, 1, 1, 1, 2, 2, 7, 8, 23, 42

Offset: 0

Gus Wiseman, Oct 13 2017

A clutter is a connected antichain of finite sets. The weight of a clutter is the sum of cardinalities of its edges.

			Non-isomorphic representatives of the a(7) = 8 clutters are:
((1234567)),
((12)(13456)), ((123)(1245)), ((123)(1456)),
((12)(13)(145)), ((12)(13)(234)), ((12)(13)(245)), ((13)(24)(125)).

Cf. A006126, A007716, A048143, A049311, A283877, A293606.

A306505 Number of non-isomorphic antichains of nonempty subsets of {1,...,n}.

Original entry on oeis.org

1, 2, 4, 9, 29, 209, 16352, 490013147, 1392195548889993357, 789204635842035040527740846300252679

Offset: 0

Gus Wiseman, Feb 20 2019

The spanning case is A006602 or A261005. The labeled case is A014466.
From Petros Hadjicostas, Apr 22 2020: (Start)
a(n) is the number of "types" of log-linear hierarchical models on n factors in the sense of Colin Mallows (see the emails to N. J. A. Sloane).
Two hierarchical models on n factors belong to the same "type" iff one can obtained from the other by a permutation of the factors.
The total number of hierarchical log-linear models on n factors (in all "types") is given by A014466(n) = A000372(n) - 1.
The name of a hierarchical log-linear model on factors is based on the collection of maximal interaction terms, which must be an antichain (by the definition of maximality).
In his example on p. 1, Colin Mallows groups the A014466(3) = 19 hierarchical log-linear models on n = 3 factors x, y, z into a(3) = 9 types. See my example below for more details. (End)
First differs from A348260(n + 1) - 1 at a(5) = 209, A348260(6) - 1 = 232. - Gus Wiseman, Nov 28 2021

			Non-isomorphic representatives of the a(0) = 1 through a(3) = 9 antichains:
  {}  {}     {}         {}
      {{1}}  {{1}}      {{1}}
             {{1,2}}    {{1,2}}
             {{1},{2}}  {{1},{2}}
                        {{1,2,3}}
                        {{1},{2,3}}
                        {{1},{2},{3}}
                        {{1,3},{2,3}}
                        {{1,2},{1,3},{2,3}}
From _Petros Hadjicostas_, Apr 23 2020: (Start)
We expand _Colin Mallows_'s example from p. 1 of his list of 1991 emails. For n = 3, we have the following a(3) = 9 "types" of log-linear hierarchical models:
Type 1: ( ), Type 2: (x), (y), (z), Type 3: (x,y), (y,z), (z,x), Type 4: (x,y,z), Type 5: (xy), (yz), (zx), Type 6: (xy,z), (yz,x), (zx,y), Type 7: (xy,xz), (yx,yz), (zx,zy), Type 8: (xy,yz,zx), Type 9: (xyz).
For each model, the name only contains the maximal terms. See p. 36 in Wickramasinghe (2008) for the full description of the 19 models.
Strictly speaking, I should have used set notation (rather than parentheses) for the name of each model, but I follow the tradition of the theory of log-linear models. In addition, in an interaction term such as xy, the order of the factors is irrelevant.
Models in the same type essentially have similar statistical properties.
For example, models in Type 7 have the property that two factors are conditionally independent of one another given each level (= category) of the third factor.
Models in Type 6 are such that two factors are jointly independent from the third one. (End)

C. L. Mallows, Emails to N. J. A. Sloane, Jun-Jul 1991, p. 1.
R. I. P. Wickramasinghe, Topics in log-linear models, Master of Science thesis in Statistics, Texas Tech University, Lubbock, TX, 2008, p. 36.
Gus Wiseman, Sequences enumerating clutters, antichains, hypertrees, and hyperforests, organized by labeling, spanning, and allowance of singletons.

Cf. A000372, A003182, A006126, A006602, A014466, A261005, A293606, A293993, A304996, A305000, A305001, A305857, A317674, A319721, A320449, A321679.

Cf. A007363, A306007, A307249, A326358, A326359, A326360, A326363.

a(n) = A003182(n) - 1.

Partial sums of A006602 minus 1.

a(8) from A003182. - Bartlomiej Pawelski, Nov 27 2022

a(9) from A003182. - Dmitry I. Ignatov, Nov 27 2023

A319639 Number of antichain covers of n vertices by distinct sets whose dual is also an antichain of distinct sets.

Original entry on oeis.org

1, 1, 1, 2, 20, 2043

Offset: 0

Gus Wiseman, Sep 25 2018

The dual of a multiset partition has, for each vertex, one block consisting of the indices (or positions) of the blocks containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}.

			The a(1) = 1 through a(3) = 2 antichain covers:
1: {{1}}
2: {{1},{2}}
3: {{1},{2},{3}}
   {{1,2},{1,3},{2,3}}

Cf. A006126, A007716, A049311, A059201, A283877, A293606, A316980, A316983, A318099, A319558, A319616-A319646, A300913.

A327062 Number of antichains of distinct sets covering a subset of {1..n} whose dual is a weak antichain.

Original entry on oeis.org

1, 2, 5, 16, 81, 2595

Offset: 0

Gus Wiseman, Aug 18 2019

A set-system is a finite set of finite nonempty sets. Its elements are sometimes called edges. 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}}. A weak antichain is a multiset of sets, none of which is a proper subset of any other.

			The a(0) = 1 through a(3) = 16 antichains:
  {}  {}     {}         {}
      {{1}}  {{1}}      {{1}}
             {{2}}      {{2}}
             {{1,2}}    {{3}}
             {{1},{2}}  {{1,2}}
                        {{1,3}}
                        {{2,3}}
                        {{1},{2}}
                        {{1,2,3}}
                        {{1},{3}}
                        {{2},{3}}
                        {{1},{2,3}}
                        {{2},{1,3}}
                        {{3},{1,2}}
                        {{1},{2},{3}}
                        {{1,2},{1,3},{2,3}}

Antichains are A000372.
The covering case is A319639.
The non-isomorphic multiset partition version is A319721.
The BII-numbers of these set-systems are the intersection of A326910 and A326853.
Set-systems whose dual is a weak antichain are A326968.
The unlabeled version is A327018.
Cf. A006126, A318099, A293606, A326704, A326950, A327020, A327057.

dual[eds_]:=Table[First/@Position[eds,x],{x,Union@@eds}];
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]]]];
stableQ[u_,Q_]:=!Apply[Or,Outer[#1=!=#2&&Q[#1,#2]&,u,u,1],{0,1}];
Table[Length[Select[stableSets[Subsets[Range[n],{1,n}],SubsetQ],stableQ[dual[#],SubsetQ]&]],{n,0,3}]

A306007 Number of non-isomorphic intersecting antichains of weight n.

Original entry on oeis.org

1, 1, 1, 1, 2, 2, 6, 6, 14, 22

Offset: 0

Gus Wiseman, Jun 16 2018

An intersecting antichain S is a finite set of finite nonempty sets (edges), any two of which have a nonempty intersection, and none of which is a subset of any other. The weight of S is the sum of cardinalities of its elements. Weight is generally not the same as number of vertices.

			Non-isomorphic representatives of the a(8) = 14 set-systems:
{{1,2,3,4,5,6,7,8}}
{{1,7},{2,3,4,5,6,7}}
{{1,2,7},{3,4,5,6,7}}
{{1,5,6},{2,3,4,5,6}}
{{1,2,3,7},{4,5,6,7}}
{{1,2,5,6},{3,4,5,6}}
{{1,3,4,5},{2,3,4,5}}
{{1,2},{1,3,4},{2,3,4}}
{{1,4},{1,5},{2,3,4,5}}
{{1,5},{2,4,5},{3,4,5}}
{{1,6},{2,6},{3,4,5,6}}
{{1,6},{2,3,6},{4,5,6}}
{{2,4},{1,2,5},{3,4,5}}
{{1,5},{2,5},{3,5},{4,5}}

Cf. A007411, A007716, A034691, A048143, A049311, A116540, A283877, A293606, A293607, A304867, A305999, A305854-A305857, A306005-A306008.

A327350 Triangle read by rows where T(n,k) is the number of antichains of nonempty sets covering n vertices with vertex-connectivity >= k.

Original entry on oeis.org

1, 1, 0, 2, 1, 0, 9, 5, 2, 0, 114, 84, 44, 17, 0, 6894, 6348, 4983, 3141, 1451, 0, 7785062

Offset: 0

Gus Wiseman, Sep 09 2019

An antichain is a set of sets, none of which is a subset of any other. It is covering if there are no isolated vertices.
The vertex-connectivity of a set-system is the minimum number of vertices that must be removed (along with any empty or duplicate edges) to obtain a non-connected set-system or singleton. Note that this means a single node has vertex-connectivity 0.
If empty edges are allowed, we have T(0,0) = 2.

			Triangle begins:
     1
     1    0
     2    1    0
     9    5    2    0
   114   84   44   17    0
  6894 6348 4983 3141 1451    0
The antichains counted in row n = 3:
  {123}         {123}         {123}
  {1}{23}       {12}{13}      {12}{13}{23}
  {2}{13}       {12}{23}
  {3}{12}       {13}{23}
  {12}{13}      {12}{13}{23}
  {12}{23}
  {13}{23}
  {1}{2}{3}
  {12}{13}{23}

Column k = 0 is A307249, or A006126 if empty edges are allowed.
Column k = 1 is A048143 (clutters), if we assume A048143(0) = A048143(1) = 0.
Column k = 2 is A275307 (blobs), if we assume A275307(1) = A275307(2) = 0.
Column k = n - 1 is A327020 (cointersecting antichains).
The unlabeled version is A327358.
Negated first differences of rows are A327351.
BII-numbers of antichains are A326704.
Antichain covers are A006126.
Cf. A003465, A014466, A120338, A293606, A293993, A319639, A323818, A327112, A327125, A327334, A327336, A327352, A327356, A327357, A327358.

csm[s_]:=With[{c=Select[Subsets[Range[Length[s]],{2}],Length[Intersection@@s[[#]]]>0&]},If[c=={},s,csm[Sort[Append[Delete[s,List/@c[[1]]],Union@@s[[c[[1]]]]]]]]];
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]]]];
vertConnSys[vts_,eds_]:=Min@@Length/@Select[Subsets[vts],Function[del,Length[del]==Length[vts]-1||csm[DeleteCases[DeleteCases[eds,Alternatives@@del,{2}],{}]]!={Complement[vts,del]}]];
Table[Length[Select[stableSets[Subsets[Range[n],{1,n}],SubsetQ],Union@@#==Range[n]&&vertConnSys[Range[n],#]>=k&]],{n,0,4},{k,0,n}]

a(21) from Robert Price, May 24 2021

A306008 Number of non-isomorphic intersecting set-systems of weight n with no singletons.

Original entry on oeis.org

1, 0, 1, 1, 2, 3, 7, 10, 21, 39, 78

Offset: 0

Gus Wiseman, Jun 16 2018

An intersecting set-system is a finite set of finite nonempty sets (edges), any two of which have a nonempty intersection. The weight of a set-system is the sum of cardinalities of its elements. Weight is generally not the same as number of vertices.

			Non-isomorphic representatives of the a(6) = 7 set-systems:
{{1,2,3,4,5,6}}
{{1,5},{2,3,4,5}}
{{3,4},{1,2,3,4}}
{{1,2,5},{3,4,5}}
{{1,3,4},{2,3,4}}
{{1,2},{1,3},{2,3}}
{{1,4},{2,4},{3,4}}

Cf. A007716, A034691, A048143, A049311, A116540, A283877, A293606, A293607, A304867, A305999, A305854-A305857, A306005-A306007.

cp's OEIS Frontend

A307249 Number of simplicial complexes with n nodes.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A306006 Number of non-isomorphic intersecting set-systems of weight n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Extensions

A305000 Number of labeled antichains of finite sets spanning some subset of {1,...,n} with singleton edges allowed.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

Extensions

A293607 Number of unlabeled clutters of weight n.

Views

Author

Keywords

Comments

Examples

Crossrefs

A306505 Number of non-isomorphic antichains of nonempty subsets of {1,...,n}.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

Extensions

A319639 Number of antichain covers of n vertices by distinct sets whose dual is also an antichain of distinct sets.

Views

Author

Keywords

Comments

Examples

Crossrefs

A327062 Number of antichains of distinct sets covering a subset of {1..n} whose dual is a weak antichain.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A306007 Number of non-isomorphic intersecting antichains of weight n.

Views

Author

Keywords

Comments

Examples

Crossrefs

A327350 Triangle read by rows where T(n,k) is the number of antichains of nonempty sets covering n vertices with vertex-connectivity >= k.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica