Games such as Hex are nonconstructively proven first-player wins through a strategy stealing argument. Formalize this proof. How does one formalize "having an extra stone on the board can't hurt you"? How does one formalize "execute the second player's presumed (for proof by contradiction) winning strategy"?
No comments :
Post a Comment