%I M0974 N0364 #107 Apr 13 2022 13:25:15
%S 3,2,4,5,8,12,19,30,48,77,124,200,323,522,844,1365,2208,3572,5779,
%T 9350,15128,24477,39604,64080,103683,167762,271444,439205,710648,
%U 1149852,1860499,3010350,4870848,7881197,12752044,20633240,33385283,54018522
%N a(n) = a(n-1) + a(n-2) - 1 for n > 1, a(0)=3, a(1)=2.
%C a(n+3) = A^(n)B^(2)(1), n >= 0, with compositions of Wythoff's complementary A(n):=A000201(n) and B(n)=A001950(n) sequences. See the W. Lang link under A135817 for the Wythoff representation of numbers (with A as 1 and B as 0 and the argument 1 omitted). E.g., 5=`00`, 8=`100`, 12=`1100`, ..., in Wythoff code.
%C From _Petros Hadjicostas_, Jan 11 2017: (Start)
%C a(n) is the number of cyclic sequences consisting of zeros and ones that avoid the pattern 001 (or equivalently, the pattern 110) provided the positions of zeros and ones on a circle are fixed. This can easily be proved by considering that sequence A000071(n+3) is the number of binary zero-one words of length n that avoid the pattern 001 and that a(n) = A000071(n+3) - 2*A000071(n). (From the collection of all zero-one binary sequences that avoid 001 subtract those that start with 1 and end with 00 and those that start with 01 and end with 0.)
%C For n = 1,2, the number a(n) still gives the number of cyclic sequences consisting of zeros and ones that avoid the pattern 001 (provided the positions of zeros and ones on a circle are fixed) even if we assume that the sequence wraps around itself on the circle. For example, when 01 wraps around itself, it becomes 01010..., and it never contains the pattern 001. (End)
%C For n >= 3, a(n) is also the number of independent vertex sets and vertex covers in the wheel graph on n+1 nodes. - _Eric W. Weisstein_, Mar 31 2017
%D N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
%D N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%H T. D. Noe, <a href="/A001612/b001612.txt">Table of n, a(n) for n = 0..500</a>
%H Nazim Fatès, Biswanath Sethi, Sukanta Das, <a href="https://hal.inria.fr/hal-01571847">On the reversibility of ECAs with fully asynchronous updating: the recurrence point of view</a>, Preprint, 2017.
%H Martin Griffiths, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL18/Griffiths/gr48.html">On a Matrix Arising from a Family of Iterated Self-Compositions</a>, Journal of Integer Sequences, 18 (2015), #15.11.8.
%H Fumio Hazama, <a href="http://dx.doi.org/10.1016/j.disc.2011.06.008">Spectra of graphs attached to the space of melodies</a>, Discr. Math., 311 (2011), 2368-2383. See Table 5.2.
%H Martin Herschend, Peter Jorgensen, <a href="https://arxiv.org/abs/2002.01778">Classification of higher wide subcategories for higher Auslander algebras of type A</a>, arXiv:2002.01778 [math.RT], 2020.
%H Dov Jarden, <a href="/A001602/a001602.pdf">Recurring Sequences</a>, Riveon Lematematika, Jerusalem, 1966. [Annotated scanned copy] See p. 97.
%H Simon Plouffe, <a href="https://arxiv.org/abs/0911.4975">Approximations de séries génératrices et quelques conjectures</a>, Dissertation, Université du Québec à Montréal, 1992; arXiv:0911.4975 [math.NT], 2009.
%H Simon Plouffe, <a href="/A000051/a000051_2.pdf">1031 Generating Functions</a>, Appendix to Thesis, Montreal, 1992
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/IndependentVertexSet.html">Independent Vertex Set</a>
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/VertexCover.html">Vertex Cover</a>
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/WheelGraph.html">Wheel Graph</a>
%H <a href="/index/Rec#order_03">Index entries for linear recurrences with constant coefficients</a>, signature (2,0,-1).
%F G.f.: (3-4*x)/((1-x)*(1-x-x^2)).
%F a(n) = a(n-1) + a(n-2) - 1.
%F a(n) = A000032(n) + 1.
%F a(n) = A000071(n+3) - 2*A000071(n). - _Petros Hadjicostas_, Jan 11 2017
%e a(3) = 5 because the following cyclic sequences of length three avoid the pattern 001: 000, 011, 101, 110, 111. - _Petros Hadjicostas_, Jan 11 2017
%p A001612:=-(-2+3*z**2)/(z-1)/(z**2+z-1); # conjectured by _Simon Plouffe_ in his 1992 dissertation; gives sequence except for the initial 3
%t Join[{b=3},a=0;Table[c=a+b-1;a=b;b=c,{n,100}]] (* _Vladimir Joseph Stephan Orlovsky_, Mar 15 2011 *)
%t Table[Fibonacci[n] + Fibonacci[n - 2] + 1, {n, 20}] (* _Eric W. Weisstein_, Mar 31 2017 *)
%t LinearRecurrence[{2, 0, -1}, {3, 2, 4}, 20]] (* _Eric W. Weisstein_, Mar 31 2017 *)
%t CoefficientList[Series[(3 - 4 x)/(1 - 2 x + x^3), {x, 0, 20}], x] (* _Eric W. Weisstein_, Sep 21 2017 *)
%o (PARI) a(n)=fibonacci(n+1)+fibonacci(n-1)+1
%o (Haskell)
%o a001612 n = a001612_list !! n
%o a001612_list = 3 : 2 : (map (subtract 1) $
%o zipWith (+) a001612_list (tail a001612_list))
%o -- _Reinhard Zumkeller_, May 26 2013
%Y Cf. A000032, A000071, A274017.
%K nonn,easy,hear
%O 0,1
%A _N. J. A. Sloane_
%E Additional comments from _Michael Somos_, Jun 01 2000