本帖最后由 色k 于 2017-4-14 01:12 编辑
用 $(m,n)$ 表示 $X=m$, $Y=n$,
用 $(m,\ge n)$ 表示 $X=m$, $Y\ge n$,
用 $S$ 表示先手胜,$B$ 表示先手败。
显然 $(0,n)=S$, $(m,m)=S$,所以
$(1,2)=B$
则
$(1,\ge3)=S$
$(2,\ge2)=S$
$(m,m+1)=S, m\ge3$
因为这几个都能一步变成 $(1,2)$,
由此推出
$(3,5)=B$
因为无论怎么取,都会变成前面的 $S$,
所以
$(3,\ge6)=S$
$(m,m+2)=S, m\ge4$
由此推出
$(4,7)=B$
理由也是一样,怎么取都会变成 $S$,
所以
$(4,\ge8)=S$
$(m,m+3)=S, m\ge5$
推出
$(5,9)=B$
所以
$(5,\ge10)=S$
$(m,m+4)=S, m\ge6$
推出
$(6,11)=B$
……
……
如此类推,当 $m\ge3$ 时都有
$(m,2m-1)=B$
因此
$(8,15)=B$
所以对原题来说,先手从 $X$ 那堆取两个,就赢了。
其实感觉还可以写成数学归纳法的形式,有空再想想怎么表达…… |