A323299 -id:A323299 - cp's OEIS frontend

A323293 Number of 3-uniform hypergraphs on n labeled vertices where no two edges have two vertices in common.

1, 1, 1, 2, 5, 26, 271, 5596, 231577, 21286940, 4392750641, 2100400533176

Offset: 0

Gus Wiseman, Jan 10 2019

			The a(5) = 26 hypergraphs:
  {}
  {{1,2,3}}
  {{1,2,4}}
  {{1,2,5}}
  {{1,3,4}}
  {{1,3,5}}
  {{1,4,5}}
  {{2,3,4}}
  {{2,3,5}}
  {{2,4,5}}
  {{3,4,5}}
  {{1,2,3},{1,4,5}}
  {{1,2,3},{2,4,5}}
  {{1,2,3},{3,4,5}}
  {{1,2,4},{1,3,5}}
  {{1,2,4},{2,3,5}}
  {{1,2,4},{3,4,5}}
  {{1,2,5},{1,3,4}}
  {{1,2,5},{2,3,4}}
  {{1,2,5},{3,4,5}}
  {{1,3,4},{2,3,5}}
  {{1,3,4},{2,4,5}}
  {{1,3,5},{2,3,4}}
  {{1,3,5},{2,4,5}}
  {{1,4,5},{2,3,4}}
  {{1,4,5},{2,3,5}}
Non-isomorphic representatives of the 6 unlabeled 3-uniform hypertrees spanning 6 vertices where no two edges have two vertices in common, and their multiplicities in the labeled case which add up to a(6) = 271:
    1 X {}
   20 X {{1,2,3}}
   90 X {{1,2,5},{3,4,5}}
   10 X {{1,2,3},{4,5,6}}
  120 X {{1,3,5},{2,3,6},{4,5,6}}
   30 X {{1,2,4},{1,3,5},{2,3,6},{4,5,6}}

Essentially the same as A287232.

