BZOJ4922: [Lydsy1706月赛]Karp-de-Chant Number（DP）

传送门

题解：
挺妙的一道题。

如果把’(‘看做1，‘)’看做-1，那么一个括号序列有用的东西只有前缀min，后缀max，以及和。

考虑一个合法的括号序列，他的和大于0的部分按照前缀max从小到大排序后依然是合法的，小于0的部分按照后缀min从大到小排序依然是合法的。那么我们只用按照这个顺序枚举括号序列来DP即可。

#include <bits/stdc++.h>
using namespace std;

const int N=300*301;
struct data {
    int lim,det,len;
    data(int lim,int det,int len) : lim(lim),det(det),len(len) {}
};
list <data> q;
typedef list <data> ::iterator it;

int n,mx,f[N];
char ch[N];

int main() {
    memset(f,-1,sizeof(f));
    scanf("%d",&n);
    for(int i=1;i<=n;i++) {
        scanf("%s",ch+1);
        int len=strlen(ch+1),mn=1e9,s=0;
        for(int j=1;j<=len;j++) {
            if(ch[j]=='(') ++s;
            else --s;
            mn=min(mn,s);
        } 
        q.push_back(data(-mn,s,len));
    } 
    mx=0; f[0]=0;
    while(1) {
        int cnt=0,v=-1e9;
        it pos;
        for(it i=q.begin();i!=q.end();i++) 
            if(i->lim<=mx && i->det+i->lim>v) v=i->det+i->lim, pos=i, cnt++;
        v=1e9;
        for(it i=q.begin();i!=q.end();i++) 
            if(i->lim<=mx && i->det>=0 && i->lim<v) v=i->lim, pos=i, cnt++;
        if(!cnt) break;
        if(pos->det>0) {
            for(int i=mx;i>=pos->lim && i>=0;i--) 
                if(~f[i]) f[i+pos->det]=max(f[i+pos->det],f[i]+pos->len);
            mx+=pos->det;
        } else {
            for(int i=pos->lim;i<=mx;i++)
                if(~f[i]) f[i+pos->det]=max(f[i+pos->det],f[i]+pos->len);
        } q.erase(pos);
    } 
    cout<<f[0]<<'\n';
}