Temperature 题解

前言

题目链接：洛谷；SPOJ；Hydro & bzoj。

题意简述

有一个长度为 \(n\) 的序列，每个位置值的范围为 \([L_i, R_i]\) 内，求原序列可能的最长不降子串长度。

题目分析

尝试找一些性质。发现，连续一段合法的区间，都能分成若干真正参与最长不降子串，以及紧跟着的若干包含 \(L_i\) 的位置。下图红色表示前者，黑色表示后者。

我们把右端点向右移动，左端点肯定不会向左移动，是一个双指针。我们记 \(l\) 是当前左端点，现在让 \(r \gets r + 1\)，看看左端点如何变化。发现不够，还要记 \(lst\) 表示上一个出现红色段的位置。那么分为以下几个情况讨论。

1. \(L_r \leq L_{lst} \leq R_r\)：
   说明这是一个黑色段，不需要任何操作。
2. \(L_r \geq L_{lst}\)：
   说明遇到了一个新的红色段，贡献了最长不降子串，让 \(lst \gets r\)。
3. 此时必有 \(R_r < L_{lst}\)：
   说明遇到上图绿色段的情况。我们要在 \(lst + 1 \sim r\) 里重新挑选出一个 \(l'\) 和 \(lst'\)。

前两者都很好处理，思考怎么弄第 \(3\) 条。

发现关键都在每条线段的下端，如果 \(l \sim r\) 里 \(\max L_i > R_{r}\)，那么一定是不合法的，因为是不能下降的。所以考虑用 ST 表维护区间最小 \(L\) 的位置。遇到情况 \(3\)，先让 \(l' \gets lst\)，当 \(\max L_{l' \sim r} > R_{r}\)，将 \(l' \gets l' +1\)，至于 \(lst'\)，就是最终 \(\max L_{l' \sim r}\) 的那个位置。

时间复杂度 \(\Theta(n \log n)\)，瓶颈在于 ST 表。

继续思考，发现合法区间 \(l \sim r\) 的充要条件也是 \(\forall i \in [l, r], \max L_{l \sim i} \leq R_i\)。那么不需要那么麻烦，直接上双指针。如果 \(\max L_{l \sim r} > R_r\)，\(l \gets l + 1\)。正确性显然。但是时间复杂度还是 \(\Theta(n \log n)\)，能不能去掉 ST 表呢？

发现，我们要维护滑动窗口的最值，所以，上单调队列。队列里 \(L\) 从大到小排序。统计答案时，上一次弹出队列的位置 \(+ 1\) 就是合法的最长的左端点。

时空都是线性的。

代码

// #pragma GCC optimize(3)
// #pragma GCC optimize("Ofast", "inline", "-ffast-math")
// #pragma GCC target("avx", "sse2", "sse3", "sse4", "mmx")
#include <iostream>
#include <cstdio>
using namespace std;

int n, L[1000010], R[1000010];
int Q[1000010], head = 1, tail;
int ans = 1;

signed main() {
	scanf("%d", &n);
	for (int i = 1; i <= n; ++i) scanf("%d%d", &L[i], &R[i]);
    for (int i = 1; i <= n; ++i) {
        while (head <= tail && L[Q[head]] > R[i]) ++head;
        if (head <= tail) ans = max(ans, i - Q[head - 1]);
        while (head <= tail && L[Q[tail]] <= L[i]) --tail;
        Q[++tail] = i;
    }
	printf("%d", ans);
	return 0;
}

后记 & 反思

双指针，考虑好添加右端点后，怎么删去不合法的左端点。