UVALive 3565 Bit Compressor （搜索）

题目：https://vjudge.net/contest/132370#problem/A
题意：

压缩01序列，压缩方法数是把连续的的1序列用二进制表示（前提是可以缩短原串的长度），给出压缩后的序列，和压缩前序列的长度和1的个数。问如果有多种压缩方法输出NOT UNIQUE，没有一种方法输出NO，有唯一一种输出YES。

分析：

很好的一道搜索题目，这题细节很多，需要注意的是对10和11的处理，10不需要还原成11，而11有可能是11或者111.

代码：

const int N = 40 + 9;
char s[N];
int len,m,n,ans;
void dfs(int k,int zero,int one) {
    if(zero>n)return;
    if(one>m)return;
    if(k==len) {
        if(zero==n&&one==m)ans++;
        return;
    }
    if(s[k]!='1')return;
    int num=1;
    for(int i=k; i<len; i++,num=num*2+(s[i]=='1')) {
        int t=num;
        if(num==2)continue;
        if(num==3)t--;
        if(t+one>m)return;
        if(s[i+1]=='1')continue;
        int j;
        for(j=i+1; s[j]=='0'; j++);
        dfs(j,j-(i+1)+zero,one+t);
        if(t==2)
            dfs(j,j-(i+1)+zero,one+3);
    }
}
int main() {
    //freopen ("f.txt", "r", stdin);

    int cas=0;
    while (~scanf ("%d%d", &n,&m)&&(n+m) ) {
        scanf("%s",s);
        len=strlen(s);
        ans=0;
        n-=m;
        int zero=0;
        for(; s[zero]=='0'; ++zero);
        dfs(zero,zero,0);
        printf("Case #%d: ",++cas);
        if(ans==1)puts("YES");
        else if(ans==0)puts("NO");
        else puts("NOT UNIQUE");
    }
    return 0;
}
/*
SampleInput
32 26
10000010011110011
9 7
1010101
14 14
111111
0 0

SampleOutput
Case #1: YES
Case #2: NOT UNIQUE
Case #3: NO

*/