OFFSET
1,2
COMMENTS
These counts allow the mirror image as an isomorphism.
LINKS
Andrew Howroyd, Table of n, a(n) for n = 1..500
Eric Weisstein's World of Mathematics, Hanoi Graph.
Eric Weisstein's World of Mathematics, Planar Embedding.
Index entries for linear recurrences with constant coefficients, signature (14,-56,64).
FORMULA
From Andrew Howroyd, Mar 02 2026: (Start)
a(n) = (8^(n-1) + 2*2^(n-1) + 3*4^(n-1))/12 for n > 1.
G.f.: x*(1 - 12*x + 38*x^2 - 32*x^3)/((1 - 2*x)*(1 - 4*x)*(1 - 8*x)). (End)
MATHEMATICA
LinearRecurrence[{14, -56, 64}, {1, 2, 10, 60}, 25] (* Paolo Xausa, Mar 03 2026 *)
PROG
(PARI) a(n) = if(n==1, 1, (8^(n-1) + 2*2^(n-1) + 3*4^(n-1))/12) \\ Andrew Howroyd, Mar 02 2026
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Eric W. Weisstein, Mar 02 2026
EXTENSIONS
a(5) onward from Andrew Howroyd, Mar 02 2026
STATUS
approved
