取石子游戏解题报告

有两堆石子,两个人轮流去取.每次取的时候,只能从较多的那堆石子里取,并且取的数目必须是较少的那堆石子数目的整数倍.最后谁能够把一堆石子取空谁就算赢.
比如初始的时候两堆石子的数目是25和7

25 7 –> 11 7 –> 4 7 –> 4 3 –> 1 3 –> 1 0

选手1取
选手2取
选手1取
选手2取
选手1取

最后选手1（先取的）获胜，在取的过程中选手2都只有唯一的一种取法。
给定初始时石子的数目，如果两个人都采取最优策略，请问先手能否获胜。

这又是一道博弈论的题，似乎是一道很基础的题，但是我依然不会做。
是这个样子的，设$a \le b$,则若$a \le 2b$或b|a,则先手必胜，否则先手只有一种取法，就取下这种，看后手是否会赢，如此递归下去，时间复杂度是log级的。
考虑为什么这种情况下先手必胜。
对于b|a的情况是显然的，而若 a≤