bzoj 4553: [Tjoi2016&Heoi2016]序列

不得不说这道题还是很劲的（在我这个蒟蒻看来）

摘自某神犇题解：对于每一次修改，只有序列中数值可以变成的最大值和最小值是有影响的。那么这就可以决定，有这样的一个方程

f[i]=max(f[j])+1 其中，a[i]>=mx[j] && nm[i]>=a[j] 这样的话就保证了在所有的修改中，从f[j]转移到f[i]是始终成立的。

那么，这样一共就有mn，mx，a三个值需要比较了。

三位偏序，上CDQ！！题解好强！！！

#include <bits/stdc++.h>
using namespace std;
inline int ra()
{
    int x=0; char ch=getchar();
    while (ch<'0' || ch>'9') ch=getchar();
    while (ch>='0' && ch<='9') {x=x*10+ch-'0';ch=getchar();}
    return x;
}

const int maxn=100005;

int c[maxn];
struct node{
    int mx,mn,v,id;
}a[maxn];
int f[maxn],ans,n,m;

bool cmp_mn(node a, node b) {return a.mn<b.mn;}
bool cmp_id(node a, node b) {return a.id<b.id;}

int lowbit(int x) {return x&(-x);}
void add(int x, int val)
{
    for (;x<maxn;x+=lowbit(x)) c[x]=max(c[x],val);
}
int ask(int x)
{
    int mx=0;
    for (;x;x-=lowbit(x)) mx=max(mx,c[x]);
    return mx;
}
void clear(int x) {for (;x<maxn; x+=lowbit(x)) c[x]=0;}

node t[maxn];
void solve(int l, int r)
{
    if (l>=r) return;
    int mid=l+r>>1;
    solve(l,mid);
    int tmp=l; sort(a+mid+1,a+r+1,cmp_mn);
    for (int i=mid+1; i<=r; i++)
    {
        while (tmp<=mid && a[tmp].v<=a[i].mn) add(a[tmp].mx,f[a[tmp].id]),tmp++;
        f[a[i].id]=max(f[a[i].id],ask(a[i].v)+1);
    }
    for (int i=l; i<tmp; i++) clear(a[i].mx);
    sort(a+mid+1,a+r+1,cmp_id);
    solve(mid+1,r);
    int L=l,R=mid+1; tmp=l;
    while (L<=mid && R<=r) t[tmp++]=a[L].v<a[R].v?a[L++]:a[R++];
    while (L<=mid) t[tmp++]=a[L++];
    while (R<=r) t[tmp++]=a[R++];
    for (int i=l; i<=r; i++) a[i]=t[i];
}

int main()
{
    n=ra(); m=ra();
    for (int i=1; i<=n; i++) a[i].v=a[i].mn=a[i].mx=ra(),a[i].id=i,f[i]=1;
    for (int i=1; i<=m; i++)
    {
        int x=ra(),y=ra();
        a[x].mn=min(a[x].mn,y);
        a[x].mx=max(a[x].mx,y);
    }
    solve(1,n);
    for (int i=1; i<=n; i++) ans=max(ans,f[i]);
    cout<<ans<<endl;
    return 0;
}