11/13

Link。

啊啊啊啊 ST3 错误又犯了。。

设计状态一定要有限低维度的！

显然可以二分，考虑答案 \(x\) 是否对，设 \(f_i\) 表示前 \(i\) 个最少分成的段数，显然 \(f_i=\min_{j<i,s_i-s_j\le x}{f_j+1}\)，显然可以线段树优化 DP。