2021 牛客多校第一场 A.Alice and Bob

最新推荐文章于 2022-07-11 20:29:03 发布

WingsZeng

最新推荐文章于 2022-07-11 20:29:03 发布

阅读量154

点赞数

本文链接：https://blog.csdn.net/weixin_42465278/article/details/119138960

版权

赛场暴力打表过的, 补std和证明. 题目

题意

两堆石子, 个数为 $n, m$ , 每次从一堆拿 $k (k > 0)$ 个, 从另一堆拿 $s\times k(s \ge 0)$ 个, 不能操作输. $T$ 组询问, 问先后手必胜.

$\le n, m \le 5 \times 10^3, 1 \le T \le 10^4$

题解

打表会发现(确实是打了表才发现的), 一堆石子个数为 $i$ , 最多只有一个 $j$ , 使得两堆石子 $i, j$ 必败. 下面证明. 假设 $i, j_1), (i, j_2)$ 必败, 不妨设 $\le j_1 < j_2$ , 状态 $i, j_2)$ 可以转移到必败态 $i, j_1)$ , 即第二堆拿 $j_2 - j_1$ 个, 第一堆不拿( $s = 0$ ). 这样 $i, j_2)$ 是必胜态, 和必败态矛盾.

然后就可以去筛了. $(i, j)$ 必败, 枚举 $k, s$ , $(i + k, j + s k), (i + s k, j + k)$ 必败. 必败态 $O (n)$ 个, 枚举 $k$ $O (n)$ , 枚举 $s$ $O(\log n)$ , 总复杂度 $O(n^2 \log n)$ . 只需要统计 $\le j$ 的, 可进一步优化(否则牛客上过不去笑死, 本地跑500ms以内, 本地这样优化200ms以内)