OFFSET
1,2
COMMENTS
Old (and equivalent) definition: these are the indices of records in the Fibonachos sequence A280521: the least k such that A280521(k) = n.
Conjecture: a(n) = A215004(2n - 2). - Peter Kagey. The conjecture is true. See link for analysis of connections with A215004 and A280521. - Nathan Fox, Jan 27 2017
Define the n-th Fibonacci compositions CF(n) by CF(1)={(1)}, CF(2)={(2)}, and CF(n) is 1 adjoined at the end of each composition in CF(n-1) union 2 adjoined to the end of each composition in CF(n-2). The union is disjoint, so |CF(n)| is the n-th Fibonacci number. Define the weight of a composition c by 2^(number of singletons in c). For example, 2122 has 1 singleton and weight 2. Let s(n) be the sum of the weights of CF(n). Conjecture: a(n)= s(2n+4)-s(2n+3). - George Beck, Jan 31 2020
LINKS
Nathan Fox, Proof that a(n) = Fibonacci(2n + 1) - n.
Murray Tannock, Equivalence classes of mesh patterns with a dominating pattern, MSc Thesis, Reykjavik Univ., May 2016. See Appendix B2
Index entries for linear recurrences with constant coefficients, signature (5,-8,5,-1).
FORMULA
G.f.: -x*(-1+2*x-3*x^2+x^3) / ( (x^2-3*x+1)*(x-1)^2 ). - R. J. Mathar, Mar 11 2017
a(n) = 5*a(n-1)-8*a(n-2)+5*a(n-3)-a(n-4). - Wesley Ivan Hurt, Apr 26 2021
EXAMPLE
MATHEMATICA
Table[Fibonacci[2n + 1] - n, {n, 30}] (* Alonso del Arte, Jan 29 2017 *)
LinearRecurrence[{5, -8, 5, -1}, {1, 3, 10, 30}, 30] (* Harvey P. Dale, Feb 06 2024 *)
PROG
(PARI) F=vector(64, n, fibonacci(n+2)-1); \\ Resize as needed
A280521(n)=my(s); while(n, s++; t=setsearch(F, n, 1); if(t, n-=F[t-1], return(s))); s
first(n)=my(v=vector(n), k, t, mn=1, gaps=n); while(gaps, t=A280521(k++); if(t>=mn && t<=n && v[t]==0, v[t]=k; while(mn<=n && v[mn], mn++); print("a("t") = "k); gaps--)); v \\ Charles R Greathouse IV, Jan 04 2017
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Peter Kagey, Jan 04 2017
EXTENSIONS
Corrected and extended by Charles R Greathouse IV, Jan 04 2017
a(26) from Charles R Greathouse IV, Jan 09 2017
a(27) from Charles R Greathouse IV, Jan 16 2017
Replaced old definition by simple formula established by Nathan Fox. - N. J. A. Sloane, Jan 30 2017
STATUS
approved