OFFSET
0,3
COMMENTS
a(2*n) is divisible by 3.
a(3*n+2) is divisible by 3.
a(n) is the minimum number of moves to solve a Towers of Hanoi puzzle with 4 pegs and n disks where a disk cannot move away from the destination peg (or symmetrically, a disk cannot return to the initial peg). - Woosuk Kwak, Jan 25 2024
LINKS
Woosuk Kwak, 1+3 Towers of Hanoi, Puzzling Stack Exchange.
Index entries for linear recurrences with constant coefficients, signature (3,-1,-3,2).
FORMULA
a(n+1) - a(n) = A128209(n) for n >= 0.
a(n+2) = 1 + 2*A086445(n). - Hugo Pfoertner, Jan 24 2021
From Woosuk Kwak, Jan 25 2024: (Start)
a(n) = n + floor(2^n/3).
a(n) = n + A000975(n-1) for n >= 1. (End)
From Elmo R. Oliveira, Apr 10 2026: (Start)
a(n) = 3*a(n-1) - a(n-2) - 3*a(n-3) + 2*a(n-4).
a(n) = [x^n] x*(1 - 3*x^2)/((1 - x)^2*(1 - 2*x)*(1 + x)). (End)
E.g.f.: (cosh(2*x) + (3*x - 2)*sinh(x) + cosh(x)*(2*sinh(x) + 3*x - 1))/3. - Stefano Spezia, Apr 10 2026
MATHEMATICA
LinearRecurrence[{3, -1, -3, 2}, {0, 1, 3, 5}, 32] (* Robert P. P. McKone, Jan 28 2021 *)
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Paul Curtz, Jan 24 2021
EXTENSIONS
More terms from Elmo R. Oliveira, Apr 10 2026
STATUS
approved
