OFFSET
1,2
LINKS
Eric Weisstein's World of Mathematics, Andrásfai Graph
Eric Weisstein's World of Mathematics, Total Dominating Set
Index entries for linear recurrences with constant coefficients, signature (23,-210,996,-2664,4032,-3200,1024).
FORMULA
a(n) = (8^(n + 1) + (2^n*(n - 2) - 4^(n + 1))*(3*n - 1))/16 - 1 for n > 1.
a(n) = 23*a(n-1) - 210*a(n-2) + 996*a(n-3) - 2664*a(n-4) + 4032*a(n-5) - 3200*a(n-6) + 1024*a(n-7) for n > 8.
G.f.: x*(-1 + 12*x - 88*x^2 + 334*x^3 - 706*x^4 + 928*x^5 - 672*x^6 + 256*x^7)/((-1 + 2*x)^3*(-1 + 4*x)^2*(1 - 9*x + 8*x^2)).
MATHEMATICA
Join[{1}, Table[(8^(n + 1) + (2^n (n - 2) - 4^(n + 1) ) (3 n - 1) - 16)/16, {n, 2, 20}]]
Join[{1}, LinearRecurrence[{23, -210, 996, -2664, 4032, -3200, 1024}, {11, 131, 1365, 12883, 113935, 967455, 8013983}, 20]]
CoefficientList[Series[(-1 + 12 x - 88 x^2 + 334 x^3 - 706 x^4 + 928 x^5 - 672 x^6 + 256 x^7)/((-1 + 2 x)^3 (-1 + 4 x)^2 (1 - 9 x + 8 x^2)), {x, 0, 20}], x]
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Eric W. Weisstein, Apr 12 2018
EXTENSIONS
a(9)-a(21) from Andrew Howroyd, Apr 18 2018
STATUS
approved