所谓区间问题,就是线段问题,让你合并所有线段、找出线段的交集等等。主要有两个技巧:

1、排序。常见的排序方法就是按照区间起点排序,或者先按照起点升序排序,若起点相同,则按照终点降序排序。当然,如果你非要按照终点排序,无非对称操作,本质都是一样的。

2、画图。就是说不要偷懒,勤动手,两个区间的相对位置到底有几种可能,不同的相对位置我们的代码应该怎么去处理。

废话不多说,下面我们来做题。

区间合并问题

力扣第 56 题就是一道相关问题,题目很好理解:

区间相关问题 - 图1

我们解决区间问题的一般思路是先排序,然后观察规律。

一个区间可以表示为[start, end],前文聊的区间调度问题,需要按end排序,以便满足贪心选择性质。而对于区间合并问题,其实按endstart排序都可以,不过为了清晰起见,我们选择按start排序。

区间相关问题 - 图2

显然,对于几个相交区间合并后的结果区间**x****x.start**一定是这些相交区间中**start**最小的,**x.end**一定是这些相交区间中**end**最大的。

区间相关问题 - 图3

由于已经排了序,x.start很好确定,求x.end也很容易,可以类比在数组中找最大值的过程:

  1. int max_ele = arr[0];
  2. for (int i = 1; i < arr.length; i++)
  3. max_ele = max(max_ele, arr[i]);
  4. return max_ele;

然后就可以写出完整代码

  1. # intervals 形如 [[1,3],[2,6]...]
  2. def merge(intervals):
  3. if not intervals: return []
  4. # 按区间的 start 升序排列
  5. intervals.sort(key=lambda intv: intv[0])
  6. res = []
  7. res.append(intervals[0])
  8. for i in range(1, len(intervals)):
  9. curr = intervals[i]
  10. # res 中最后一个元素的引用
  11. last = res[-1]
  12. if curr[0] <= last[1]:
  13. # 找到最大的 end
  14. last[1] = max(last[1], curr[1])
  15. else:
  16. # 处理下一个待合并区间
  17. res.append(curr)
  18. return res

区间相关问题 - 图4

区间覆盖问题

这是力扣第 1288 题,看下题目:

区间相关问题 - 图5

题目问我们,去除被覆盖区间之后,还剩下多少区间,那么我们可以先算一算,被覆盖区间有多少个,然后和总数相减就是剩余区间数

对于这种区间问题,如果没啥头绪,首先排个序看看,比如我们按照区间的起点进行升序排序:

区间相关问题 - 图6

排序之后,两个相邻区间可能有如下三种相对位置:

区间相关问题 - 图7

对于这三种情况,我们应该这样处理:

对于情况一,找到了覆盖区间。

对于情况二,两个区间可以合并,成一个大区间。

对于情况三,两个区间完全不相交。

依据几种情况,我们可以写出如下代码:

  1. int removeCoveredIntervals(int[][] intvs) {
  2. // 按照起点升序排列,起点相同时降序排列
  3. Arrays.sort(intvs, (a, b) -> {
  4. if (a[0] == b[0]) {
  5. return b[1] - a[1];
  6. }
  7. return a[0] - b[0];
  8. });
  9. // 记录合并区间的起点和终点
  10. int left = intvs[0][0];
  11. int right = intvs[0][1];
  12. int res = 0;
  13. for (int i = 1; i < intvs.length; i++) {
  14. int[] intv = intvs[i];
  15. // 情况一,找到覆盖区间
  16. if (left <= intv[0] && right >= intv[1]) {
  17. res++;
  18. }
  19. // 情况二,找到相交区间,合并
  20. if (right >= intv[0] && right <= intv[1]) {
  21. right = intv[1];
  22. }
  23. // 情况三,完全不相交,更新起点和终点
  24. if (right < intv[0]) {
  25. left = intv[0];
  26. right = intv[1];
  27. }
  28. }
  29. return intvs.length - res;
  30. }

以上就是本题的解法代码,起点升序排列,终点降序排列的目的是防止如下情况:

区间相关问题 - 图8

对于这两个起点相同的区间,我们需要保证长的那个区间在上面(按照终点降序),这样才会被判定为覆盖,否则会被错误地判定为相交,少算一个覆盖区间。

区间交集问题

先看下题目,力扣第 986 题就是这个问题:

区间相关问题 - 图9title

题目很好理解,就是让你找交集,注意区间都是闭区间。

解决区间问题的思路一般是先排序,以便操作,不过题目说已经排好序了,那么可以用两个索引指针在AB中游走,把交集找出来,代码大概是这样的:

  1. # A, B 形如 [[0,2],[5,10]...]
  2. def intervalIntersection(A, B):
  3. i, j = 0, 0
  4. res = []
  5. while i < len(A) and j < len(B):
  6. # ...
  7. j += 1
  8. i += 1
  9. return res

不难,我们先老老实实分析一下各种情况。

首先,对于两个区间,我们用[a1,a2][b1,b2]表示在AB中的两个区间,那么什么情况下这两个区间没有交集呢:

区间相关问题 - 图10

只有这两种情况,写成代码的条件判断就是这样:

  1. if b2 < a1 or a2 < b1:
  2. [a1,a2] [b1,b2] 无交集

那么,什么情况下,两个区间存在交集呢?根据命题的否定,上面逻辑的否命题就是存在交集的条件:

  1. # 不等号取反,or 也要变成 and
  2. if b2 >= a1 and a2 >= b1:
  3. [a1,a2] [b1,b2] 存在交集

接下来,两个区间存在交集的情况有哪些呢?穷举出来:

区间相关问题 - 图11

这很简单吧,就这四种情况而已。那么接下来思考,这几种情况下,交集是否有什么共同点呢?

区间相关问题 - 图12

我们惊奇地发现,交集区间是有规律的!如果交集区间是[c1,c2],那么c1=max(a1,b1)c2=min(a2,b2)!这一点就是寻找交集的核心,我们把代码更进一步:

  1. while i < len(A) and j < len(B):
  2. a1, a2 = A[i][0], A[i][1]
  3. b1, b2 = B[j][0], B[j][1]
  4. if b2 >= a1 and a2 >= b1:
  5. res.append([max(a1, b1), min(a2, b2)])
  6. # ...

最后一步,我们的指针ij肯定要前进(递增)的,什么时候应该前进呢?

区间相关问题 - 图13

结合动画示例就很好理解了,是否前进,只取决于a2b2的大小关系:

  1. while i < len(A) and j < len(B):
  2. # ...
  3. if b2 < a2:
  4. j += 1
  5. else:
  6. i += 1

以此思路写出代码:

  1. # A, B 形如 [[0,2],[5,10]...]
  2. def intervalIntersection(A, B):
  3. i, j = 0, 0 # 双指针
  4. res = []
  5. while i < len(A) and j < len(B):
  6. a1, a2 = A[i][0], A[i][1]
  7. b1, b2 = B[j][0], B[j][1]
  8. # 两个区间存在交集
  9. if b2 >= a1 and a2 >= b1:
  10. # 计算出交集,加入 res
  11. res.append([max(a1, b1), min(a2, b2)])
  12. # 指针前进
  13. if b2 < a2: j += 1
  14. else: i += 1
  15. return res

总结一下,区间类问题看起来都比较复杂,情况很多难以处理,但实际上通过观察各种不同情况之间的共性可以发现规律,用简洁的代码就能处理。