%I M1755 #69 Jul 16 2023 10:33:54
%S 0,2,7,21,59,163,447,1223,3343,9135,24959,68191,186303,508991,1390591,
%T 3799167,10379519,28357375,77473791,211662335,578272255,1579869183,
%U 4316282879,11792304127,32217174015,88018956287,240472260607,656982433791,1794909388799
%N Tower of Hanoi with 3 pegs and cyclic moves only (counterclockwise).
%D R. L. Graham, D. E. Knuth and O. Patashnik, Concrete Mathematics. Addison-Wesley, Reading, MA, 1990, p. 18.
%D N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%H J.-P. Allouche, <a href="http://dx.doi.org/10.1016/0304-3975(94)90064-7">Note on the cyclic towers of Hanoi</a>, Theoret. Comput. Sci., 123 (1994), 3-7.
%H M. D. Atkinson, <a href="http://www.cs.otago.ac.nz/staffpriv/mike/Papers/Hanoi/CyclicHanoi.pdf">The Cyclic Towers of Hanoi</a>, Info. Proc. Letters, 13 (1981), 118-119.
%H R. K. Guy, <a href="/A005665/a005665_1.pdf">Letter to N. J. A. Sloane, 1976</a>
%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 D. G. Poole, <a href="http://www.jstor.org/stable/2690991">The towers and triangles of Professor Claus (or, Pascal knows Hanoi)</a>, Math. Mag., 67 (1994), 323-344.
%H Amir Sapir, <a href="https://doi.org/10.1093/comjnl/47.1.20">The Tower of Hanoi with Forbidden Moves</a>, The Computer J. 47 (1) (2004) 20, case (ii), cyclic.
%H <a href="/index/To#Hanoi">Index entries for sequences related to Towers of Hanoi</a>
%H <a href="/index/Rec#order_03">Index entries for linear recurrences with constant coefficients</a>, signature (3,0,-2).
%F a(n) = (1/(4*s3))*((1+s3)^(n+2)-(1-s3)^(n+2))-1 where s3 = sqrt(3).
%F a(n) = A028859(n) - 1.
%F G.f.: x*(2+x) / ( (x-1)*(2*x^2+2*x-1) ). - _Simon Plouffe_ in his 1992 dissertation
%F From _Paul Zimmermann_, Feb 07 2018: (Start)
%F a(n) = 2*a(n-1)+2*a(n-2)+3 (same recurrence as A005665).
%F a(n) = 2*a(n-1)+c(n-1)+2 where c(n) = 2*a(n-1)+1 stands for A005665.
%F (End)
%t CoefficientList[Series[z (2 + z)/(z - 1)/(2 z^2 + 2 z - 1), {z, 0, 22}], z] (* _Michael De Vlieger_, Sep 02 2015 *)
%o (Magma) [Floor((1/(4*Sqrt(3)))*((1+Sqrt(3))^(n+2)-(1-Sqrt(3))^(n+2))-1): n in [0..30]]; // _Vincenzo Librandi_, Sep 03 2015
%Y Cf. A005665, A052945 (first differences).
%K nonn,easy
%O 0,2
%A _N. J. A. Sloane_
%E Name clarified by _Paul Zimmermann_, Feb 09 2018