A323297 -id:A323297 - cp's OEIS frontend

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

1, 0, 0, 1, 11, 10, 25, 406, 4823, 15436, 72915, 895180, 11320441, 71777498, 519354927, 6155284240, 82292879425, 788821735656, 7772567489083, 98329764933354, 1400924444610675, 17424772471470490, 216091776292721021, 3035845122991962688, 46700545575567202903

Offset: 0

Gus Wiseman, Jan 11 2019

nonn

The only way to meet the requirements is to cover the vertices with zero or more disconnected 3-uniform hypergraphs with each edge having exactly two vertices in common (A323294). - Andrew Howroyd, Aug 18 2019

			The a(4) = 11:
  {{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}}
The following are non-isomorphic representatives of the 3 unlabeled 3-uniform hypergraphs spanning 7 vertices with no two edges having exactly one vertex in common, and their multiplicities in the labeled case, which add up to a(7) = 406.
  210 X {{1,2,3},{4,6,7},{5,6,7}}
  140 X {{1,2,3},{4,5,7},{4,6,7},{5,6,7}}
   21 X {{1,6,7},{2,6,7},{3,6,7},{4,6,7},{5,6,7}}
   35 X {{1,2,3},{4,5,6},{4,5,7},{4,6,7},{5,6,7}}

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

Cf. A025035, A125791, A190865, A289837, A299471, A302374, A302394, A322451, A323293, A323294, A323297.

b:= n-> `if`(n<5, (n-2)*(2*n^2-6*n+3)/6, n/2)*(n-1):
a:= proc(n) option remember; `if`(n=0, 1, add(
      binomial(n-1, k-1)*b(k)*a(n-k), k=1..n))
    end:
seq(a(n), n=0..25);  # Alois P. Heinz, Aug 18 2019

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

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

From Andrew Howroyd, Aug 18 2019: (Start)
Exponential transform of A323294.
E.g.f.: exp(-x^2/2 - x^3/3 + 5*x^4/24 + x^2*exp(x)/2). (End)

a(11) from Alois P. Heinz, Aug 12 2019

Terms a(12) and beyond from Andrew Howroyd, Aug 18 2019

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

Original entry on oeis.org

1, 1, 1, 2, 5, 26, 261, 3216, 19617, 80860, 262651, 737716, 1920821, 5013152, 14277485, 47610876, 186355041, 820625616, 3869589607, 19039193980, 96332399701, 499138921736, 2639262062801, 14234781051932, 78188865206145, 437305612997376, 2487692697142251

Offset: 0

Gus Wiseman, Jan 11 2019

nonn

			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}}
The following are non-isomorphic representatives of the 10 unlabeled 3-uniform hypergraphs on 7 vertices where every two edges have exactly one vertex in common, and their multiplicities in the labeled case, which add up to a(7) = 3216.
    1 X {}
   35 X {{1,2,3}}
  315 X {{1,2,5},{3,4,5}}
  105 X {{1,2,7},{3,4,7},{5,6,7}}
  840 X {{1,3,5},{2,3,6},{4,5,6}}
  840 X {{1,4,5},{2,4,6},{3,4,7},{5,6,7}}
  210 X {{1,2,4},{1,3,5},{2,3,6},{4,5,6}}
  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}}

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

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

Binomial transform of A323298.

Terms a(11) and beyond from Andrew Howroyd, Aug 14 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

cp's OEIS Frontend

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

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

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

Views

Author

Keywords

Examples

Crossrefs

Programs

Mathematica

Formula

Extensions

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