rt.

第一篇题解在 check 的 dp 转移中，没有对 $i - Lst_{i - a_i} > mid$ 的情况进行处理。

现无法 Hack 这种做法，但能构造数据使 check 函数的返回值错误，数据如下：

14
1
2
2
2
2
4
4
4
4
4
4
4
4
4

题解中 check(4) 返回值为 $-1$，但显然可以分组为：

1 2 | 2 2 2 4 | 4 4 4 4 | 4 4 4 4

但是此数据分组数过少，无法 Hack 题解。

所以这种做法是否正确？求证明或 Hack 数据。