%I
%S 1,0,6,13,55,189,694,2516,9213,33782,124300,458502,1695469,6284175,
%T 23344173,86904615,324197100,1211841846,4538611107,17029834923,
%U 64014608376,241046175666,909171583214,3434698413540,12995770332449
%N Number of rooted 5connected planar triangulations with 2n faces.
%C No planar triangulation can be more than 5connected. The 5connected triangulations are historically important to the 4color problem.
%H Z. J. Gao, I. M. Wanless and N. C. Wormald, <a href="https://doi.org/10.1002/jgt.1021">Counting 5connected planar triangulations</a>, J. Graph Theory, Vol. 38 (2001), pp. 1835.
%e The smallest 5connected planar triangulation is the icosahedron, which has 20 faces. Because of its symmetry it has a unique rooting, so a(10)=1. The triangulations counted by a(12) and a(13) are drawn in the paper cited above.
%p # G.f. for 5connected planar triangulations: fiveconntri(m) returns the first m terms of a power series in w, in which the coefficient of w^n is the number of (rooted) 5connected planar triangulations with 2n faces.
%p fiveconntri := proc(howmanyterms) local keepterms, T, iteration, sval, previous; keepterms := howmanyterms+1; T := 3*w^3/(1+w)+ww^2+3*w^3w^4+4*(s+1)^3*((3*s1)*w+(3*s2)*(s+1)^3)*w/((3*s+2+ws^3)^3); iteration := s(w^2+2*(4*s^2+2*s+1)*(s+1)^2*w+s*(s+2)*(s+1)^4)/(8*w+2); sval := 0; previous := 1; while(sval<>previous) do previous := sval; sval := mtaylor(subs(s=sval,iteration),[w,s],keepterms); od: series(subs(s=sval,T), w,keepterms); end;
%K nonn
%O 10,3
%A _Ian Wanless_, Oct 07 2001
