经过几天的学习和刷题，总算对博弈论的基础懂了一些，学习过程中参考了以下两位的总结：
下面列出一些基础博弈的结论定理（证明过程略）：
（一）巴什博弈（Bash）：
一个堆中有n个物体，两人轮流取，每次至少取1个，至多取m个，最后取完者胜。
取胜法则：令n=（m+1）*r+s （s<=m，r为任意自然数），先取者要想取胜，则要求第一次取时必须取s个。
（二）威佐夫博弈（Wythoff）：
两个堆中各有若干个物品，两人轮流从某一堆或从两堆中同时取同样多个物品（每次至少1个，可任意多个），最后取完者胜。
定义：当甲面对局势（ak,bk）时，甲必定输，则称（ak,bk）为奇异局势。（奇异局势有bk=ak+k）
性质：
1.任何自然数都包含在一个且仅有一个奇异局势中；
2.奇异局势可通过任意操作变为非奇异局势；
3.非奇异局势可通过适当的方法变为奇异局势。
Q：如何判断局势（a,b）是否为奇异局势？
A：若为奇异局势，则有
(1) ak=floor（k*（sqrt（5.0）+1）/2）; (2) bk=ak+k
可将k=b-a代入(1)式中，得到ak，比较ak是否等于a，若等于，则为奇异局势，否则为非奇异局势。
（三）尼姆博弈（Nimm）：
三个堆中各有若干个物品，两人轮流从某堆中取任意多个物品（每次至少1个，可任意多个），最后取完者胜。
用（a,b,c）表示某种局势，将a，b，c 以二进制形式进行异或（^）运算，若异或结果为0，则是奇异局势，否则是非奇异局势（非奇异局势可通过适当的方法变为奇异局势）。
（四）取火柴游戏的两种问题：
有若干堆火柴，两人依次从中取出，每次只能从一堆中取若干根（>=1），
问：(Ⅰ) 最后取完者胜，求必胜方法？ (Ⅱ) 最后取完者负，求必胜方法？
定义1：若所有堆的火柴数异或为0，则该状态为利他态（T态），否则为利己态（S）；
对于问题(Ⅰ)：
定理1：任意S态，总能从一堆火柴中取出若干个，从而变为T态；
定理2：任意T态，只需取任何一堆中的若干个，就能变为S态；
取胜法则：S态必胜，T态必败。
定义2：若某堆仅有1根火柴，则称之为孤单堆，否则为充裕堆；
定义3：T态中，若充裕堆的堆数为0，则称之为部分利他态（T0）；
若充裕堆的堆数>=2，则称之为完全利他态（T2）；
定义4：S态中，若充裕堆的堆数为0，且有奇数堆孤单堆，则称之为S0；
若充裕堆仅有1堆，则称之为S1；若充裕堆的堆数>=2，则称之为S2。
对于问题(Ⅱ)：
定理3：S2态不可一次变为T0态，但S2态可一次变为T2态；
定理4：T2态只能转为S2态/S1态。
取胜法则：[ 必胜态：T0，S1，S2 ] [ 必败态：T2，S0 ]