威佐夫博弈

威佐夫博弈（Wythoff’s game）：有两堆各若干个物品，两个人轮流从任一堆取至少一个或同时从两堆中取同样多的物品，规定每次至少取一个，多者不限，最后取光者得胜。

必败态：
对于第$i$个必败态$(x,y)$表示第一堆有$x$个石子，第二堆有$y$个石子。
$x$为$mex(x_1,x_2,x_3.....x_{i-1},y_1,y_2...y_{i-1})$也就是没有在之前出现过的最小非负整数。
$y=x+i-1$
也就是第一个必败态是$(0,0)$，第二个是$(1,2)$…
第$i$个必败态代表两堆的差为$i-1$的必败态。

那么对于$(a,b)$为非必败态，要么可以减小$b$使得$(a,b-x)$为必败态,要么可使得$(a-x,b-x)$为必败态。
但是模拟这个过程很慢，考虑betty定理：
$\frac{1}{a}+\frac{1}{b}=1$其中$a,b$为无理数，那么$\lfloor na\rfloor$和$\lfloor nb\rfloor$$wheren\in [1,\infty )$的值恰好不重复的等于了每个整数。

并且上面的必败态也覆盖了每个整数，那么就设$x_{i+1}=\lfloor ia\rfloor$ , $y_{i+1}=\lfloor ia\rfloor +i=\lfloor i(a+1)\rfloor$，发现$\frac{1}{a}+\frac{1}{a+1}=1$
$x_{i+1}=\lfloor \frac{i+\sqrt{5}i}{2}\rfloor$
$y_{i+1}=\lfloor \frac{3i+\sqrt{5}i}{2}\rfloor$
完了。

例：
国际象棋中皇后只能向右或下或右下走，不能走者输。