luogu4728 双递增序列 (dp)

设f[i][j]表示以i位置为第一个序列的结尾，第一个序列的长度为j，第二个序列的结尾的最小值

那么对于f[i][j]，有转移$f[i+1][j+1]=min{f[i+1][j+1],f[i][j]}$;$f[i+1][i-j+1]=min{f[i+1][i-j+1],a[i+1]}$，如果能满足递增的话

#include<bits/stdc++.h>
#define CLR(a,x) memset(a,x,sizeof(a))
#define MP make_pair
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> pa;
const int maxn=2e3+10;

inline ll rd(){
    ll x=0;char c=getchar();int neg=1;
    while(c<'0'||c>'9'){if(c=='-') neg=-1;c=getchar();}
    while(c>='0'&&c<='9') x=x*10+c-'0',c=getchar();
    return x*neg;
}

int M,N,a[maxn],tmp[maxn],f[maxn][maxn];

int main(){
    //freopen("","r",stdin);
    int i,j,k;
    for(M=rd();M;M--){
        N=rd();
        for(i=1;i<=N;i++) a[i]=tmp[i]=rd();
        sort(tmp+1,tmp+N+1);int m=unique(tmp+1,tmp+N+1)-tmp;
        for(i=1;i<=N;i++)
            a[i]=lower_bound(tmp+1,tmp+m,a[i])-tmp;
        CLR(f,127);
        f[1][1]=0;
        for(i=1;i<N;i++){
            for(j=0;j<m;j++){
                if(a[i+1]>f[i][j]) f[i+1][i+1-j]=min(f[i+1][i+1-j],a[i]);
                if(a[i+1]>a[i]) f[i+1][j+1]=min(f[i+1][j+1],f[i][j]);
            }
        }
        if(f[N][N>>1]<=1e8) printf("Yes!
");
        else printf("No!
");
    }
    return 0;
}