洛谷
对于一辆车，最优为，将([s,t])划分为(k+1)个区间，使得最大长度最小 (f_{l,r,k}=min_{i=l}^r{max(f_{l,i,k-1},a_r-a_i)}) 固定(l,k-1)，(f_{l,i,k-1})单调不降；固定(r)，(a_r-a_i)单调降