0≤t1≤⋯≤tm≤1≤tm+1≤⋯≤tn≤k-2,