令 \(c\) 为 \(a\) 中 \(1\) 的个数，那么 \(c + s\) 永远不变，由于 \(s = 0/n + 1\) 结束，也就是说如果 \(c + s \in [0, n]\)，那么 \(s = 0\)，\(c = c + s\)，否则说明 \(s = n + 1\)，\(c = c + s - n + 1\)，那么答案就是 \((c + s) \bmod (n + 1)\)。
剩下的部分利用卷积即可，当然我也没有细想。
这提示我们在操作过程中寻找操作特征和不变量。
令 \(c\) 为 \(a\) 中 \(1\) 的个数，那么 \(c + s\) 永远不变，由于 \(s = 0/n + 1\) 结束，也就是说如果 \(c + s \in [0, n]\)，那么 \(s = 0\)，\(c = c + s\)，否则说明 \(s = n + 1\)，\(c = c + s - n + 1\)，那么答案就是 \((c + s) \bmod (n + 1)\)。
剩下的部分利用卷积即可，当然我也没有细想。
这提示我们在操作过程中寻找操作特征和不变量。