Tower of Hanoi with random moves

[Max Alekseyev]

On Feb 5, 2008 10:23 AM, Maximilian Hasler <maximilian.hasler at gmail.com> wrote:

> PS: The problem is solved, I don't know if this has been e-mailed to
> the seqfan list.

Oh, it's a good idea to announce the solution to A007798 and A134939.

Sequence A007798 indeed satisfies the conjectured formula:

A007798(n) = (5^n - 2*3^n + 1) / 4

while sequence A134939 satisfies the following formula:

e(n) = (3^n-1)*(5^n-3^n) / (2*3^(n-1))

A134939(n) = (3^n-1)*(5^n-3^n) / 2

The proof of these formulas will be given in our joint paper with Toby Berger.

Regards,
Max