/RT，如果NIM博弈最后剩下的石子个数最后要等于给定值 $s$，那么是否有一种解法？

只要是多项式复杂度就行。