原帖由 天宫公主 于 2007-6-6 18:07 发表
作为一个非随即离散博弈游戏，任何一个局面对任何一方都会是：必胜态，必败态，或者平局态。

所谓非随即，就是不能有随即事故出现，例如《曹操传》中打出暴击等。
所谓离散，就是棋是一步一步的走，而不是连续时间操作的博弈。

所谓必胜态，就是当两个人无限理智的情况下，对手无法翻身。
所谓必败态，就是当两个人无限理智的情况下，我方无法翻身。
所谓平手态，就是当两个人无限理智的情况下，双手无法取胜，或者游戏进入无限循环。

这个定理可以用数学归纳法来证明。

那么在两步象棋的开局，如果先走的处于必胜态，那么他存在他自己的必胜策略。如果不然的话，他可以一步之内先走马，再回来，把第一步让给对方。