[BZOJ4553][TJOI2016&&HEOI2016]序列(CDQ分治)

4553: [Tjoi2016&Heoi2016]序列

Time Limit: 20 Sec  Memory Limit: 128 MB
Submit: 1202  Solved: 554
[Submit][Status][Discuss]

Description

佳媛姐姐过生日的时候，她的小伙伴从某宝上买了一个有趣的玩具送给他。玩具上有一个数列，数列中某些项的值

可能会变化，但同一个时刻最多只有一个值发生变化。现在佳媛姐姐已经研究出了所有变化的可能性，她想请教你

，能否选出一个子序列，使得在任意一种变化中，这个子序列都是不降的？请你告诉她这个子序列的最长长度即可

。注意：每种变化最多只有一个值发生变化。在样例输入1中，所有的变化是：

1 2 3

2 2 3

1 3 3

1 1 31 2 4

选择子序列为原序列，即在任意一种变化中均为不降子序列在样例输入2中，所有的变化是:3 3 33 2 3选择子序列

为第一个元素和第三个元素，或者第二个元素和第三个元素，均可满足要求

Input

输入的第一行有两个正整数n, m，分别表示序列的长度和变化的个数。接下来一行有n个数，表示这个数列原始的

状态。接下来m行，每行有2个数x, y，表示数列的第x项可以变化成y这个值。1 <= x <= n。所有数字均为正整数

，且小于等于100,000

Output

输出一个整数，表示对应的答案

Sample Input

3 4
1 2 3
1 2
2 3
2 1
3 4

Sample Output

3

HINT

Source

用$mn_i$和$mx_i$表示$a_i$可能改变的最小/最大值，有$$j<i \& a_j \leq mn_i \& mx_j \leq a_i$$可以看出是三维偏序，CDQ分治解决。

 #include<cstdio>
 #include<algorithm>
 #define rep(i,l,r) for (int i=l; i<=r; i++)
 using namespace std;

 const int N=;
 int n,m,x,y,ans,c[N],f[N];
 struct P{ int a,mn,mx,x,y,id; }q[N],p[N];

 bool cmp(P a,P b){ return (a.x==b.x)?(a.y==b.y)?a.id<b.id:a.y<b.y:a.x<b.x; }

 void add(int x,int k){ for (; x<=; x+=x&-x) c[x]=k?max(c[x],k):; }
 int que(int x){ int res=; for (; x; x-=x&-x) res=max(res,c[x]); return res; }

 void solve(int l,int r){
     if (l==r){ f[l]=max(f[l],); return; }
     int mid=(l+r)>>; solve(l,mid);
     rep(i,l,r)
         if (q[i].id<=mid) p[i].x=q[i].a,p[i].y=q[i].mx,p[i].id=q[i].id;
                         else p[i].x=q[i].mn,p[i].y=q[i].a,p[i].id=q[i].id;
     sort(p+l,p+r+,cmp);
     rep(i,l,r) if (p[i].id<=mid) add(p[i].y,f[p[i].id]); else f[p[i].id]=max(f[p[i].id],que(p[i].y)+);
     rep(i,l,r) if (p[i].id<=mid) add(p[i].y,);
     solve(mid+,r);
 }

 int main(){
     freopen("bzoj4553.in","r",stdin);
     freopen("bzoj4553.out","w",stdout);
     scanf("%d%d",&n,&m);
     rep(i,,n) scanf("%d",&q[i].a),q[i].mn=q[i].mx=q[i].a,q[i].id=i;
     rep(i,,m) scanf("%d%d",&x,&y),q[x].mn=min(q[x].mn,y),q[x].mx=max(q[x].mx,y);
     solve(,n);
     rep(i,,n) ans=max(ans,f[i]);
     printf("%d\n",ans);
     return ;
 }