\(x = N - (m(K+1) + 1)\) を渡せば勝ちになる.

よって, \(N \equiv 1 \pmod{K+1}\) であれば負けであり, そうでなければ勝ちである.