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)
MATHEMATICA
LinearRecurrence[{3, -1, -3, 2}, {0, 1, 3, 5}, 32] (* Robert P. P. McKone, Jan 28 2021 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Paul Curtz, Jan 24 2021
STATUS
approved