|
%I M2688 #60 Mar 21 2024 08:31:54
%S 1,1,1,3,7,24,93,434,2110,11002,58713,321776,1792133,10131027,
%T 57949430,334970205,1953890318,11489753730,68054102361,405715557048,
%U 2433003221232,14668536954744,88869466378593,540834155878536,3304961537938269,20273202069859769
%N The number of Apollonian networks (planar 3-trees) with n+3 vertices.
%C Previous name was: Number of chordal planar triangulations; also number of planar triangulations with maximal number of triangles; also number of graphs obtained from the tetrahedron by repeatedly inserting vertices of degree 3 into a triangular face; also number of uniquely 4-colorable planar graphs; also number of simplicial 3-clusters with n cells; also Apollonian networks with n+3 vertices.
%C Also arises in enumeration of spectral isomers of alkane systems (see Cyvin et al.). - _N. J. A. Sloane_, Aug 15 2006
%C Chordal planar triangulations: take planar triangulations on n nodes, divide them into classes according to how many triangles they contain (all have 2n-4 triangular faces but may have additional triangles); count triangulations in class with most triangles.
%C If mirror images are not taken as equivalent, A007173 is obtained instead. - _Brendan McKay_, Mar 08 2014
%C Number of unoriented polyominoes composed of n tetrahedral cells of the hyperbolic regular tiling with Schläfli symbol {3,3,oo}. For unoriented polyominoes, chiral pairs are counted as one. - _Robert A. Russell_, Mar 20 2024
%D N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%H Vincenzo Librandi, <a href="/A027610/b027610.txt">Table of n, a(n) for n = 1..200</a>
%H L. W. Beineke and R. E. Pippert <a href="http://dx.doi.org/10.4153/CJM-1974-006-x">Enumerating dissectable polyhedra by their automorphism groups</a>, Can. J. Math., 26 (1974), 50-67.
%H Allan Bickle, <a href="https://doi.org/10.20429/tag.2024.000105">A Survey of Maximal k-degenerate Graphs and k-Trees</a>, Theory and Applications of Graphs 0 1 (2024) Article 5.
%H CombOS - Combinatorial Object Server, <a href="http://combos.org/plantri">generate planar graphs</a>
%H S. J. Cyvin, Jianji Wang, J. Brunvoll, Shiming Cao, Ying Li, B. N. Cyvin, and Yugang Wang, <a href="https://doi.org/10.1016/S0022-2860(97)00025-2">Staggered conformers of alkanes: complete solution of the enumeration problem</a>, J. Molec. Struct. 413-414 (1997), 227-239.
%H Paul Jungeblut, <a href="https://i11www.iti.kit.edu/_media/teaching/theses/ma-jungeblut-19.pdf">Edge Guarding Plane Graphs</a>, Master Thesis, Karlsruhe Institute of Technology (Germany, 2019).
%H F. Hering et al., <a href="http://dx.doi.org/10.1016/0012-365X(82)90121-2">The enumeration of stack polytopes and simplicial clusters</a>, Discrete Math., 40 (1982), 203-217.
%H Manfred Scheucher, Hendrik Schrezenmaier, Raphael Steiner, <a href="https://arxiv.org/abs/1811.06482">A Note On Universal Point Sets for Planar Graphs</a>, arXiv:1811.06482 [math.CO], 2018.
%F From _Robert A. Russell_, Mar 20 2024: (Start)
%F a(n) = C(3n,n)/(6*(2n+1)*(2n+2)) + ([0==n mod 2]*7*C(3n/2,n) + [1==n mod 2]*9*C((3n-1)/2,n)) / (12(n+1)) + [1==n mod 3]*C(n-1,(n-1)/3)/(2n+1) + [2==n mod 3]*C(n-1,(n-2)/3)/(2n+2) + [1==n mod 4]*C((3n-3)/4,(n-1)/2)/(2n+2) + [2==n mod 6]*C(n/2-1,(n-2)/3)/(2n+2).
%F a(n) = A007173(n) - A371350(n) = (A007173(n) + A371351(n))/2 = A371350(n) + A371351(n).
%F a(n) = h(3,n) in Table 8 of Hering link.
%F G.f.: (-16 + 4*G(z) - 2*G(z)^2 + z*G(z)^4 + 14*G(z^2) + 9z*G(z^2)^2 + 8z*G(z^3) + 4z^2*G(z^3)^2 + 6z*G(z^4) + 4z^2*G(z^6))/24, where G(z) = 1 + z*G(z)^3 is the g.f. for A001764. (End)
%p A001764 := proc(m) RETURN((3*m)!/(m!*(2*m+1)!)); end; # Gives A001764(m)
%p A047749 := proc(m) local x; if m mod 2 = 1 then x := (m-1)/2; RETURN((3*x+1)!/((x+1)!*(2*x+1)!)); fi; RETURN(A001764(m/2)); end; # Gives A047749(m)
%p A027610 := proc(n) local N; N := 0; N := N + A001764(n)/(12*(n+1)); if n mod 2 = 0 then N := N + 5/24*A001764(n/2); fi; if (n-1) mod 3 = 0 then N := N + 1/3*A001764((n-1)/3); fi; if (n-1) mod 4 = 0 then N := N + 1/4*A001764((n-1)/4); fi;
%p if (n-2) mod 6 = 0 then N := N + 1/6*A001764((n-2)/6); fi; N := N + 3/8*A047749(n); if (2*n-1) mod 3 = 0 then N := N + 1/6*A047749((2*n-1)/3); fi; RETURN(N); end;
%t Table[Binomial[3 n, 2 n]/(6 (2 n + 1) (2 n + 2)) + If[EvenQ[n], 7 Binomial[3 n/2, n]/(12 (n + 1)), 3 Binomial[3 n/2 - 1/2, n]/(4 (n + 1))] + Switch[Mod[n, 3], 1, Binomial[n - 1, 2 n/3 - 2/3]/(2 n/3 + 1/3), 2, Binomial[n - 1, 2 n/3 - 1/3]/(2 n/3 + 2/3), _, 0]/3 + If[1 == Mod[n,4], Binomial[3 n/4 - 3/4, n/2 - 1/2]/(n/2 + 1/2), 0]/4 + If[2 == Mod[n, 6], Binomial[n/2 - 1, n/3 - 2/3]/(n/3 + 1/3), 0]/6, {n, 1, 30}] (* _Robert A. Russell_, Apr 11 2012 *)
%o (PARI) T(m)={if(m<0||denominator(m)!=1,0,(3*m)!/(m!*(2*m+1)!))};
%o U(k)={if(k<0||denominator(k)!=1,0,if(k%2,my(m=(k-1)/2);(3*m+1)!/((m+1)!*(2*m+1)!),T(k/2)))};
%o S(n)=T(n)/(12*(n+1))+5*T(n/2)/24+T((n-1)/3)/3+T((n-1)/4)/4+T((n-2)/6)/6+3*U(n)/8+U((2*n-1)/3)/6;
%o for(k=1,26,print1(S(k),", ")) \\ _Hugo Pfoertner_, Mar 07 2020
%Y Sum of A047776, A047775, A047774, A047773, A047762, A047760, A047758, A047754, A047753, A047752, A047751, A047771, A047769, A047766 (twice), A047765, A047764.
%Y Cf. A007173 (oriented), A371350 (chiral), A371351 (achiral), A001764 (rooted), A000207 {3,oo}, A182322 {3,3,3,oo}.
%K nonn,easy,nice
%O 1,4
%A _Gordon F. Royle_
%E One additional term from _Robert A. Russell_, Apr 11 2012
%E Noted the name "Apollonian network" by _Brendan McKay_, Mar 08 2014
%E New name from _Allan Bickle_, Feb 21 2024
|
