475 供暖器（二分查找、双指针）

1. 问题描述：

冬季已经来临。 你的任务是设计一个有固定加热半径的供暖器向所有房屋供暖。在加热器的加热半径范围内的每个房屋都可以获得供暖。现在，给出位于一条水平线上的房屋 houses 和供暖器 heaters 的位置，请你找出并返回可以覆盖所有房屋的最小加热半径。
说明：所有供暖器都遵循你的半径标准，加热的半径也一样。

示例 1:
输入: houses = [1,2,3], heaters = [2]
输出: 1
解释: 仅在位置2上有一个供暖器。如果我们将加热半径设为1，那么所有房屋就都能得到供暖。

示例 2:
输入: houses = [1,2,3,4], heaters = [1,4]
输出: 1
解释: 在位置1, 4上有两个供暖器。我们需要将加热半径设为1，这样所有房屋就都能得到供暖。

示例 3：
输入：houses = [1,5], heaters = [2]
输出：3
提示：
1 <= houses.length, heaters.length <= 3 * 10 ^ 4
1 <= houses[i], heaters[i] <= 10 ^ 9
来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/heaters

2. 思路分析：

分析题目可以知道供暖器的供暖范围是随着供暖半径的增大而增大的，所以两者是单调的，那么可以考虑二分来解决。我们可以枚举供暖器的供暖半径，判断当前的供暖半径mid是否可以覆盖所有的房子。我们可以将供暖半径看成是一个区间，我们需要求解的是当前所有区间是否可以覆盖所有的房子，所以问题就转换为如何判断当前的供暖半径是否可以覆盖当前的所有房子。这里有两种解决方法，第一种是将所有区间进行合并然后判断是否可以覆盖所有的房子；第二种思路是使用双指针做法，一个指针i指向当前的房子，另外一个指针j指向当前的区间，当指针i往后走的时候并且当前j指向的区间不满足条件的时候那么指针j一定是往后走的，因为这样可以使得区间能够尽可能覆盖当前的房子，也即两个指针是具有单调性的，所以是可以使用双指针算法来判断当前所有区间是否可以覆盖所有的房子。

3. 代码如下：

from typing import List


class Solution:
    # 判断供暖器的半径为mid的时候是否可以覆盖所有的房子
    def check(self, houses: List[int], heaters: List[int], mid: int):
        # 双指针算法, 指针i指向当前的房子, 指针j指向
        i, j = 0, 0
        while i < len(houses):
            # 当两个点的绝对值相差大于了mid之后说明当前的区间不能够覆盖当前的房子那么指针j需要向后移动一位
            while j < len(heaters) and abs(heaters[j] - houses[i]) > mid: j += 1
            # j移动到了最后位置的后面说明覆盖不了所有房子
            if j >= len(heaters): return False
            i += 1
        return True

    # 双指针 + 二分查找
    def findRadius(self, houses: List[int], heaters: List[int]) -> int:
        houses.sort()
        heaters.sort()
        l, r = 0, 2147483647
        # 二分查找
        while l < r:
            mid = l + r >> 1
            # 判断当前的mid是否满足条件
            if self.check(houses, heaters, mid):
                r = mid
            else:
                l = mid + 1
        return r