K可以直接双指针，枚举到一个数的时候维护一下修改区间，然后发现端点是单调的，就O(n)了