cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-3 of 3 results.

A034941 Number of labeled triangular cacti with 2n+1 nodes (n triangles).

Original entry on oeis.org

1, 1, 15, 735, 76545, 13835745, 3859590735, 1539272109375, 831766748637825, 585243816844111425, 520038240188935042575, 569585968715180280038175, 753960950911045074462890625, 1186626209895384011075327630625, 2190213762744801162239116550679375
Offset: 0

Views

Author

Christian G. Bower, Oct 15 1998

Keywords

Comments

Also the number of 3-uniform hypertrees spanning 2n + 1 labeled vertices. - Gus Wiseman, Jan 12 2019
Number of rank n+1 simple series-parallel matroids on [2n+1]. - Matt Larson, Mar 06 2023

Examples

			a(3) = 5!! * 7^2 = (1*3*5) * 49 = 735.
From _Gus Wiseman_, Jan 12 2019: (Start)
The a(2) = 15 3-uniform hypertrees:
  {{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 2 unlabeled 3-uniform hypertrees spanning 7 vertices, and their multiplicities in the labeled case, which add up to a(3) = 735:
  105 X {{1,2,7},{3,4,7},{5,6,7}}
  630 X {{1,2,6},{3,4,7},{5,6,7}}
(End)
		

Crossrefs

Programs

  • Magma
    [(2*n+1)^(n-1)*Factorial(2*n)/(2^n*Factorial(n)): n in [0..15]]; // Vincenzo Librandi, Feb 19 2020
  • Mathematica
    Table[(2n+1)^(n-1)(2n)!/(2^n n!), {n, 0, 14}] (* Jean-François Alcover, Nov 06 2018 *)

Formula

a(n) = A034940(n)/(2n+1).
The closed form a(n) = (2n-1)!! (2n+1)^(n-1) can be obtained from the generating function in A034940. - Noam D. Elkies, Dec 16 2002

Extensions

Typo in a(10) corrected and more terms from Alois P. Heinz, Jun 23 2017

A289837 Number of cliques in the n-tetrahedral graph.

Original entry on oeis.org

1, 1, 2, 16, 76, 261, 757, 2003, 5035, 12286, 29426, 69554, 162670, 376923, 865971, 1973941, 4466853, 10040524, 22430584, 49829116, 110127536, 242254321, 530619937, 1157676711, 2516640751, 5452664426, 11777687182, 25367246038, 54492508610, 116769551831
Offset: 1

Views

Author

Eric W. Weisstein, Jul 13 2017

Keywords

Comments

Here, "cliques" means complete subgraphs (not necessarily the largest).
Sequence extended to a(1) using formula. - Andrew Howroyd, Jul 18 2017
From Gus Wiseman, Jan 11 2019: (Start)
The n-tetrahedral graph has all 3-subsets of {1,...,n} as vertices, and two are connected iff they share two elements. So a(n) is the number of 3-uniform hypergraphs on n labeled vertices where every two edges have two vertices in common. For example, the a(4) = 16 hypergraphs are:
{}
{{1,2,3}}
{{1,2,4}}
{{1,3,4}}
{{2,3,4}}
{{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 7 unlabeled 3-uniform cliques on 6 vertices, and their multiplicities in the labeled case, which add up to a(6) = 261.
1 X {}
20 X {{1,2,3}}
90 X {{1,3,4},{2,3,4}}
60 X {{1,4,5},{2,4,5},{3,4,5}}
60 X {{1,2,4},{1,3,4},{2,3,4}}
15 X {{1,5,6},{2,5,6},{3,5,6},{4,5,6}}
15 X {{1,2,3},{1,2,4},{1,3,4},{2,3,4}}
(End)

Crossrefs

Cf. A055795 (maximal cliques), A287232 (independent vertex sets), A290056 (triangular graph).

Programs

  • Mathematica
    Table[(2^(n - 2) - n + 1) Binomial[n, 2] + Binomial[n, 3] +
      5 Binomial[n, 4] + 1, {n, 20}] (* Eric W. Weisstein, Jul 21 2017 *)
    LinearRecurrence[{11, -52, 138, -225, 231, -146, 52, -8}, {1, 1, 2, 16, 76, 261, 757, 2003}, 20] (* Eric W. Weisstein, Jul 21 2017 *)
    CoefficientList[Series[(1 - 10 x + 43 x^2 - 92 x^3 + 91 x^4 - 25 x^5 - 5 x^6 - 8 x^7)/((-1 + x)^5 (-1 + 2 x)^3), {x, 0, 20}], x] (* Eric W. Weisstein, Jul 21 2017 *)
    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,6}] (* Gus Wiseman, Jan 11 2019 *)
  • PARI
    a(n) = 1 + binomial(n,3) + (2^(n-2)-n+1)*binomial(n,2) + 5*binomial(n,4); \\ Andrew Howroyd, Jul 18 2017
    
  • PARI
    Vec(x*(1 - 10*x + 43*x^2 - 92*x^3 + 91*x^4 - 25*x^5 - 5*x^6 - 8*x^7) / ((1 - x)^5*(1 - 2*x)^3) + O(x^40)) \\ Colin Barker, Jul 19 2017

Formula

a(n) = 1 + binomial(n,3) + (2^(n-2)-n+1)*binomial(n,2) + 5*binomial(n,4). - Andrew Howroyd, Jul 18 2017
a(n) = 11*a(n-1)-52*a(n-2)+138*a(n-3)-225*a(n-4)+231*a(n-5)-146*a(n-6)+52*a(n-7)-8*a(n-8). - Eric W. Weisstein, Jul 21 2017
From Colin Barker, Jul 19 2017: (Start)
G.f.: x*(1 - 10*x + 43*x^2 - 92*x^3 + 91*x^4 - 25*x^5 - 5*x^6 - 8*x^7) / ((1 - x)^5*(1 - 2*x)^3).
a(n) = (24 - (34+3*2^n)*n + (67+3*2^n)*n^2 - 38*n^3 + 5*n^4) / 24.
(End)
Binomial transform of A323294. - Gus Wiseman, Jan 11 2019

Extensions

a(1)-a(5) and a(21)-a(30) from Andrew Howroyd, Jul 18 2017

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

Views

Author

Gus Wiseman, Jan 11 2019

Keywords

Examples

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

Crossrefs

Programs

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

Formula

Binomial transform of A323298.

Extensions

Terms a(11) and beyond from Andrew Howroyd, Aug 14 2019
Showing 1-3 of 3 results.