[BZOJ4881][Lydsy1705月赛]线段游戏

首先冷静一下看清问题的本质，是将整个数列分成两个递增子序列。

那么由Dilworth定理得，无解当且仅当数列的最长下降子序列的长度>2，先特判掉。

然后就有一些比较厉害的做法：http://www.cnblogs.com/Gloid/p/10025835.html

一种比较直观的做法是，将每对逆序对连边，答案就是连通块的个数。

考虑优化这个暴力，从前往后处理，每个连通块用块内最大的数作为代表，用set维护代表。每次加入一个数时，将set中所有大于这个数的数都删去（这些数代表的连通块合并了），然后将最大的那个放进去（新的大连通块的代表）。

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

 const int N=,mod=;
 int n,ans,tot,a[N],f[N];
 set<int>S;

 int find(int x){
     int L=,R=tot;
     while (L<R){
         int mid=(L+R)>>;
         if (x<=f[mid]) L=mid+; else R=mid;
     }
     return L;
 }

 int main(){
     freopen("bzoj4881.in","r",stdin);
     freopen("bzoj4881.out","w",stdout);
     scanf("%d",&n);
     rep(i,,n) scanf("%d",&a[i]);
     f[]=a[]; tot=;
     rep(i,,n){
         if (a[i]<f[tot]){
             tot++,f[tot]=a[i];
             if (tot>){ puts(""); return ; }
         }else{
             int t=find(a[i]); f[t]=max(f[t],a[i]);
         }
     }
     rep(i,,n){
         int t=a[i];
         while (!S.empty()){
             set<int>::iterator it=S.upper_bound(t);
             if (it==S.end()) break;
             t=*it; S.erase(t);
         }
         S.insert(t);
     }
     tot=S.size(); ans=;
     rep(i,,tot) ans=2ll*ans%mod;
     printf("%d\n",ans);
     return ;
 }