[cf1097E]Egor and an RPG game

构造形如$1,3,2,6,5,4,10,9,8,7,...$的序列，不难发现其中前$frac{k(k+1)}{2}$项最少要划分为$k$个单调子序列

由此，取$k=f(n)+1$时应有$frac{k(k+1)}{2}>n$，也即有$f(n)ge max_{frac{k(k+1)}{2}le n}k$

令$g(n)$为后者，那么只需要保证划分为不超过$g(n)$个单调子序列即可

考虑其最长上升子序列，假设长度为$x$，对其分类讨论：

1.若$xge g(n)+1$，则有$g(n-x)+1le g(n)$，那么直接选择该序列即可

关于这个式子，即求证$frac{g(n)(g(n)+1)}{2}>n-(g(n)+1)$，化简后也即$frac{(g(n)+1)(g(n)+2)}{2}>n$，那么如果其不满足即与$g(n)$的最大性矛盾

2.若$xle g(n)$，注意到原序列可以被划分为$x$个下降子序列，直接划分为下降子序列即可

直接暴力即可，注意到$g(n)$是$o(sqrt{n})$级别的，复杂度为$o(nsqrt{n}log n)$

对于这个复杂度，如果$log$是线段树复杂度可能无法通过，需要使用经典的dp+二分求LIS，下面来分别考虑两种序列如何划分——

对于最长上升子序列，记录每一个数字插入时上一个位置的数字，往前找即可

对于下降子序列，注意到每一个位置上的数都单调递增，即分别构成一个下降子序列

总复杂度为$o(nsqrt{n}log n)$，且常数较小，可以通过

#include<bits/stdc++.h>
using namespace std;
#define N 100005
#define ll long long
vector<int>ans[N];
int t,n,m,tot,a[N],val[N],Pos[N],pre[N],fi[N],nex[N],vis[N];
int main(){
    scanf("%d",&t);
    while (t--){
        scanf("%d",&n);
        for(int i=1;i<=n;i++)scanf("%d",&a[i]);
        m=0;
        while (n){
            tot=0;
            for(int i=1;i<=n;i++){
                int pos;
                if ((!tot)||(val[tot]<a[i])){
                    pos=++tot;
                    fi[pos]=i;
                }
                else{
                    pos=lower_bound(val+1,val+tot+1,a[i])-val;
                    nex[Pos[pos]]=i;
                }
                val[pos]=a[i],Pos[pos]=i;
                if (pos==1)pre[i]=0;
                else pre[i]=Pos[pos-1];
            }
            if ((ll)tot*(tot+1)/2<=n){
                for(int i=1;i<=tot;i++){
                    ans[++m].clear();
                    for(int j=fi[i];j!=Pos[i];j=nex[j])ans[m].push_back(a[j]);
                    ans[m].push_back(a[Pos[i]]);
                }
                break;
            }
            ans[++m].clear();
            for(int i=1;i<=n;i++)vis[i]=0;
            for(int i=Pos[tot];i;i=pre[i])vis[i]=1;
            int nn=0;
            for(int i=1;i<=n;i++){
                if (!vis[i])a[++nn]=a[i];
                else ans[m].push_back(a[i]);
            }
            n=nn;
        }
        printf("%d
",m);
        for(int i=1;i<=m;i++){
            printf("%d",ans[i].size());
            for(int j=0;j<ans[i].size();j++)printf(" %d",ans[i][j]);
            printf("
");
        }
    }
    return 0;
}