A304998 -id:A304998 - cp's OEIS frontend

A304999 Number of labeled antichains of finite sets spanning n vertices with singleton edges allowed.

1, 1, 5, 53, 1577, 212137, 496946349, 309068823607069, 14369391923126237496803793, 146629927766168786109802623629262590838145873

Offset: 0

Gus Wiseman, May 23 2018

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

			The a(2) = 5 antichains:
  {{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 p. 4.
Gus Wiseman, Sequences enumerating clutters, antichains, hypertrees, and hyperforests, organized by labeling, spanning, and allowance of singletons.

Cf. A006126, A014466, A261005, A304996, A304997, A304998, A304999, A305000, A305001.

Cf. A000372, A003182, A304985, A305844, A306505, A319721, A321679, A324167.

Exponential transform of A304985.

Inverse binomial transform of A305000. - Aniruddha Biswas, May 12 2024

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

a(9) from Aniruddha Biswas, May 12 2024

A305999 Number of unlabeled spanning intersecting set-systems on n vertices with no singletons.

Original entry on oeis.org

1, 0, 1, 6, 76, 12916

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. S is spanning if every vertex is contained in some edge. A singleton is an edge containing only one vertex.

			Non-isomorphic representative of the a(3) = 6 set-systems:
{{1,2,3}}
{{1,3},{2,3}}
{{2,3},{1,2,3}}
{{1,2},{1,3},{2,3}}
{{1,3},{2,3},{1,2,3}}
{{1,2},{1,3},{2,3},{1,2,3}}

Cf. A001206, A051185, A048143, A261006, A058891, A261005, A304998, A305854-A305857, A305935, A306000, A306001, A306008.

a(n) = A306001(n) - A306001(n-1) for n > 0. - Andrew Howroyd, Aug 12 2019

a(5) from Andrew Howroyd, Aug 12 2019

A317074 Number of antichains of multisets with multiset-join a strongly normal multiset of size n.

Original entry on oeis.org

1, 1, 3, 13, 148, 7685

Offset: 0

Gus Wiseman, Jul 20 2018

An antichain of multisets is a finite set of finite nonempty multisets, none of which is a submultiset of any other. A multiset is strongly normal if it spans an initial interval of positive integers with weakly decreasing multiplicities. The multiset-join of a multiset system has the same vertices with multiplicities equal to the maxima of the multiplicities in the edges.

			The a(3) = 13 antichains of multisets:
  (111),
  (112), (11)(12), (2)(11),
  (123), (13)(23), (12)(23), (12)(13), (12)(13)(23), (3)(12), (2)(13), (1)(23), (1)(2)(3).

Goran Kilibarda and Vladeta Jovovic, Antichains of Multisets, Journal of Integer Sequences, Vol. 7 (2004).

Cf. A048143, A285572, A293993, A293994, A303837, A303838, A304998, A305001.

Cf. A317073, A317076, A317078, A317079.

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]]]];
multijoin[mss__]:=Join@@Table[Table[x,{Max[Count[#,x]&/@{mss}]}],{x,Union[mss]}];
submultisetQ[M_,N_]:=Or[Length[M]==0,MatchQ[{Sort[List@@M],Sort[List@@N]},{{x_,Z___},{_,x_,W___}}/;submultisetQ[{Z},{W}]]];
strnorm[n_]:=Flatten[MapIndexed[Table[#2,{#1}]&,#]]&/@IntegerPartitions[n];
auu[m_]:=Select[stableSets[Union[Rest[Subsets[m]]],submultisetQ],multijoin@@#==m&];
Table[Length[Join@@Table[auu[m],{m,strnorm[n]}]],{n,5}]

A317080 Number of unlabeled connected antichains of multisets with multiset-join a multiset of size n.

Original entry on oeis.org

1, 1, 2, 6, 34, 392

Offset: 0

Gus Wiseman, Jul 20 2018

An antichain of multisets is a finite set of finite nonempty multisets, none of which is a submultiset of any other. The multiset-join of a multiset system has the same vertices with multiplicities equal to the maxima of the multiplicities in the edges.

			Non-isomorphic representatives of the a(3) = 6 connected antichains of multisets:
  (111),
  (122), (12)(22),
  (123), (13)(23), (12)(13)(23).

Goran Kilibarda and Vladeta Jovovic, Antichains of Multisets, Journal of Integer Sequences, Vol. 7 (2004).

Cf. A007716, A007718, A048143, A261006, A286520, A293993, A293994, A304716, A304998.

Cf. A317073, A317074, A317075, A317076, A317077, A317078, A317079.

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]]]];
multijoin[mss__]:=Join@@Table[Table[x,{Max[Count[#,x]&/@{mss}]}],{x,Union[mss]}]
submultisetQ[M_,N_]:=Or[Length[M]==0,MatchQ[{Sort[List@@M],Sort[List@@N]},{{x_,Z___},{_,x_,W___}}/;submultisetQ[{Z},{W}]]];
csm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[OrderedQ[#],UnsameQ@@#,Length[Intersection@@s[[#]]]>0]&]},If[c=={},s,csm[Union[Append[Delete[s,List/@c[[1]]],multijoin@@s[[c[[1]]]]]]]]];
strnorm[n_]:=Flatten[MapIndexed[Table[#2,{#1}]&,#]]&/@IntegerPartitions[n];
sysnorm[m_]:=First[Sort[sysnorm[m,1]]];
sysnorm[m_,aft_]:=If[Length[Union@@m]<=aft,{m},With[{mx=Table[Count[m,i,{2}],{i,Select[Union@@m,#>=aft&]}]},Union@@(sysnorm[#,aft+1]&/@Union[Table[Map[Sort,m/.{par+aft-1->aft,aft->par+aft-1},{0,1}],{par,First/@Position[mx,Max[mx]]}]])]];
cuu[m_]:=Select[stableSets[Union[Rest[Subsets[m]]],submultisetQ],And[multijoin@@#==m,Length[csm[#]]==1]&];
Table[Length[Union[sysnorm/@Join@@Table[cuu[m],{m,strnorm[n]}]]],{n,5}]

A317079 Number of unlabeled antichains of multisets with multiset-join a multiset of size n.

Original entry on oeis.org

1, 1, 3, 9, 46, 450

Offset: 0

Gus Wiseman, Jul 20 2018

An antichain of multisets is a finite set of finite nonempty multisets, none of which is a submultiset of any other. The multiset-join of a multiset system has the same vertices with multiplicities equal to the maxima of the multiplicities in the edges.

			Non-isomorphic representatives of the a(3) = 9 antichains of multisets:
  (111),
  (122), (1)(22), (12)(22),
  (123), (1)(23), (13)(23), (1)(2)(3), (12)(13)(23).

Goran Kilibarda and Vladeta Jovovic, Antichains of Multisets, Journal of Integer Sequences, Vol. 7 (2004).

Cf. A007716, A255906, A261006, A285572, A293993, A293994, A304998.

Cf. A317073, A317074, A317075, A317076, A317080.

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]]]];
multijoin[mss__]:=Join@@Table[Table[x,{Max[Count[#,x]&/@{mss}]}],{x,Union[mss]}]
submultisetQ[M_,N_]:=Or[Length[M]==0,MatchQ[{Sort[List@@M],Sort[List@@N]},{{x_,Z___},{_,x_,W___}}/;submultisetQ[{Z},{W}]]];
strnorm[n_]:=Flatten[MapIndexed[Table[#2,{#1}]&,#]]&/@IntegerPartitions[n];
auu[m_]:=Select[stableSets[Union[Rest[Subsets[m]]],submultisetQ],multijoin@@#==m&];
sysnorm[m_]:=First[Sort[sysnorm[m,1]]];sysnorm[m_,aft_]:=If[Length[Union@@m]<=aft,{m},With[{mx=Table[Count[m,i,{2}],{i,Select[Union@@m,#>=aft&]}]},Union@@(sysnorm[#,aft+1]&/@Union[Table[Map[Sort,m/.{par+aft-1->aft,aft->par+aft-1},{0,1}],{par,First/@Position[mx,Max[mx]]}]])]];
Table[Length[Union[sysnorm/@Join@@Table[auu[m],{m,strnorm[n]}]]],{n,5}]

A305855 Number of unlabeled spanning intersecting antichains on n vertices.

Original entry on oeis.org

1, 1, 1, 3, 9, 72, 3441, 47170585

Offset: 0

Gus Wiseman, Jun 11 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. S is spanning if every vertex is contained in some edge.

			Non-isomorphic representatives of the a(4) = 9 spanning intersecting antichains:
  {{1,2,3,4}}
  {{1,4},{2,3,4}}
  {{1,3,4},{2,3,4}}
  {{1,2},{1,3,4},{2,3,4}}
  {{1,3},{1,4},{2,3,4}}
  {{1,4},{2,4},{3,4}}
  {{1,2,4},{1,3,4},{2,3,4}}
  {{1,2},{1,3},{1,4},{2,3,4}}
  {{1,2,3},{1,2,4},{1,3,4},{2,3,4}}

Cf. A001206, A006126, A051185, A261006, A283877, A304998, A305843, A305844, A305854-A305857.

a(n) = A305857(n) - A305857(n-1) for n > 0. - Andrew Howroyd, Aug 13 2019

a(6) from Andrew Howroyd, Aug 13 2019

a(7) from Brendan McKay, May 11 2020

A305856 Number of unlabeled intersecting set-systems on up to n vertices.

Original entry on oeis.org

1, 2, 4, 14, 124, 14992, 1289845584

Offset: 0

Gus Wiseman, Jun 11 2018

An intersecting set-system is a finite set of finite nonempty sets (edges), any two of which have a nonempty intersection.

			Non-isomorphic representatives of the a(3) = 14 intersecting set-systems:
  {}
  {{1}}
  {{1,2}}
  {{1,2,3}}
  {{2},{1,2}}
  {{3},{1,2,3}}
  {{1,3},{2,3}}
  {{2,3},{1,2,3}}
  {{3},{1,3},{2,3}}
  {{3},{2,3},{1,2,3}}
  {{1,2},{1,3},{2,3}}
  {{1,3},{2,3},{1,2,3}}
  {{3},{1,3},{2,3},{1,2,3}}
  {{1,2},{1,3},{2,3},{1,2,3}}

Cf. A001206, A006126, A051185, A261006, A283877, A304982, A304996, A304998, A305843, A305844, A305854-A305857.

a(5) from Andrew Howroyd, Aug 12 2019

a(6) from Bert Dobbelaere, Apr 28 2025

A306001 Number of unlabeled intersecting set-systems with no singletons on up to n vertices.

Original entry on oeis.org

1, 1, 2, 8, 84, 13000

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. A singleton is an edge containing only one vertex.

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

Cf. A001206, A051185, A048143, A261006, A058891, A261005, A304998, A305854-A305857, A305935, A305999, A306000.

a(n) = A305856(n) - A000612(n). - Andrew Howroyd, Aug 12 2019

a(5) from Andrew Howroyd, Aug 12 2019

cp's OEIS Frontend

A304999 Number of labeled antichains of finite sets spanning n vertices with singleton edges allowed.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

Extensions

A305999 Number of unlabeled spanning intersecting set-systems on n vertices with no singletons.

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula

Extensions

A317074 Number of antichains of multisets with multiset-join a strongly normal multiset of size n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A317080 Number of unlabeled connected antichains of multisets with multiset-join a multiset of size n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A317079 Number of unlabeled antichains of multisets with multiset-join a multiset of size n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A305855 Number of unlabeled spanning intersecting antichains on n vertices.

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula

Extensions

A305856 Number of unlabeled intersecting set-systems on up to n vertices.

Views

Author

Keywords

Comments

Examples

Crossrefs

Extensions

A306001 Number of unlabeled intersecting set-systems with no singletons on up to n vertices.

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula

Extensions