pku3041 Asteroids

http://poj.org/problem?id=3041

二分图最大匹配，匈牙利算法(dfs+邻接矩阵)，König定理

König定理：最大匹配数 == 最小点覆盖数

matrix67大神的证明：http://www.matrix67.com/blog/archives/116

好像喜欢上用girl命名右集合数组了。。。

#include <stdio.h>
#include <string.h>
#define N 521

int k, n;
int map[N][N], girl[N], flag[N];

int find(int x)
{
    int i;
    for(i=1; i<=n; i++)
    {
        if(!flag[i] && map[x][i])
        {
            flag[i] = 1;
            if(girl[i]==-1 || find(girl[i]))
            {
                girl[i] = x;
                return 1;
            }
        }
    }
    return 0;
}

int main()
{
    int i, sum, a, b;
    memset(map, 0, sizeof(map));
    memset(girl, -1, sizeof(girl));
    scanf("%d%d", &n, &k);
    for(i=0; i<k; i++)
    {
        scanf("%d%d", &a, &b);
        map[a][b] = 1;
    }
    sum = 0;
    for(i=1; i<=n; i++)
    {
        memset(flag, 0, sizeof(flag));
        sum += find(i);
    }
    printf("%d\n", sum);
    return 0;
}