蓝桥：管道（python，二分法，区间合并）

问题描述：

有一根长度为 len 的横向的管道，该管道按照单位长度分为 len段，每一段的中央有一个可开关的阀门和一个检测水流的传感器。一开始管道是空的，位于 Li 的阀门会在 Si 时刻打开，并不断让水流入管道。对于位于 Li的阀门，它流入的水在 Ti（Ti≥Si）时刻会使得从第Li−(Ti−Si) 段到第 Li+(Ti−Si) 段的传感器检测到水流。
求管道中每一段中间的传感器都检测到有水流的最早时间。

输入格式
输入的第一行包含两个整数 n,len，用一个空格分隔，分别表示会打开的阀门数和管道长度。接下来 n 行每行包含两个整数 Li,Si，用一个空格分隔，表示位于第 Li 段管道中央的阀门会在 Si 时刻打开。

输出格式
输出一行包含一个整数表示答案。

数据范围
对于 30% 的评测用例，n≤200，Si,len≤3000；
对于 70% 的评测用例，n≤5000，Si,len≤105；
对于所有评测用例，1≤n≤105，1≤Si,len≤10**9，1≤Li≤len，Li−1<Li。

输入样例：

3 10
1 1
6 5
10 2

输出样例：

5

思路：

这道题是14届蓝桥省赛pythonB组的题，自己做的时候没有AC，题目意思很好理解，但不知道如何处理阀门在不同时刻的打开问题。

这道题需要用到二分和区间合并的思想，二分法是用来给自己多增加一个判断条件。

二分法：

对于所有数据而言，管道最长为10**9，所以可以设定L为0， R为2 * 10 **9，这里的L和R不是代表管道长度，而是代表时刻，因为一个管道单位等于一时间单位。

mid表示在mid时刻，管道中是否有水，若有水，则最短时刻应该在mid的左边，若无水则最短时刻应该在mid的右边。

这里可能会绕一下，先不用着急，mid有水就要找有水和无水的交界点，这个交界点才是最短时刻，mid无水也是同样的道理，这里只是二分判断，阀门开水还在后面。

l = 0
r = 2 * 10 ** 9
while l <= r:
    mid = (l + r) // 2
    if check(mid):
        r = mid - 1
    else:
        l = mid + 1

接下来是区间合并

区间合并用来判断mid是否有水，此时的t时刻等于mid，如果阀门打开的时刻s 大于t，说明在t时刻时，该阀门未被打开，则跳过该阀门去找其他阀门

    for l, s in path:
        if s > t:
            continue

把所有在mid时刻内的阀门都找出来（这个很简单，一个for循环就可以找出），并求出每个阀门的左右区间（在t时刻时，水流流过的管道区间）

每个管道单方向上在t时刻都扩张了（t - s）区间，因为阀门是在s时刻打开的，所以t时刻时，单方向上流了（t - s）区间

对于左方向，左边界不得超出管道边界，所以要在1 和 L - （t - s) 上取最大值，L表示该阀门所处的管道位置。left = max(1, L - (t - s))

left = max(1, l - (t - s))

对于右方向，同理，right = min(len_n, L + (t -s)) , len_n 表示管道长度

right = min(len_n, l + (t - s))

把所有打开的阀门的区间放进数组中进行排序，看这些区间是否把管道的各个位置都进行了覆盖，如果是则表示mid时刻管道内都有水，否则，管道内没水。

    # 对vis排序
    vis.sort()
    # 判断是否满足条件
    if vis[0][0] != 1:
        return False
    right = vis[0][1]
    for i in range(1, len(vis)):
        if vis[i][0] > right + 1:
            return False
        else:
            right = max(right, vis[i][1])
    if right != len_n:
        return False
    return True

代码及详细注释：

import os
import sys

# 输入n和len_n
n, len_n = map(int, input().split())
path = []
# 读取每个路径的长度和起点位置
for i in range(n):
    li, si = map(int, input().split())
    path.append([li, si])

# 定义函数check，用于检查是否满足条件
def check(t):
    vis = []
    # 遍历每个路径
    for l, s in path:
        if s > t:
            continue
        else:
            left = max(1, l - (t - s))
            right = min(len_n, l + (t - s))
            vis.append([left, right])
    
    # 对vis排序
    vis.sort()
    # 判断是否满足条件
    if vis[0][0] != 1:
        return False
    right = vis[0][1]
    for i in range(1, len(vis)):
        if vis[i][0] > right + 1:
            return False
        else:
            right = max(right, vis[i][1])
    if right != len_n:
        return False
    return True

# 二分查找最小的满足条件的时间t
l = 0
r = 2 * 10 ** 9
while l <= r:
    mid = (l + r) // 2
    if check(mid):
        r = mid - 1
    else:
        l = mid + 1
print(l)

总结：

复盘一遍后发现本题其实并不难，但是这个二分思想说实话很难想到