交互式证明:http://www.matrix67.com/blog/archives/6572
捡石子游戏(移动皇后问题):http://www.matrix67.com/blog/archives/6784