OFFSET
0,3
LINKS
Colin Barker, Table of n, a(n) for n = 0..1000
M. Couceiro, J. Devillet, and J.-L. Marichal, Quasitrivial semigroups: characterizations and enumerations, arXiv:1709.09162 [math.RA] (2017).
Jimmy Devillet, Bisymmetric and quasitrivial operations: characterizations and enumerations, arXiv:1712.07856 [math.RA], 2017.
Index entries for linear recurrences with constant coefficients, signature (3,0,-2).
FORMULA
G.f.: x(x+1) / (2x^3-3*x+1).
a(0) = 0, a(1) = 1, a(n+2)-2*a(n+1)-2*a(n) = 2.
3*a(n)+2 = Sum_{k>=0} (2*binomial(n,2*k)+3*binomial(n,2*k+1))*3^k.
From Colin Barker, Sep 28 2017: (Start)
a(n) = (-4 - (1-sqrt(3))^n*(-2+sqrt(3)) + (1+sqrt(3))^n*(2+sqrt(3))) / 6.
a(n) = 3*a(n-1) - 2*a(n-2) for n>2.
(End)
PROG
(PARI) concat(0, Vec(x*(1 + x) / ((1 - x)*(1 - 2*x - 2*x^2)) + O(x^30))) \\ Colin Barker, Sep 28 2017
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
J. Devillet, Sep 28 2017
STATUS
approved