PossbilePrevious([x, y)) = [x/9, y/2);
MustPrevious(N) = [N/18, N/9);
MustPrevious([x, y)) = [x/2, y/9);

N 
MustPrevious-> [N/18,N/9) 
PossiblePrevious-> [N/(18*9), N/(9*2))
MustPrevious-> [N/(18*9*2), N/(9*2*9))

...
...

一直向前推至 不能继续前推为止（状态区间起始坐标必须大于1）
如果以 <MustPrevious转移> 结束则先手胜
如果以 <PossiblePrevious转移> 结束则后手胜