A305001 -id:A305001 - cp's OEIS frontend

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

1, 1, 3, 16, 198, 9890, 8592538

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 normal if it spans an initial interval of positive integers. The multiset-join of a set of multisets has the same vertices with multiplicities equal to the maxima of the multiplicities in the edges.

			The a(3) = 16 antichains of multisets:
  (111),
  (122), (12)(22), (1)(22),
  (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, A255906, A285572, A303837, A303838, A304998, A305001.

Cf. A317074, A317075, A317077, 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}]]];
allnorm[n_]:=Function[s,Array[Count[s,y_/;y<=#]+1&,n]]/@Subsets[Range[n-1]+1];
auu[m_]:=Select[stableSets[Union[Rest[Subsets[m]]],submultisetQ],multijoin@@#==m&];
Table[Length[Join@@Table[auu[m],{m,allnorm[n]}]],{n,5}]

a(6) from Robert Price, Jun 21 2021

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

Original entry on oeis.org

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

A323816 Number of set-systems covering n vertices with no singletons.

Original entry on oeis.org

1, 0, 1, 12, 1993, 67098768, 144115187673233113, 1329227995784915871895000745158568460, 226156424291633194186662080095093570015284114833799899660370362545578585265

Offset: 0

Gus Wiseman, Jan 30 2019

nonn

			The a(3) = 12 set-systems:
  {{1,2,3}}
  {{1,2}, {1,3}}
  {{1,2}, {2,3}}
  {{1,3}, {2,3}}
  {{1,2}, {1,2,3}}
  {{1,3}, {1,2,3}}
  {{2,3}, {1,2,3}}
  {{1,2}, {1,3}, {2,3}}
  {{1,2}, {1,3}, {1,2,3}}
  {{1,2}, {2,3}, {1,2,3}}
  {{1,3}, {2,3}, {1,2,3}}
  {{1,2}, {1,3}, {2,3}, {1,2,3}}

G. C. Greubel, Table of n, a(n) for n = 0..11

Cf. A000295, A000371, A000612, A003465 (with singletons), A006129 (covers by pairs), A016031, A055154, A055621, A305001, A317795 (unlabeled case), A323817 (connected case).

[(&+[(-1)^(n-j)*Binomial(n,j)*2^(2^j -j-1): j in [0..n]]): n in [0..12]]; // G. C. Greubel, Oct 05 2022

a:= n-> add(2^(2^(n-j)-n+j-1)*binomial(n, j)*(-1)^j, j=0..n):
seq(a(n), n=0..8);  # Alois P. Heinz, Jan 30 2019

Table[Sum[(-1)^(n-k)*Binomial[n,k]*2^(2^k-k-1),{k,0,n}],{n,0,8}]

def A323816(n): return sum((-1)^j*binomial(n,j)*2^(2^(n-j) -n+j-1) for j in range(n+1))
[A323816(n) for n in range(12)] # G. C. Greubel, Oct 05 2022

Inverse binomial transform of A016031 shifted once to the left.

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

A317075 Number of connected antichains of multisets with multiset-join a normal multiset of size n.

Original entry on oeis.org

1, 1, 2, 10, 147, 8998

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 normal if it spans an initial interval of positive integers. 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) = 10 connected antichains of multisets:
  (111),
  (122), (12)(22),
  (112), (11)(12),
  (123), (13)(23), (12)(23), (12)(13), (12)(13)(23).

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

Cf. A048143, A007718, A255906, A286520, A303837, A303838, A304716, A305001, A305078.

Cf. A317073, A317076, A317077, 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}]]];
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]]]]]]]]];
allnorm[n_]:=Function[s,Array[Count[s,y_/;y<=#]+1&,n]]/@Subsets[Range[n-1]+1];
cuu[m_]:=Select[stableSets[Union[Rest[Subsets[m]]],submultisetQ],And[multijoin@@#==m,Length[csm[#]]==1]&];
Table[Length[Join@@Table[cuu[m],{m,allnorm[n]}]],{n,5}]

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

Original entry on oeis.org

1, 1, 2, 8, 110, 7047

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) = 8 connected antichains of multisets:
  (111),
  (112), (11)(12),
  (123), (13)(23), (12)(23), (12)(13), (12)(13)(23).

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

Cf. A048143, A255906, A286520, A303837, A303838, A304716, A305001, A305078.

Cf. A317074, A317075, A317078, 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}]]];
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];
cuu[m_]:=Select[stableSets[Union[Rest[Subsets[m]]],submultisetQ],And[multijoin@@#==m,Length[csm[#]]==1]&];
Table[Length[Join@@Table[cuu[m],{m,strnorm[n]}]],{n,5}]

A326365 Number of intersecting antichains with empty intersection (meaning there is no vertex in common to all the edges) covering n vertices.

Original entry on oeis.org

1, 0, 0, 1, 23, 1834, 1367903, 229745722873, 423295077919493525420

Offset: 0

Gus Wiseman, Jul 01 2019

Covering means there are no isolated vertices. A set system (set of sets) is an antichain if no part is a subset of any other, and is intersecting if no two parts are disjoint.

			The a(4) = 23 intersecting antichains with empty intersection:
  {{1,2},{1,3},{2,3,4}}
  {{1,2},{1,4},{2,3,4}}
  {{1,2},{2,3},{1,3,4}}
  {{1,2},{2,4},{1,3,4}}
  {{1,3},{1,4},{2,3,4}}
  {{1,3},{2,3},{1,2,4}}
  {{1,3},{3,4},{1,2,4}}
  {{1,4},{2,4},{1,2,3}}
  {{1,4},{3,4},{1,2,3}}
  {{2,3},{2,4},{1,3,4}}
  {{2,3},{3,4},{1,2,4}}
  {{2,4},{3,4},{1,2,3}}
  {{1,2},{1,3,4},{2,3,4}}
  {{1,3},{1,2,4},{2,3,4}}
  {{1,4},{1,2,3},{2,3,4}}
  {{2,3},{1,2,4},{1,3,4}}
  {{2,4},{1,2,3},{1,3,4}}
  {{3,4},{1,2,3},{1,2,4}}
  {{1,2},{1,3},{1,4},{2,3,4}}
  {{1,2},{2,3},{2,4},{1,3,4}}
  {{1,3},{2,3},{3,4},{1,2,4}}
  {{1,4},{2,4},{3,4},{1,2,3}}
  {{1,2,3},{1,2,4},{1,3,4},{2,3,4}}

Intersecting antichain covers are A305844.
Intersecting covers with empty intersection are A326364.
Antichain covers with empty intersection are A305001.
The binomial transform is the non-covering case A326366.
Covering, intersecting antichains with empty intersection are A326365.
Cf. A006126, A007363, A014466, A051185, A058891, A305843, A307249, A318128, A318129, A326361, A326362, A326363.

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}],Or[Intersection[#1,#2]=={},SubsetQ[#1,#2]]&],And[Union@@#==Range[n],#=={}||Intersection@@#=={}]&]],{n,0,4}]

a(7)-a(8) from Andrew Howroyd, Aug 14 2019

A326366 Number of intersecting antichains of nonempty subsets of {1..n} with empty intersection (meaning there is no vertex in common to all the edges).

Original entry on oeis.org

1, 1, 1, 2, 28, 1960, 1379273, 229755337549, 423295079757497714059

Offset: 0

Gus Wiseman, Jul 01 2019

A set system (set of sets) is an antichain if no edge is a subset of any other, and is intersecting if no two edges are disjoint.

			The a(0) = 1 through a(4) = 28 intersecting antichains with empty intersection:
  {}  {}  {}  {}              {}
              {{12}{13}{23}}  {{12}{13}{23}}
                              {{12}{14}{24}}
                              {{13}{14}{34}}
                              {{23}{24}{34}}
                              {{12}{13}{234}}
                              {{12}{14}{234}}
                              {{12}{23}{134}}
                              {{12}{24}{134}}
                              {{13}{14}{234}}
                              {{13}{23}{124}}
                              {{13}{34}{124}}
                              {{14}{24}{123}}
                              {{14}{34}{123}}
                              {{23}{24}{134}}
                              {{23}{34}{124}}
                              {{24}{34}{123}}
                              {{12}{134}{234}}
                              {{13}{124}{234}}
                              {{14}{123}{234}}
                              {{23}{124}{134}}
                              {{24}{123}{134}}
                              {{34}{123}{124}}
                              {{12}{13}{14}{234}}
                              {{12}{23}{24}{134}}
                              {{13}{23}{34}{124}}
                              {{14}{24}{34}{123}}
                              {{123}{124}{134}{234}}

The case with empty edges allowed is A326375.
Intersecting antichains of nonempty sets are A001206.
Intersecting set systems with empty intersection are A326373.
Antichains of nonempty sets with empty intersection are A006126 or A307249.
The inverse binomial transform is the covering case A326365.
Cf. A007363, A014466, A051185, A058891, A305001, A305843, A305844, A318128, A318129, A326361, A326362, A326363, A326364.

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}],Or[Intersection[#1,#2]=={},SubsetQ[#1,#2]]&],#=={}||Intersection@@#=={}&]],{n,0,4}]

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

a(n) = A001206(n+1) + A307249(n) - A014466(n). - Andrew Howroyd, Aug 14 2019

a(7)-a(8) from Andrew Howroyd, Aug 14 2019

A305935 Number of labeled spanning intersecting set-systems on n vertices with no singletons.

Original entry on oeis.org

1, 0, 1, 12, 809, 1146800, 899927167353, 291136684655893185321964, 14704020783497694096988185391720223222562121969, 12553242487939982849962414795232892198542733492886483991398790450208264017757788101836749760

Offset: 0

Gus Wiseman, Jun 15 2018

nonn

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.

			The a(3) = 12 spanning intersecting set-systems with no singletons:
{{1,2,3}}
{{1,2},{1,3}}
{{1,2},{2,3}}
{{1,3},{2,3}}
{{1,2},{1,2,3}}
{{1,3},{1,2,3}}
{{2,3},{1,2,3}}
{{1,2},{1,3},{2,3}}
{{1,2},{1,3},{1,2,3}}
{{1,2},{2,3},{1,2,3}}
{{1,3},{2,3},{1,2,3}}
{{1,2},{1,3},{2,3},{1,2,3}}

Cf. A001206, A006126, A051185, A048143, A058891, A305001, A305843, A305844, A305854-A305857, A305999, A306000, A306001, A306008.

a(n) = A305843(n) - n * A003465(n-1).

Inverse binomial transform of A306000. - Andrew Howroyd, Aug 12 2019

a(6)-a(8) from Giovanni Resta, Jun 20 2018

a(9) from Andrew Howroyd, Aug 12 2019

A306000 Number of labeled intersecting set-systems with no singletons covering some subset of {1,...,n}.

Original entry on oeis.org

1, 1, 2, 16, 864, 1150976, 899934060544, 291136684662192699604992, 14704020783497694096990514485197495566069661696, 12553242487939982849962414795232892198542733625222671042878037323112413463887484853594095616

Offset: 0

Gus Wiseman, Jun 16 2018

nonn

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.

			The a(3) = 16 set-systems:
  {}
  {{1,2}}
  {{1,3}}
  {{2,3}}
  {{1,2,3}}
  {{1,2},{1,3}}
  {{1,2},{2,3}}
  {{1,3},{2,3}}
  {{1,2},{1,2,3}}
  {{1,3},{1,2,3}}
  {{2,3},{1,2,3}}
  {{1,2},{1,3},{2,3}}
  {{1,2},{1,3},{1,2,3}}
  {{1,2},{2,3},{1,2,3}}
  {{1,3},{2,3},{1,2,3}}
  {{1,2},{1,3},{2,3},{1,2,3}}

Cf. A001206, A006126, A051185, A048143, A058891, A305001, A305843, A305844, A305854-A305857, A305935, A305999, A306001.

a(n) = A051185(n) - n*2^(2^(n-1)-1). - Andrew Howroyd, Aug 12 2019

a(6)-a(9) from Andrew Howroyd, Aug 12 2019

cp's OEIS Frontend

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

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

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

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

Extensions

A323816 Number of set-systems covering n vertices with no singletons.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

SageMath

Formula

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

A317075 Number of connected antichains of multisets with multiset-join a normal multiset of size n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

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

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A326365 Number of intersecting antichains with empty intersection (meaning there is no vertex in common to all the edges) covering n vertices.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Extensions

A326366 Number of intersecting antichains of nonempty subsets of {1..n} with empty intersection (meaning there is no vertex in common to all the edges).

Views

Author

Keywords

Comments