浅浅证明一下这种做法的正确性。
首先,答案一定是一个最优解,那么枚举右端点到b的时候,由于最优解是合法解,我们的左端点会走到不能走了为止,这样就求出了最优解,而且最优解一定是最小的,所以一定会记入答案。
其实可以理解为把区间按照右端点分类了,而且每类区间中的最优解的左端点是递增的(和右端点正相关),所以可以用twopointer优化。