Is the sequence of hats pbzchgnoyr? I don't see how to do this if it's not.
Not necessarily.
EDIT: To be fair I should say that the "algorithm" they follow in the solution isn't computable either.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.