【题解】 D - Unmerge

题目来源： Codeforces Round #658 (Div. 2)-D

题意：

给定一种构造序列的方法：对于两个长度为n且相互间没有重复元素的序列a,b，不断从两序列前取出较小的数添加到序列c后，构成长度为2n新序列c。
现给出长度为2n的排列p，判断其是否为两个序列经上述方法构造而得。

思路：

考虑构造的过程：若a中连续一段均小于b中的某个数，即a[l…r]<b[i]，那么肯定先取出a[l-r]，再取出b[i]（a[l],b[i]前的数被全部取出）；之后再从b[i]开始取连续的一段，均小于a[j]。其形成的序列为：a[l],…a[r],b[i],…b[r’],a[j],…。可以发现a[l…r]<b[i],b[i…r’]<a[j],…

这样看可以发现构造过程实际上是：轮流从a,b当中取连续的段，并满足每段第一个数大于前面所有数。（这里的一段可以只是一个数）

那么考虑生成的序列p：从p[1]开始找第一个大于其的数p[a]，将其之前的数到p[1]划为一组，再从p[a]开始找第一个大于其的数…。最后将所有划出来的组进行组合即可，判断是否能组合出长度为n的序列。这里的一组，即是构造过程中取出的一段或者一段的一部分（见下）。

对于序列3,1,5,2,4,6，可将其划分为(3,1),(5,2,4),(6)这长度分别为2,3,1的组，可组合成(2+1,3)两个长度为n的序列，即a,b两个序列。当然也可以组合成(2+3,1)、(2+3+1,0)这样的两个长度的序列，由此看来此时的2+3部分应是一段。

代码：

#include <iostream>
#include <queue>
#include <set>
#include <map>
#include <vector>
#include <stack>
#include <cmath>
#include <algorithm>
#include <cstdio>
#include <cctype>
#include <functional>
#include <string>
#include <cstring>
#include <sstream>
#include <deque>
#define fir first
#define sec second
using namespace std;

typedef long long ll;
typedef pair<int,int> P;
typedef pair<P,int> Q;

const int inf1=1e9+9;
const ll inf2=1e16+9;
const ll mol=1e9+7;
const int maxn=2e3+9;
const ll maxx=1e12+9;

int n,ar[maxn+maxn];
int num[maxn+maxn],dp[maxn];

int main()
{
    int T;
    scanf("%d",&T);
    while(T--)
    {
        scanf("%d",&n);
        for(int i=1;i<=n+n;i++) scanf("%d",&ar[i]);
        int len=0,cnt=1,tmp=ar[1];
        for(int i=2;i<=n+n;i++)
        {
            if(ar[i]<tmp) cnt++;
            else num[++len]=cnt,cnt=1,tmp=ar[i];
        }
        num[++len]=cnt;
        memset(dp,0,sizeof dp); dp[0]=1;
        for(int i=1;i<=len;i++)
            for(int j=n;j;j--)
                if(j>=num[i]) dp[j]|=dp[j-num[i]];
        if(dp[n]) printf("YES\n");
        else printf("NO\n");
    }
}