【数据结构-一维差分】力扣1893. 检查是否区域内所有整数都被覆盖
给你一个二维整数数组 ranges 和两个整数 left 和 right 。每个 ranges[i] = [starti, endi] 表示一个从 starti 到 endi 的 闭区间 。
如果闭区间 [left, right] 内每个整数都被 ranges 中 至少一个 区间覆盖，那么请你返回 true ，否则返回 false 。
已知区间 ranges[i] = [starti, endi] ，如果整数 x 满足 starti <= x <= endi ，那么我们称整数x 被覆盖了。
示例 1：
输入：ranges = [[1,2],[3,4],[5,6]], left = 2, right = 5
输出：true
解释：2 到 5 的每个整数都被覆盖了：
- 2 被第一个区间覆盖。
- 3 和 4 被第二个区间覆盖。
- 5 被第三个区间覆盖。
示例 2：
输入：ranges = [[1,10],[10,20]], left = 21, right = 21
输出：false
解释：21 没有被任何一个区间覆盖。
提示：
1 <= ranges.length <= 50
1 <= starti <= endi <= 50
1 <= left <= right <= 50
差分
class Solution {
public:bool isCovered(vector<vector<int>>& ranges, int left, int right) {int max_end = INT_MIN;int min_start = INT_MAX;for (auto& range : ranges) {min_start = min(min_start, range[0]);max_end = max(max_end, range[1]);}min_start = min(min_start, left);max_end = max(max_end, right);vector<int> diff(max_end+2);for(auto& row : ranges){diff[row[0]]++;diff[row[1]+1]--;}int s = 0;for(int i = min_start; i <= right; i++){s += diff[i];if(i >= left && s <=0){return false;}}return true;}
};
这道题和2848相似，如果使用差分的方法做这道题，需要理解的是for(int i = min_start; i <= max_end; i++)为什么是从min_start到max_end。首先因为是差分的办法，所以i开始必须在ranges中最小的range[0]及其左边开始，但是由于可能会出现left在最小range[0]的左边，从而在遍历left到最小range[0]的时候满足了i>left而且s这时候又为0，会返回false。为了确保包含这种情况，我们取min_start为最小range[0]和left的较小值。我们定义max_end的作用就是确保row[1]+1和right都能在diff里不越界。当i到right的时候进行最后一次循环，因为我们的目的是找出left到right范围内的值是否有覆盖，所以遍历right以后的范围没有意义。总而言之我们需要遍历left到right的diff，但是又因为差分要保证从最小的range[0]即左边开始，所以在左边界取min(min_start, range[0])