规律可以一步步发现：
考虑去零后的真实堆数n，再以升序排列之
if n = 0，则0（）=false
if n = 1,1（m1 )= true
if n =2 , 2(m1,m2)=false iff m1=m2
if n =3 3(m1,m2,m3) = true
if n= 4 4(m1,m2,m3,m4) = false iff m1=m2&&m3=m4
每种必胜状态必然满足其下一状态可转化为必输状态
...