解题报告（一）E、（BZOJ4589）Hard Nim（博弈论 + FWT）

繁凡出品的全新系列：解题报告系列 —— 超高质量算法题单，配套我写的超高质量题解和代码，题目难度不一定按照题号排序，我会在每道题后面加上题目难度指数（$1\sim 5$），以模板题难度 $1$ 为基准。

---

这样大家在学习算法的时候就可以执行这样的流程：

%
阅读我的【学习笔记】 / 【算法全家桶】学习算法 $\Rightarrow$ 阅读我的相应算法的【解题报告】获得高质量题单 $\Rightarrow$ 根据我的一句话题解的提示尝试自己解决问题 $\Rightarrow$ 点开我的详细题解链接学习巩固（好耶）
%

题单链接：【解题报告】快速沃尔什变换FWT（ICPC / CCPC / NOIP / NOI / CF / AT / NC / P / BZOJ）超高质量题解 ！！！

E、（BZOJ4589）Hard Nim（博弈论 + FWT）

Weblink

#4589. Hard Nim

Problem

Claris和NanoApe在玩石子游戏，他们有n堆石子，规则如下：

1. Claris和NanoApe两个人轮流拿石子，Claris先拿。

2. 每次只能从一堆中取若干个，可将一堆全取走，但不可不取，拿到最后1颗石子的人获胜。

不同的初始局面，决定了最终的获胜者，有些局面下先拿的Claris会赢，其余的局面Claris会负。
Claris很好奇，如果这n堆石子满足每堆石子的初始数量是不超过m的质数，而且他们都会按照最优策略玩游戏，那么NanoApe能获胜的局面有多少种。
由于答案可能很大，你只需要给出答案对 $10^9+7$ 取模的值。

$1\le n\le 10^9,2\le m\le 50000$

Solution

其实就是一个 FWT 非常基础的运用，真正懂 FWT 是干嘛的就一定能看出来。

首先本题除去计数就是一个非常基础的 Nim 游戏，结论就是当异或和为 $0$ 的时候先手必败，也就是后手必胜。而题目要求统计的是后手必胜的局面的数量，显然是一个计数问题，题目就可以抽象成：$n$ 个数，每个数取值为 $2\sim m$ 的质数，问一共有多少种方案，使得这 $n$ 数的异或和为 $0$。

我们知道FWT能够解决的问题是：

$$c_k=\sum _{i\oplus j=k}$$