Cf. A000665, A025035, A125791, A190865, A289837, A302374, A302394, A319540, A320395, A322451, A323292-A323299.

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],{3}],Length[Intersection[#1,#2]]>1&]],{n,8}]

a(9) from Andrew Howroyd, Aug 14 2019

a(10) and a(11) (using A287232) from Joerg Arndt, Oct 12 2023

A323292 Number of 3-uniform hypergraphs spanning n labeled vertices where no two edges have two vertices in common.

Original entry on oeis.org

1, 0, 0, 1, 0, 15, 160, 4125, 193200, 19384225

Offset: 0

Gus Wiseman, Jan 10 2019

			The a(5) = 15 hypergraphs:
  {{1,2,3},{1,4,5}}
  {{1,2,3},{2,4,5}}
  {{1,2,3},{3,4,5}}
  {{1,2,4},{1,3,5}}
  {{1,2,4},{2,3,5}}
  {{1,2,4},{3,4,5}}
  {{1,2,5},{1,3,4}}
  {{1,2,5},{2,3,4}}
  {{1,2,5},{3,4,5}}
  {{1,3,4},{2,3,5}}
  {{1,3,4},{2,4,5}}
  {{1,3,5},{2,3,4}}
  {{1,3,5},{2,4,5}}
  {{1,4,5},{2,3,4}}
  {{1,4,5},{2,3,5}}
Non-isomorphic representatives of the 3 unlabeled 3-uniform hypergraphs spanning 6 vertices where no two edges have two vertices in common, and their multiplicities in the labeled case which add up to a(6) = 160:
   10 X {{1,2,3},{4,5,6}}
  120 X {{1,3,5},{2,3,6},{4,5,6}}
   30 X {{1,2,4},{1,3,5},{2,3,6},{4,5,6}}

Cf. A000665, A025035, A125791, A190865, A289837, A302374, A302394, A320395, A322451, A323293-A323299.

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],{3}],Length[Intersection[#1,#2]]>=2&],Union@@#==Range[n]&]],{n,6}]

Inverse binomial transform of A323293. - Andrew Howroyd, Aug 14 2019

a(9) from Andrew Howroyd, Aug 14 2019

A323294 Number of 3-uniform hypergraphs spanning n labeled vertices where every two edges have two vertices in common.

Original entry on oeis.org

1, 0, 0, 1, 11, 10, 15, 21, 28, 36, 45, 55, 66, 78, 91, 105, 120, 136, 153, 171, 190, 210, 231, 253, 276, 300, 325, 351, 378, 406, 435, 465, 496, 528, 561, 595, 630, 666, 703, 741, 780, 820, 861, 903, 946, 990, 1035, 1081, 1128, 1176, 1225, 1275, 1326, 1378, 1431

Offset: 0

Gus Wiseman, Jan 10 2019

nonn

			The a(4) = 11 hypergraphs:
  {{1,2,3},{1,2,4}}
  {{1,2,3},{1,3,4}}
  {{1,2,3},{2,3,4}}
  {{1,2,4},{1,3,4}}
  {{1,2,4},{2,3,4}}
  {{1,3,4},{2,3,4}}
  {{1,2,3},{1,2,4},{1,3,4}}
  {{1,2,3},{1,2,4},{2,3,4}}
  {{1,2,3},{1,3,4},{2,3,4}}
  {{1,2,4},{1,3,4},{2,3,4}}
  {{1,2,3},{1,2,4},{1,3,4},{2,3,4}}

Andrew Howroyd, Table of n, a(n) for n = 0..1000

Cf. A000217, A000665, A025035, A125791, A161680, A289837, A302374, A302394, A319540, A320395, A322451, A323292-A323299.

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],{3}],Length[Intersection[#1,#2]]<=1&],Union@@#==Range[n]&]],{n,10}]

seq(n)={Vec(serlaplace(1 - x^2/2 - x^3/3 + 5*x^4/24 + x^2*exp(x + O(x^(n-1)))/2))} \\ Andrew Howroyd, Aug 18 2019

a(n) = binomial(n,2) for n >= 5. - Gus Wiseman, Jan 16 2019
Binomial transform is A289837. - Gus Wiseman, Jan 16 2019
a(n) = A000217(n-1) for n >= 5. - Alois P. Heinz, Jan 24 2019
E.g.f.: 1 - x^2/2 - x^3/3 + 5*x^4/24 + x^2*exp(x)/2. - Andrew Howroyd, Aug 18 2019

A323298 Number of 3-uniform hypergraphs spanning n labeled vertices where every two edges have exactly one vertex in common.

Original entry on oeis.org

1, 0, 0, 1, 0, 15, 150, 1815, 0, 945, 0, 10395, 0, 135135, 0, 2027025, 0, 34459425, 0, 654729075, 0, 13749310575, 0, 316234143225, 0, 7905853580625, 0, 213458046676875, 0, 6190283353629375, 0, 191898783962510625, 0, 6332659870762850625, 0, 221643095476699771875

Offset: 0

Gus Wiseman, Jan 11 2019

nonn

The only way to cover more than 7 vertices is with edges all having a single common vertex. For the special cases of n = 6 or n = 7, there are also covers without a common vertex. - Andrew Howroyd, Aug 15 2019

			The a(5) = 15 hypergraphs:
  {{1,4,5},{2,3,5}}
  {{1,4,5},{2,3,4}}
  {{1,3,5},{2,4,5}}
  {{1,3,5},{2,3,4}}
  {{1,3,4},{2,4,5}}
  {{1,3,4},{2,3,5}}
  {{1,2,5},{3,4,5}}
  {{1,2,5},{2,3,4}}
  {{1,2,5},{1,3,4}}
  {{1,2,4},{3,4,5}}
  {{1,2,4},{2,3,5}}
  {{1,2,4},{1,3,5}}
  {{1,2,3},{3,4,5}}
  {{1,2,3},{2,4,5}}
  {{1,2,3},{1,4,5}}
The following are non-isomorphic representatives of the 5 unlabeled 3-uniform hypergraphs spanning 7 vertices in which every two edges have exactly one vertex in common, and their multiplicities in the labeled case, which add up to a(7) = 1815.
  105 X {{1,2,7},{3,4,7},{5,6,7}}
  840 X {{1,4,5},{2,4,6},{3,4,7},{5,6,7}}
  630 X {{1,4,5},{2,3,5},{2,4,6},{3,4,7},{5,6,7}}
  210 X {{1,3,6},{1,4,5},{2,3,5},{2,4,6},{3,4,7},{5,6,7}}
   30 X {{1,2,7},{1,3,6},{1,4,5},{2,3,5},{2,4,6},{3,4,7},{5,6,7}}
From _Andrew Howroyd_, Aug 15 2019: (Start)
The following are non-isomorphic representatives of the 2 unlabeled 3-uniform hypergraphs spanning 6 vertices in which every two edges have exactly one vertex in common, and their multiplicities in the labeled case, which add up to a(6) = 150.
    120 X {{1,2,3},{1,4,5},{3,5,6}}
     30 X {{1,2,3},{1,4,5},{3,5,6},{2,4,6}}
(End)

Andrew Howroyd, Table of n, a(n) for n = 0..200

Cf. A001147, A025035, A125791, A190865, A289837, A299471, A302374, A302394, A322451, A323293, A323296, A323297, A323299.

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],{3}],Length[Intersection[#1,#2]]!=1&],Union@@#==Range[n]&]],{n,10}]

a(n)={if(n%2, if(n<=3, n==3, if(n==7, 1815, n!/(2^(n\2)*(n\2)!))), if(n==6, 150, n==0))} \\ Andrew Howroyd, Aug 15 2019

a(2*n) = 0 for n > 3; a(2*n-1) = A001147(n) for n > 4. - Andrew Howroyd, Aug 15 2019

Terms a(13) and beyond from Andrew Howroyd, Aug 15 2019

A003190 Number of connected 2-plexes.

Original entry on oeis.org

1, 0, 1, 3, 29, 2101, 7011181, 1788775603301, 53304526022885278403, 366299663378889804782330207902, 1171638318502622784366970315262493034215728, 3517726593606524901243694560022510194169866584119717555335

Offset: 1

N. J. A. Sloane

The Palmer reference (incorrectly) has a(7)=7011349, a(8)=1788775603133, a(9)=53304526022885278659. - Sean A. Irvine, Mar 05 2015

Also connected 3-uniform hypergraphs on n vertices. - Gus Wiseman, Feb 23 2019

			From _Gus Wiseman_, Feb 23 2019: (Start)
Non-isomorphic representatives of the a(5) = 29 2-plexes:
  {{125}{345}}
  {{123}{245}{345}}
  {{135}{245}{345}}
  {{145}{245}{345}}
  {{123}{145}{245}{345}}
  {{124}{135}{245}{345}}
  {{125}{135}{245}{345}}
  {{134}{235}{245}{345}}
  {{145}{235}{245}{345}}
  {{123}{124}{135}{245}{345}}
  {{123}{145}{235}{245}{345}}
  {{124}{134}{235}{245}{345}}
  {{134}{145}{235}{245}{345}}
  {{135}{145}{235}{245}{345}}
  {{145}{234}{235}{245}{345}}
  {{123}{124}{134}{235}{245}{345}}
  {{123}{134}{145}{235}{245}{345}}
  {{123}{145}{234}{235}{245}{345}}
  {{124}{135}{145}{235}{245}{345}}
  {{125}{135}{145}{235}{245}{345}}
  {{135}{145}{234}{235}{245}{345}}
  {{123}{124}{135}{145}{235}{245}{345}}
  {{124}{135}{145}{234}{235}{245}{345}}
  {{125}{135}{145}{234}{235}{245}{345}}
  {{134}{135}{145}{234}{235}{245}{345}}
  {{123}{124}{135}{145}{234}{235}{245}{345}}
  {{125}{134}{135}{145}{234}{235}{245}{345}}
  {{124}{125}{134}{135}{145}{234}{235}{245}{345}}
  {{123}{124}{125}{134}{135}{145}{234}{235}{245}{345}}
(End)

N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

P. J. Cameron, Sequences realized by oligomorphic permutation groups, J. Integ. Seqs. Vol. 3 (2000), #00.1.5.
E. M. Palmer, On the number of n-plexes, Discrete Math., 6 (1973), 377-390.

Column k=3 of A301924.

Cf. A000665 (unlabeled 3-uniform), A025035, A125791 (labeled 3-uniform), A289837, A301922, A302374 (labeled 3-uniform spanning), A302394, A306017, A319540, A320395, A322451 (unlabeled 3-uniform spanning), A323292-A323299.

Inverse Euler transform of A000665. - Sean A. Irvine, Mar 05 2015

a(7)-a(9) corrected and extended by Sean A. Irvine, Mar 05 2015

cp's OEIS Frontend

A323293 Number of 3-uniform hypergraphs on n labeled vertices where no two edges have two vertices in common.

Views

Author

Keywords

Examples

Crossrefs

Programs

Mathematica

Extensions

A323292 Number of 3-uniform hypergraphs spanning n labeled vertices where no two edges have two vertices in common.

Views

Author

Keywords

Examples

Crossrefs

Programs

Mathematica

Formula

Extensions

A323294 Number of 3-uniform hypergraphs spanning n labeled vertices where every two edges have two vertices in common.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A323298 Number of 3-uniform hypergraphs spanning n labeled vertices where every two edges have exactly one vertex in common.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A003190 Number of connected 2-plexes.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Formula

Extensions