首先
偶偶偶偶偶
先手必负非常容易判断,后手只要保持和先手做一样的选择,必然能一直保持全偶到全零为止。
为了方便起见,我们用一个或两个数字表示双方的方案,比如
1
表示先手从第一堆取一个数,于是变成"奇偶偶偶偶",而后手应对方案同样是从第一堆取数,于是我们可以写成方案
1=>1 (偶偶偶偶偶)
最后括号里的模式表示变换后的最终模式,而第一个人取数后可能会改变各堆大小关系,但是这时第二个人应对方案我们还是用原先堆的编号,但是最终模式里面是重新排序后的模式
另外如果我们选择模式15,那么必然表示第5个数严格大于第4个数,因为不然我们可以写成模式14等。
于是偶偶偶偶偶模式的所有应对策略可以写成
1=>1 (偶偶偶偶偶)
2=>2 (偶偶偶偶偶)
3=>3 (偶偶偶偶偶)
4=>4 (偶偶偶偶偶)
5=>5 (偶偶偶偶偶)
12=>12 (偶偶偶偶偶)
13=>13 (偶偶偶偶偶)
14=>14 (偶偶偶偶偶)
15=>15 (偶偶偶偶偶)
23=>23 (偶偶偶偶偶)
24=>24 (偶偶偶偶偶)
25=>25 (偶偶偶偶偶)
34=>34 (偶偶偶偶偶)
35=>35 (偶偶偶偶偶)
而对于局面
偶偶奇奇奇
1=>1 (偶偶奇奇奇)
2=>2 (偶偶奇奇奇)
3=>45 (偶偶偶偶偶)
4=>35 (偶偶偶偶偶)
5=>34 (偶偶偶偶偶)
12=>12 (偶偶奇奇奇)
13=>24 (偶偶奇奇奇)
14=>23 (偶偶奇奇奇)
15=>15 (偶偶奇奇奇) (注意开始第5个数严格大于第4个数,变化后不小于第四个数,所以排列顺序不变)
23=>23 (偶偶奇奇奇) (注意开始第一个数严格小于第二个数,所以第三个数减2后还大于第一个数,但前两个数可能交换顺序)
24=>24 (偶偶奇奇奇)
25=>25 (偶偶奇奇奇)
34=>5 (偶偶偶偶偶)
35=>4 (偶偶偶偶偶)
45=>3 (偶偶偶偶偶)
对于
奇奇奇奇偶
1=>25 (偶偶奇奇奇)
2=>15 (偶偶奇奇奇)
3=>3 (奇奇奇奇偶)
4=>4 (奇奇奇奇偶)
5=>12 (偶偶奇奇奇)
12=>34 (偶偶偶偶偶)
13=>24 (偶偶偶偶偶)
14=>23 (偶偶偶偶偶)
15=>2 (偶偶奇奇奇)
23=>14 (偶偶偶偶偶)
24=>13 (偶偶偶偶偶)
25=>1 (偶偶奇奇奇)
34=>12 (偶偶偶偶偶)
35=>4 (奇奇偶偶奇) (注意原先第3个数大于第2个数,变化后还是)
45=>45 (奇奇奇奇偶) (注意原先第4个数大于第3个数,减2后还不小于,不改变顺序)
对于
奇奇偶偶奇
1=>25 (偶偶偶偶偶)
2=>15 (偶偶偶偶偶)
3=>45 (奇奇奇奇偶)
4=>35 (奇奇奇奇偶)
5=>34 (奇奇奇奇偶)
12=>5 (偶偶偶偶偶)
13=>24 (偶偶奇奇奇)
14=>23 (偶偶奇奇奇)
15=>2 (偶偶偶偶偶)
23=>14 (偶偶奇奇奇)
24=>13 (偶偶奇奇奇)
25=>1 (偶偶偶偶偶)
34=>5 (奇奇奇奇偶)
35=>4 (奇奇奇奇偶)
45=>3 (奇奇奇奇偶)
所以后手总可以保持留下这4个模式之一,最终变到无法在变时必然是全0。
所以我们可以得出这四种模式都是先手负的。
而对于其他模式,如果奇数堆小于两堆,先手可以将奇数堆全部转化为偶数而获胜,所以我们只要考虑奇数堆至少三堆而且不属于上面的共13种情况。
偶奇偶奇奇 23 => 偶偶奇奇奇
偶奇奇偶奇 24 => 偶偶奇奇奇
偶奇奇奇偶 25 => 偶偶奇奇奇
偶奇奇奇奇 2 => 偶偶奇奇奇
奇偶偶奇奇 24 => 奇奇偶偶奇
奇偶奇偶奇 14 => 偶偶奇奇奇
奇偶奇奇偶 15 => 偶偶奇奇奇
奇偶奇奇奇 1 => 偶偶奇奇奇
奇奇偶奇偶 45=> 奇奇偶偶奇
奇奇偶奇奇 4 => 奇奇偶偶奇
奇奇奇偶偶 4=> 奇奇奇奇偶
奇奇奇偶奇 45 => 奇奇奇奇偶
奇奇奇奇奇 12 => 偶偶奇奇奇
由此可见,余下方案都是先手胜