题目链接
题解
一开始看错题,以为求的是可以不连续的,想出一个奇怪的线段树,发现空间根本开不下??
题目要我们求连续的最长可能不下降区间
对于区间[l,r]如果合法,当且仅当对于∀i∈[l,r],∀j<i满足l[j]<=r[i]
所以我们只需维护一个l[i]递减的单调队列即可
为什么是对的呢?
对于位置i,显然至少取l[i],最多取r[i],如果存在l[j]>r[i]显然就不满足不下降性
我们只需证,只要该条件满足,就一定能构成连续不下降
我们先证,对于一段区间合法的[l,r],至少能且一定能取到max{l[i]}
可以用数学归纳法证明
对于一个位置的肯定满足
假设[l,i−1]满足,那么对于位置i,首先有r[i]>max{l[j]},所以位置i一定能接上
假若l[i]<max{l[j]},那么max{l[j]}依旧能取到
假若l[i]>=max{l[j]},那么l[i]变为最大值,且由此一定能取到
所以我们就证明了对于一个合法区间[l,r],一定能取到max{l[i]}
同时就证明了,只要∀i∈[l,r],∀j<i满足l[j]<=r[i],就一定能拼接起来,反之不行
复杂度O(n)
- #include<algorithm>
- #include<iostream>
- #include<cstring>
- #include<cstdio>
- #include<cmath>
- #include<map>
- #define Redge(u) for (int k = h[u],to; k; k = ed[k].nxt)
- #define REP(i,n) for (int i = 1; i <= (n); i++)
- #define mp(a,b) make_pair<int,int>(a,b)
- #define cls(s) memset(s,0,sizeof(s))
- #define cp pair<int,int>
- #define LL long long int
- using namespace std;
- const int maxn = 1000005,maxm = 100005,INF = 1000000000;
- inline int read(){
- int out = 0,flag = 1; char c = getchar();
- while (c < 48 || c > 57){if (c == '-') flag = -1; c = getchar();}
- while (c >= 48 && c <= 57){out = (out << 3) + (out << 1) + c - 48; c = getchar();}
- return out * flag;
- }
- int n,l[maxn],r[maxn],v[maxn],q[maxn],head,tail,ans;
- int main(){
- n = read(); head = -1; tail = 0;
- for (int i = 1; i <= n; i++){
- l[i] = read(); r[i] = read(); v[i] = 1;
- while (head <= tail && l[q[head]] > r[i]) head++;
- while (head <= tail && l[q[tail]] <= l[i]) v[i] += v[q[tail]],tail--;
- q[++tail] = i;
- ans = max(ans,i - q[head] + v[q[head]]);
- }
- printf("%d\n",ans);
- return 0;
- }