BZOJ4936：match （不错的分治）

给你一个由小写字母组成的字符串s，要你构造一个字典序最小的（认为左括号的字典序比右括号小）合法的括号
序列与这个字符串匹配，字符串和括号序列匹配定义为：首先长度必须相等，其次对于一对匹配的左括号和右括号
i,j，必须有s[i]==s[j]
无解输出-
Input
 一行一个字符串s

<=n<=
Output
 一行一个括号序列或者-

Sample Input
abbaaa
Sample Output
(()())

#include<bits/stdc++.h>
using namespace std;
const int maxn=;
int num[],used[];
char c[maxn],ans[maxn];
int main()
{
    int L,i;
    scanf("%s",c+);
    L=strlen(c+);
    for(i=;i<=L;i++) num[c[i]-'a']++;
    for(i=;i<;i++){
        if(num[i]%==) {
            puts("-1");
            return ;
        }
    }
    for(i=;i<=L;i++){
        if(used[c[i]-'a']<num[c[i]-'a']/) ans[i]='(';
        else ans[i]=')';
        used[c[i]-'a']++;
    }
    for(i=;i<=L;i++) putchar(ans[i]);
    return ;
}

一开始交了发贪心，WA了，才想起来贪心的话，会导致匹配的时候不一定满足s[i]==s[j]    尴尬==

然后看别人说是分治。

分治： 每次按照栈的合法性（用hash记录），对于[L,R],找到最远匹配的地方pos，使得char[L]==char[pos]，且[L+1,pos-1],[pos+1,R]分别匹配。然后再以大化小解决小区间。

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int maxn=;
const int seed=;
const int Mod=1e9+;
map<int,int>Laxt[];
char c[maxn],ans[maxn];
int Next[maxn],q[maxn],top,hash[maxn],fac[maxn];
void solve(int L,int R)
{
    if(L>=R) return ;
    int pos=Laxt[c[L]-'a'][hash[L-]];
    while(ans[pos]=='('||ans[pos]==')') pos=Next[pos];//没加这一句TLE了很多次,why
    Laxt[c[L]-'a'][hash[L-]]=Next[pos];
    ans[L]='('; ans[pos]=')';
    solve(pos+,R);
    solve(L+,pos-);
}
int main()
{
    int N,i,j,now=;
    scanf("%s",c+);
    N=strlen(c+);
    fac[]=; for(i=;i<=N;i++) fac[i]=(ll)fac[i-]*seed%Mod;
    for(i=;i<=N;i++){ //hash里面,最高位才可以用来加减。
        if(top&&c[q[top]]==c[i]){
           ((now-=(ll)fac[top-]*(c[i]-'a'+)%Mod))%=Mod,--top;
           if(now<) now+=Mod;
        }
        else (now+=(ll)(c[i]-'a'+)*fac[top]%Mod)%=Mod,q[++top]=i;
        hash[i]=now;
    }
    for(i=;i<=N;i++){
        Next[i]=Laxt[c[i]-'a'][hash[i]];
        Laxt[c[i]-'a'][hash[i]]=i;
    }
    if(top!=) { puts("-1"); return ;}
    solve(,N);
    for(i=;i<=N;i++) putchar(ans[i]);
    return ;
}