BZOJ 1143 祭祀 river（最大独立集）

题目链接：http://61.187.179.132/JudgeOnline/problem.php?id=1143

题意：给出一个有向无环图。在其中找出一个最大的点集使得点集中任意两个点之间不可达。

思路：首先在给出图中跑一次floyd，这样g[i][j]=1则i可到达j。那么题意就是求最大独立集。最大独立集=|G|-最小顶点覆盖=|G|-二分图最大匹配。

 

int g[N][N],match[N],visit[N];
int n;


int DFS(int u)
{
    int i;
    FOR1(i,n) if(!visit[i]&&g[u][i])
    {
        visit[i]=1;
        if(match[i]==-1||DFS(match[i]))
        {
            match[i]=u;
            return 1;
        }
    }
    return 0;
}


int m;


int main()
{
    RD(n,m);
    int i,x,y;
    FOR1(i,m)
    {
        RD(x,y);
        g[x][y]=1;
    }
    int j,k;
    FOR1(k,n) FOR1(i,n) FOR1(j,n) if(g[i][k]&&g[k][j])
    {
        g[i][j]=1;
    }
    clr(match,-1);
    int ans=0;
    FOR1(i,n)
    {
        clr(visit,0);
        if(DFS(i)) ans++;
    }
    PR(n-ans);
}