威佐夫游戏

游戏过程中的任何状态都可用一对正整数(n,m)来表示，其中n≤m，分别表示两堆筹码的数目。所有状态分为两种：先手必胜和后手必胜。在双方均采取最佳策略的情况下，前者表示下一个行动的玩家将取胜，后者表示下一个行动的玩家将落败。可见，游戏的最佳策略是从一个先手必胜状态移动到任一后手必胜状态。

对于任一状态(n,m)，可用以下法则递归地判断此状态是先手必胜还是后手必胜：

1. (0,0)为后手必胜状态。
2. 若一个状态的后续中存在后手必胜状态，则该状态为先手必胜。
3. 若一个状态的全部后续均为先手必胜，则该状态为后手必胜。

例如，由上述第一条、第二条可推出对所有的正整数m，(0,m)和(m,m)均为先手必胜状态。而(1,2)是后手必胜状态，因为它的后续(0,1)、(0,2)和(1,1)均为先手必胜状态。前几个后手必胜状态为(0, 0)、(1, 2)、(3, 5)、(4, 7)、(6,10)和(8, 13)。

威佐夫发现后手必胜状态与黄金分割率有关。具体而言，若k为任意自然数且

${\displaystyle n_{k}=\lfloor k\phi \rfloor =\lfloor m_{k}\phi \rfloor -m_{k}\,}$

${\displaystyle m_{k}=\lfloor k\phi ^{2}\rfloor =\lceil n_{k}\phi \rceil =n_{k}+k\,}$

其中φ为黄金分割率，中括号表示高斯符号，则(n_k,m_k)即为第k个后手必胜状态。这两个数列在整数数列线上大全中的编号分别为A000201和A001950。

{n_k}和{m_k}是贝亚蒂列，也即满足方程

${\displaystyle {\frac {1}{\phi }}+{\frac {1}{\phi ^{2}}}=1\,.}$

根据贝亚蒂定理，这两个数列互为补集：所有正整数均仅存在于其中的一个数列并只出现一次。

• 尼姆游戏
• Grundy游戏
• 取平方数
• 威佐夫矩阵

• 埃里克·韦斯坦因. . MathWorld.