这里只是说说个人理解，如有错误以Discuss中大牛们的阐述为准

现有状态(x,y) (设x>0且y>0,其它情况自行考虑)
1)当x=y时，显然先手胜
2)不妨设x<y
那么(x+y,y)的下一步必定为(x,y)，所以(x+y,y)和(x,y)的结果必然相反,其中有一种状态可以先手胜，另一种后手胜
对于任意k>=2，状态(x+ky,y)可以通过从x+ky那堆去掉(k-1)y个石子变成(x+y,y),也可以通过从x+ky那堆去掉ky个石子变成(x,y),于是这两种选择（注意：这是自主的选择）必然有一种可以获胜,所以当k>=2时(x+ky,y)必胜

可以用递归实现~~

• 顶一个，个人很赞同！！！ (0) ecjtuzdh 2010-04-23 21:15:01
• Re:表示同意 (2) Sigma_Poet 2015-11-05 06:15:21