包含每个查询的最小区间

三个动作循环套：① 左端点够得着的区间进堆 ② 右端点盖不住的区间出堆 ③ 堆顶就是答案。查询从小到大，区间只进不退，所以每个区间最多进堆出堆一次。

准备阶段：区间已按左端点从小到大排好，每格里的数字是这个区间的长度。指针 p 指向下一个待入堆的区间，堆现在是空的。

轮到查询 q=2。先看哪些区间的左端点已经够得着它、要进堆，再把盖不住它的弹出去，最后读堆顶。

查询 q=2：区间 [1,3] 的左端点 1 不超过 2，左边已经够得着，把它(长度 3)推进堆。

查询 q=2：区间 [2,8] 的左端点 2 不超过 2，左边已经够得着，把它(长度 7)推进堆。

查询 q=2：指针 p 停在区间 [3,5]，它的左端点 3 比 2 还大，左边都够不着 2，这一轮先不推它，等更大的查询再说。

查询 q=2：堆里剩下的区间都真包含 2，其中最短的是 [1,3](长度 3)——标红的就是它，于是 q=2 的答案记为 3。

轮到查询 q=4。先看哪些区间的左端点已经够得着它、要进堆，再把盖不住它的弹出去，最后读堆顶。

查询 q=4：区间 [3,5] 的左端点 3 不超过 4，左边已经够得着，把它(长度 3)推进堆。

查询 q=4：指针 p 停在区间 [6,9]，它的左端点 6 比 4 还大，左边都够不着 4，这一轮先不推它，等更大的查询再说。

查询 q=4：[1,3] 的右端点已经小于 4，再也盖不住这个点了，从堆里弹掉。

查询 q=4：堆里剩下的区间都真包含 4，其中最短的是 [3,5](长度 3)——标红的就是它，于是 q=4 的答案记为 3。

轮到查询 q=7。先看哪些区间的左端点已经够得着它、要进堆，再把盖不住它的弹出去，最后读堆顶。

查询 q=7：区间 [6,9] 的左端点 6 不超过 7，左边已经够得着，把它(长度 4)推进堆。

查询 q=7：区间 [7,7] 的左端点 7 不超过 7，左边已经够得着，把它(长度 1)推进堆。

查询 q=7：指针 p 已经把所有区间都看过了，没有新的区间能进堆，直接进入下一步。

查询 q=7：[3,5] 的右端点已经小于 7，再也盖不住这个点了，从堆里弹掉。

查询 q=7：堆里剩下的区间都真包含 7，其中最短的是 [7,7](长度 1)——标红的就是它，于是 q=7 的答案记为 1。

轮到查询 q=9。先看哪些区间的左端点已经够得着它、要进堆，再把盖不住它的弹出去，最后读堆顶。

查询 q=9：指针 p 已经把所有区间都看过了，没有新的区间能进堆，直接进入下一步。

查询 q=9：[2,8]、[7,7] 的右端点已经小于 9，再也盖不住这个点了，从堆里弹掉。

查询 q=9：堆里剩下的区间都真包含 9，其中最短的是 [6,9](长度 4)——标红的就是它，于是 q=9 的答案记为 4。

四个查询从小到大依次扫完，每个查询都在「进堆、出堆、读堆顶」三步里拿到了自己的最短区间长度，最终答案是 [3,3,1,4]。

三个高频追问：堆里存什么、区间为何只进出一次、空堆边界。