adversary strategy

We prove various calculability and computational complexity result on the Hangman's adversary problem, and provide an implementation of our solution which can be played against.