这个题第一问的二分check是好想的，后面有一个重要的转化就是把断 $k$ 个点转化为分成 $k+1$ 段。显然有每一段长度小于等于 $ans1$。

只有满足每一段小于等于 $ans1$ 就一定有至少一段长度是 $ans1$，否则 $ans1$ 就会取得更小值。

其实这一段不该没想出来，还是状态太差了。

因为长度单增，容易发现决策集是一个连续的区间，于是可以前缀和优化。