先手必胜当且仅当：巴什博弈中 n % (m + 1) ≠ 0，尼姆博弈中 a[0] ^ a[1] ^ ... ^ a[k−1] ≠ 0；两者均通过一次运算即可判定，无需模拟。
先手必胜的判断标准非常明确：巴什博弈看 n % (m + 1) 是否为 0；尼姆博弈看所有堆数量的异或和 a[0] ^ a[1] ^ ... ^ a[k-1] 是否非 0。两者都不需要模拟过程，直接算一次就能下结论。
巴什博弈：n % (m + 1) != 0 就能赢
只有一堆石子，每次可取 1~m 个，最后取完者胜。关键在于控制剩余石子数始终是 m + 1 的倍数——这是后手的“安全态”。所以：
- 如果初始
n % (m + 1) == 0，先手无论取多少（1~m），后手都能取m + 1 - x个，把局面拉回倍数态，最终先手面对m + 1个时必输 - 如果
n % (m + 1) == r（其中1 ），先手第一步就取走 <code>r个，剩下(m + 1) * k，之后每次响应后手的取法即可 - 注意
m是“最多能取的数量”，不是固定步长；当n 时，<code>n % (m + 1) == n != 0，先手直接全拿走，也符合该公式
尼姆博弈：^ 异或和不为 0 就能赢
多堆石子，每次只能从**某一堆**取任意个（至少 1 个），取光者胜。胜负完全由异或和决定：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 若
a[0] ^ a[1] ^ ... ^ a[k-1] == 0，当前是“奇异局势”，先手无论怎么操作，都会让异或和变为非零，后手总能再把它变回 0 - 若异或和
!= 0，设结果为s，一定存在某堆a[i]满足a[i] ^ s ，此时将该堆从 <code>a[i]改为a[i] ^ s，整体现异或和就变成 0 - 别误用成按位与或模加；
^是唯一正确运算，C++ 中直接用^运算符，不是pow或**
常见误判点：威佐夫、阶梯 Nim 别混进来
看到两堆就下意识套尼姆？看到“同时从两堆取”就以为是巴什？容易踩坑：
- 两堆且允许“从一堆取”或“两堆取相同数量”——这是威佐夫博弈，得用黄金分割比例判断，不是
^也不是% - 阶梯结构（比如石子只能往下移）——实际等价于只对奇数级台阶做尼姆，偶数级可忽略；直接对全部数组异或会错
- 限制每堆最多取 k 个？或必须取偶数个？这些是变种，原始巴什/尼姆结论不再适用，得重新建模
真正难的不是计算，而是准确识别题干对应哪种模型。题目里“一堆/多堆”“能否跨堆操作”“取法是否对称”这几个字眼，比公式本身更关键。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
