[力扣] 离线算法

离线思想是函数内部不按照数组顺序处理query的一种思想

题目链接: 2940. 找到 Alice 和 Bob 可以相遇的建筑 - 力扣（LeetCode）

首先，我们假设对于每一对 \(a_i\) 和 \(b_i\)，满足 \(a_i \le b_i\)。

如果 \(a_i = b_i\) 或者 \(heights[a_i] < heights[b_i]\)，那么 Alice 可以直接跳到 Bob 所在的位置，即答案 \(\textit{ans}[i] = b_i\)。

如果不是这种情况，我们在 \(b_i\) 的位置上记录“存在一个 \(a_i\)，属于第 \(i\) 个查询”。

接下来，我们遍历数组 \(heights\)，并使用一个最小堆来维护上述记录。当遍历到 \(heights[i]\) 时，将所有在下标 \(i\) 位置的记录加入最小堆。

在记录加入最小堆之前，我们可以先回答所有左侧高度小于 \(heights[i]\) 的查询，其答案就是当前的 \(i\)。

总结：
该算法涉及三个关键位置，按照从左到右的顺序，分别是：

- \(a_i\)：作为回答查询时的参照高度。
- \(b_i\)：决定在哪个位置将查询加入到堆中。
- 回答查询的具体位置。