OFFSET
1,3
COMMENTS
Each string is derived from the previous string using the Kolakoski(7,1) rule and the additional condition: "string begins with 1 if previous string ends with 5 and vice versa". The strings are 1 -> 7 -> 1111111 -> 7171717 -> 11111117111111171111111711111117 -> ... and each one contains 1,1,7,7,31,... elements.
LINKS
G. C. Greubel, Table of n, a(n) for n = 1..1000
Index entries for linear recurrences with constant coefficients, signature (0, 4, 3).
FORMULA
a(1) = a(2) = 1, a(n) = a(n-1) + 3*a(n-2) - 3*(-1)^n.
G.f.: x*(1+x+3*x^2)/((1+x)*(1-x-3*x^2)). - Colin Barker, Jul 02 2012
a(n) = 3*(-1)^n + 2*(sqrt(3)/i)^n*(sqrt(3)*i*ChebyshevU(n, i/(2*sqrt(3))) - ChebyshevU(n-1, i/(2*sqrt(3)))). - G. C. Greubel, Dec 26 2019
MAPLE
seq(coeff(series(x*(1+x+3*x^2)/((1+x)*(1-x-3*x^2)), x, n+1), x, n), n = 0..35); # G. C. Greubel, Dec 26 2019
MATHEMATICA
Table[ 3*(-1)^n + 2*Sqrt[3]^n*(Sqrt[3]*Fibonacci[n, 1/Sqrt[3]] - Fibonacci[n+1, 1/Sqrt[3]]), {n, 35}]//FullSimplify (* G. C. Greubel, Dec 26 2019 *)
PROG
(PARI) vector(35, n, round(3*(-1)^n + 2*(sqrt(3)/I)^n*(sqrt(3)*I* polchebyshev(n-1, 2, I/(2*sqrt(3))) - polchebyshev(n, 2, I/(2*sqrt(3)))) )) \\ G. C. Greubel, Dec 26 2019
(Magma) I:=[1, 1]; [n le 2 select I[n] else Self(n-1) + 3*Self(n-2) - 3*(-1)^n: n in [1..35]]; // G. C. Greubel, Dec 26 2019
(Sage)
def A095343_list(prec):
P.<x> = PowerSeriesRing(ZZ, prec)
return P( x*(1+x+3*x^2)/((1+x)*(1-x-3*x^2)) ).list()
a=A095343_list(35); a[1:] # G. C. Greubel, Dec 26 2019
(GAP) a:=[1, 1];; for n in [3..35] do a[n]:=a[n-1]-3*a[n-2]-3*(-1)^n; od; a; # G. C. Greubel, Dec 26 2019
CROSSREFS
KEYWORD
nonn
AUTHOR
Benoit Cloitre, Jun 03 2004
STATUS
approved