UVA1663 Purifying Machine （匈牙利算法，二分图最大匹配）

模版集合个数减少是因为匹配串集合中没被匹配过的一对串匹配了。所以就是找一个二分图最大匹配。

因为集合X和Y是不好分开的，但是可以直接跑，两个集合都会跑一遍，所以一个匹配会被算两次，返回的时候除以2就行了。

也有另外一种写法不用除以2的。

#include<bits/stdc++.h>
using namespace std;
const int maxn = ;
const int N = <<maxn;

#define debug(x)\
bitset<> bs(x);\
cout<<bs<<endl;

bool vis[N];
int match[N];
int dfsT[N], dfsTime, n, m, M,tot;

bool dfs(int u)
{
    for(int i = ; i < n; i++){
        int v = u^(<<i);
        if(vis[v] && dfsT[v] != dfsTime){
            dfsT[v] = dfsTime;
            if(!~match[v] || dfs(match[v])){
                match[v] = u;
                return true;
            }
        }
    }
    return false;
}

int MaxMatch()
{
    memset(match,-,sizeof(int)*M);
    memset(dfsT,,sizeof(int)*M);
    dfsTime = ;
    int ans = ;
    for(int i = ; i < M; i++){
        if(vis[i]){
            dfsTime++;
            if(dfs(i)) ans++;
        }
    }
    return ans>>;
}

int read()
{
    M = <<n;
    memset(vis,,sizeof(bool)*M);
    for(int i = ; i < m; i++){
        int fg = -,t = ;
        scanf("\n");
        char ch;
        for(int j = ;j < n; j++){
            ch = getchar();
            if(ch == '*') fg = j;
            if(ch != '') t |= <<j;
        }
        vis[t] = true;
        if(~fg) vis[t^(<<fg)] = true;
    }
    int ret = ;
    for(int i = ; i < M; i++) if(vis[i]) ret++;
    return ret;
}

int main()
{
    //freopen("in.txt","r",stdin);
    while(scanf("%d%d",&n,&m),n){
        printf("%d\n",read()-MaxMatch());
    }
    return ;
}