问题背景

给定一个长度为 $n$ 的整数数组 $nums$ 和一个二维数组 $queries$，其中 $queries[i]=[l_i,r_i]$。
对于每个查询 $queries[i]$：

• 在 $nums$ 的下标范围 $[l_i,r_i]$ 内选择一个下标 子集。
• 将选中的每个下标对应的元素值减 $1$。

零数组 是指所有元素都等于 $0$ 的数组。
如果在按顺序处理所有查询后，可以将 $nums$ 转换为 零数组 ，则返回 $true$，否则返回 $false$。

数据约束

• $1\le nums.length\le 10^5$
• $0\le nums[i]\le 10^5$
• $1\le queries.length\le 10^5$
• $queries[i].length=2$
• $0\le l_i\le r_i<nums.length$

解题过程

由于操作的过程中可以选择子集，所以实际上问题可以转化为能否对范围上的数进行操作，使得所有元素均非正。
而对某个区间上的所有元素进行某种同样的操作，可以用差分来实现。

具体实现

class Solution {public boolean isZeroArray(int[] nums, int[][] queries) {int n = nums.length;int[] diff = new int[n + 1];for (int[] query : queries) {diff[query[0]]++;diff[query[1] + 1]--;}int num = 0;for (int i = 0; i < n; i++) {num += diff[i];if (nums[i] > num) {return false;}}return true;}
}