hihocoder #1127 : 二分图三·二分图最小点覆盖和最大独立集

时间限制: 10000ms

单点时限: 1000ms

内存限制: 256MB

描述

在上次安排完相亲之后又过了挺长时间，大家好像都差不多见过面了。不过相亲这个事不是说那么容易的，所以Nettle的姑姑打算收集一下之前的情况并再安排一次相亲。所以现在摆在Nettle面前的有2个问题：

1.姑姑想要了解之前所有相亲的情况。对于任一个一次相亲，只要跟参与相亲的两人交流就可以得到这次相亲的情况。如果一个人参加了多次相亲，那么跟他交流就可以知道这几次相亲的情况。那么问题来了，挖掘技术到底哪家强姑姑最少需要跟多少人进行交流可以了解到所有相亲的情况。

问题1解答

2.因为春节快要结束了，姑姑打算给这些人再安排一次集体相亲。集体相亲也就是所有人在一起相亲，不再安排一对一对的进行相亲。但是姑姑有个条件，要求所有参与相亲的人之前都没有见过。也就是说在之前的每一次相亲中的两人不会被同时邀请来参加这次集体相亲。那么问题又来了，姑姑最多可以让多少人参与这个集体相亲。

问题2解答

输入

第1行：2个正整数，N,M(N表示点数 2≤N≤1,000，M表示边数1≤M≤5,000)
第2..M+1行：每行两个整数u,v，表示一条无向边(u,v)

输出

第1行：1个整数，表示最小点覆盖数
第2行：1个整数，表示最大独立集数

样例输入

5 4
3 2
1 3
5 4
1 5

样例输出

2
3

解题关键：1.同样的转化为图G=(V,E)，则问题转化为： 在图G中选取尽可能少的点，使得图中每一条边至少有一个端点被选中。这个问题在二分图问题中被称为最小点覆盖问题。即用最少的点去覆盖所有的边。
结论：由 König定理可知 最小点覆盖的点数 = 二分图最大匹配。 2.依旧转化为图G=(V,E)，则问题转化为： 在图G中选取尽可能多的点，使得任意两个点之间没有连边。这个问题在二分图问题中被称为最大独立集问题 。 结论：最大独立集的点数 = 总点数 - 二分图最大匹配

#include<iostream>
#include<stdio.h>
#include<string.h>
using namespace std;
#include<vector>
#define maxn 50005
#define MS(a,b) memset(a,b,sizeof(a));
int head[1005],f,n,m;
int vis[1005],link[1005];
struct node
{
    int e,next;
}edge[maxn];
void add(int s,int e)
{
    edge[f].e=e;
    edge[f].next=head[s];
    head[s]=f++;
}
bool dfs(int u)
{
   int i,v;
   for(i=head[u];i!=-1;i=edge[i].next)
   {   v=edge[i].e;
       if(!vis[v])
       {
           vis[v]=1;
           if(link[v]==-1||dfs(link[v]))
           {
               link[v]=u;
               link[u]=v;
               return true;
           }
       }
   }
   return false;
}
int main()
{
     int i,a,b,ans=0;
     cin>>n>>m;
     MS(head,-1);
     f=0;
     for(i=0;i<m;i++)
     {
         cin>>a>>b;
         add(a,b);
         add(b,a);
     }
     MS(link,-1);
     for(i=1;i<=n;i++)
     {
         if(link[i]==-1)
         {
          MS(vis,0);
           if(dfs(i))
            ans++;
         }
     }
     cout<<ans<<endl;//最小点覆盖数
     cout<<n-ans<<endl;//最大独立集数
    return 0;
}