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+;

 inline ll rd(){
     ll x=;char c=getchar();int neg=;
     while(c<''||c>''){if(c=='-') neg=-;c=getchar();}
     while(c>=''&&c<='') x=x*+c-'',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=;i<=N;i++) a[i]=tmp[i]=rd();
         sort(tmp+,tmp+N+);int m=unique(tmp+,tmp+N+)-tmp;
         for(i=;i<=N;i++)
             a[i]=lower_bound(tmp+,tmp+m,a[i])-tmp;
         CLR(f,);
         f[][]=;
         for(i=;i<N;i++){
             for(j=;j<m;j++){
                 if(a[i+]>f[i][j]) f[i+][i+-j]=min(f[i+][i+-j],a[i]);
                 if(a[i+]>a[i]) f[i+][j+]=min(f[i+][j+],f[i][j]);
             }
         }
         if(f[N][N>>]<=1e8) printf("Yes!\n");
         else printf("No!\n");
     }
     return ;
 }