开学初还蛮有空的，顺别提醒自己别太颓，想起去年区域赛毛都不会做的痛苦面具，感觉学东西容易降智，觉得还是趁着有空多练练binary search的技巧。

在谷上发现了一个Codeforces 好题 Div.1-1的题单，打算先从这个开始做。

CF472G Design Tutorial: Increase the Constraints

大暴力。

手压一个\(64\)位的\(\text{bitset}\)，纯暴力做的话时间的上界大概是\(\frac{400000 \times 200000}{64}\)，感觉这个估算其实非常接近机器运行的指令数，所以是跑不过极限数据的。

那咋办呢？对\(b\)分块，假设块大小为\(S\)，有\(\frac{n}{S}\)块，利用\(\frac{n^2}{S}\)的空间预处理\(a\)的每一个位置开始与\(b\)的每一块匹配得到的答案，每一次查询的时间是\(O(\frac{S}{w} + \frac{n}{S})\)，\(S\)可以取个\(\sqrt{wn} = 8\sqrt{n}\)。

代码大概跑了\(4s\)左右。

code

看了下正解发现是分块fft，手动笑哭。