poj 1325 Machine Schedule

先写下几个术语，以后忘了就来找：

点覆盖集：点“看住”边。

点支配集：点“看住”点。

独立集：没有公共点的边 or 没有公共边的点。

这是我个人的理解，通俗就好。

两个结论：最小点支配集 ＝＝ 全集 － 最大独立集； 二分图中，最小点覆盖集 ＝＝ 最大二分匹配。

这题是求最小点覆盖集的，做这题时我才知道上面的结论，怎么证明我就不会了。

#include <stdio.h>
#include <string.h>
#define N 105
#define E 1010
int b[N],m,n;
int fst[N],next[E],v[E];
bool vis[N];
bool find(int u)
{
    int e;
    for(e = fst[u]; e != -1; e = next[e])
    if(!vis[v[e]])
    {
        vis[v[e]] = 1;
        if(b[v[e]] == -1 || find(b[v[e]]))
        {
            b[v[e]] = u;
            return 1;
        }
    }
    return 0;
}
int MaxMatch()
{
    int i,cnt=0;
    memset(b,-1,sizeof(b));
    for(i = 1; i <= n; i++)
    {
        memset(vis,0,sizeof(vis));
        if(find(i)) cnt++;
    }
    return cnt;
}
int main()
{
    int k,i,u,t;
    while(scanf("%d",&n),n)
    {
        scanf("%d%d",&m,&k);
        memset(fst,-1,sizeof(fst));
        for(i = 0; i < k; i++)
        {
            scanf("%*d%d%d",&u,&t);
            if(!u || !t) continue;
            next[i] = fst[u];
            fst[u] = i;
            v[i] = t;
        }
        printf("%d\n",MaxMatch());
    }
    return 0;
}

这里的代码比起上一篇就有优化了。