CF - 1117 F Crisp String

题目传送门

题解：

枚举非法对。

　　如果 ‘a'  和 ’b' 不能相邻的话，那么删除 'a' 'b'之间的字符就是非法操作了。 假设题目给定的字符串为 "acdbe"，所以删除cd是非法操作， 因为cd是非法了，所以cde也是非法操作，

　　　　也就是说找到所有的非法操作之后往外推，比他多删的状态就一样是非法的了，当然对于上述的“acdbe"来说，不能确定 ”acd"是非法操作，因为在枚举非法对的时候，该非法对的字符并不能被删除。

然后把所有非法对的非法状态都存下来。然后从没删除的状态往外搜，就好了。

代码：

/*
code by: zstu wxk
time: 2019/03/06
Problem Link: http://codeforces.com/contest/1117/problem/F
Solve:
*/
#include<bits/stdc++.h>
using namespace std;
#define Fopen freopen("_in.txt","r",stdin); freopen("_out.txt","w",stdout);
#define LL long long
#define ULL unsigned LL
#define fi first
#define se second
#define pb push_back
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
#define lch(x) tr[x].son[0]
#define rch(x) tr[x].son[1]
#define max3(a,b,c) max(a,max(b,c))
#define min3(a,b,c) min(a,min(b,c))
typedef pair<int,int> pll;
const int inf = 0x3f3f3f3f;
const int _inf = 0xc0c0c0c0;
const LL INF = 0x3f3f3f3f3f3f3f3f;
const LL _INF = 0xc0c0c0c0c0c0c0c0;
const LL mod =  (int)1e9+;
const int N = 1e5 + ;
char s[N];
int a[][], cnt[];
int tmp[<<], gg[<<];
int n, m, k;
void solve(int u, int v){
    memset(tmp, , sizeof(tmp));
    for(int i = , j; i <= n;){
        while(i <= n && s[i]-'a' != u) ++i;
        int t = ;
        j = i+;
        while(j <= n && s[j] -'a' != u && s[j]-'a' !=  v) {
            t |=  << s[j]-'a';
            ++j;
        }
        if(j > n) break;
        if(s[j] - 'a' == v){
            i = j+;
            tmp[t] = ;
        }
        if(s[j] - 'a' == u)
            i = j;
    }
    for(int i = ; i <= k; ++i){
        if(tmp[i]){
            gg[i] = ;
            for(int j = ; j < m; ++j){
                if(j == u || j == v) continue;
                tmp[i|(<<j)] = ;
            }
        }
    }
    return ;
}
int vis[<<];
int ans;
void DFS(int x, int len){
    if(vis[x]) return ;
    vis[x] = ;
    ans = min(ans, len);
    for(int i = ; i < m; ++i){
        if(gg[x | (<<i)]) continue;
        DFS(x|<<i, len-cnt[i]);
    }
    return ;
}

void Ac(){
    memset(gg, , sizeof(gg));
    memset(cnt, , sizeof cnt);
    scanf("%s", s+);
    for(int i = ; i < m; ++i)
        for(int j = ; j < m; ++j)
            scanf("%d", &a[i][j]);
    k = (<<m) - ;
    for(int i = ; i < m; ++i)
        for(int j = ; j < m; ++j)
            if(a[i][j] == )
                solve(i,j);
    for(int i = ; i <= n; ++i){
        cnt[s[i]-'a']++;
    }
    ans = n;
    DFS(, n);
    printf("%d\n", ans);
    return ;
}
int main(){
    while(~scanf("%d%d", &n, &m)){
        Ac();
    }
    return ;
}