洛谷P2766 最长递增子序列问题

#include<queue>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>

using namespace std;

#define N 1011
#define M 300001
const int inf=2e9;

int n;
int a[501];

int max_len;
int f[501];

int tot=1;
int front[N],to[M<<1],nxt[M<<1],val[M<<1],from[M<<1];

int lev[N],num[N];
int path[N];
int cur[N];

int src,decc;

void read(int &x)
{
    x=0; char c=getchar();
    while(!isdigit(c)) c=getchar();
    while(isdigit(c)) { x=x*10+c-‘0‘; c=getchar(); } 
}

void dp()
{
    int mx;
    for(int i=n;i;--i)
    {
        mx=0;
        for(int j=i+1;j<=n;++j)
            if(a[j]>=a[i]) mx=max(mx,f[j]);
        f[i]=mx+1;
        max_len=max(max_len,f[i]);
    }
    cout<<max_len;
}

void add(int u,int v,int w)
{
    to[++tot]=v; nxt[tot]=front[u]; front[u]=tot; val[tot]=w; from[tot]=u;
    to[++tot]=u; nxt[tot]=front[v]; front[v]=tot; val[tot]=0; from[tot]=v;
//    cout<<u<<‘ ‘<<v<<‘ ‘<<w<<‘\n‘;
}


void build()
{
    for(int i=1;i<=n;++i) add(i<<1,i<<1|1,1);
    for(int i=1;i<=n;++i)
        if(f[i]==max_len) add(src,i<<1,1);
    for(int i=1;i<=n;++i)
        if(f[i]==1) add(i<<1|1,decc,1);
    for(int i=1;i<=n;++i)
        for(int j=1;j<i;++j)
            if(a[j]<=a[i] && f[i]==f[j]-1) add(j<<1|1,i<<1,1);
}

void rebuild()
{
    tot=1;
    memset(front,0,sizeof(front));
    
    add(1<<1,1<<1|1,inf);
    add(n<<1,n<<1|1,inf);
    for(int i=2;i<n;++i) add(i<<1,i<<1|1,1);
    
    if(f[1]==max_len) add(src,1<<1,inf);
    if(f[n]==max_len) add(src,n<<1,inf);
    for(int i=2;i<n;++i)
        if(f[i]==max_len) add(src,i<<1,1);
        
    if(f[1]==1) add(1<<1|1,decc,inf);
    if(f[n]==1) add(n<<1|1,decc,inf);
    for(int i=2;i<n;++i)
        if(f[i]==1) add(i<<1|1,decc,1);
        
    for(int i=1;i<=n;++i)
        for(int j=1;j<i;++j)
            if(a[j]<=a[i] && f[i]==f[j]-1) add(j<<1|1,i<<1,1);
}

bool bfs()
{
    for(int i=src;i<=decc;++i) lev[i]=decc;
    queue<int>q;
    q.push(decc);
    lev[decc]=0;
    int now,t;
    while(!q.empty())
    {
        now=q.front();
        q.pop();
        for(int i=front[now];i;i=nxt[i])
        {
            t=to[i];
            if(lev[t]==decc && val[i^1]) 
            {
                lev[t]=lev[now]+1;
                q.push(t);
            }
        }
    }
    return lev[src]!=decc;
}

int augment()
{
    int flow=inf,now=decc;
    int i;
    while(now!=src)
    {
        i=path[now];
        flow=min(flow,val[i]);
        now=from[i];
    }
    now=decc;
    while(now!=src)
    {
        i=path[now];
        val[i]-=flow;
        val[i^1]+=flow;
        now=from[i];
    }
    return flow;
} 

void isap()
{
    if(!bfs()) 
    {
        cout<<‘\n‘<<0;
        return;
    }
    memset(num,0,sizeof(num));
    for(int i=src;i<=decc;++i) num[lev[i]]++;
    int flow=0;
    int now=src,t;
    while(lev[src]<decc)
    {
        if(now==decc)
        {
            flow+=augment();
            now=src;
        }
        bool advanced=false;
        for(int i=front[now];i;i=nxt[i])
        {
            t=to[i];
            if(lev[t]==lev[now]-1 && val[i])
            {
                advanced=true;
                path[t]=i;
                cur[now]=i;
                now=t;
                break;
            }
        }
        if(!advanced)
        {
            int mi=decc;
            for(int i=front[now];i;i=nxt[i])
                if(val[i]) mi=min(mi,lev[to[i]]);
            if(!num[--lev[now]]) break;
            num[lev[now]=mi+1]++;
            cur[now]=front[now];
            if(now!=src) now=from[path[now]];
        }
    }
    cout<<‘\n‘<<flow;
}

int main()
{
    read(n);
    src=1; decc=(n<<1|1)+1;
    for(int i=1;i<=n;++i) read(a[i]);
    dp();
    if(max_len==1)
    {
        cout<<‘\n‘<<n<<‘\n‘<<n;
        return 0;
    }
    build();
    isap();
    rebuild();
    isap();
}