HihoCoder1127 二分图三·二分图最小点覆盖和最大独立集

二分图三·二分图最小点覆盖和最大独立集

时间限制:10000ms

单点时限:1000ms

内存限制:256MB

描述

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

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

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

#include<cstdio>
#include<cstdlib>
#include<iostream>
#include<algorithm>
#include<cstring>
using namespace std;
const int maxn=;
const int maxm=;
int Laxt[maxm],Next[maxm],To[maxm],cnt;
int linke[maxn],vis[maxn],col[maxn],n;
void add(int u,int v)
{
    Next[++cnt]=Laxt[u];
    Laxt[u]=cnt;
    To[cnt]=v;
}
int read()
{
    char c=getchar();int s=;
    while(c>''||c<'') c=getchar();
    while(c>=''&&c<=''){s=s*+c-'';c=getchar();}
    return s;
}
bool find(int u)
{

    for(int i=Laxt[u];i;i=Next[i]){
        int v=To[i];
        if(vis[v]||col[v]==) continue;
        vis[v]=;
        if(!linke[v]||find(linke[v])){
            linke[v]=u;
            return true;
        }
    }
    return false;
}
bool dfs(int v,int c)
{
    for(int i=Laxt[v];i;i=Next[i]){
        if(col[To[i]]==c) return false;
        if(!col[To[i]]){
            col[To[i]]=-c;
            if(!dfs(To[i],-c)) return false;
        }
    }
    return true;
}
bool check()
{
    for(int i=;i<=n;i++){
        if(col[i]) continue;
        col[i]=;
        if(!dfs(i,)) return false;
    }
    return true;
}
int main()
{
    int m,i,u,v,ans=;
    scanf("%d%d",&n,&m);
    for(i=;i<=m;i++) {
        u=read();v=read();
        add(u,v);
        add(v,u);
    }
    check();
    for(i=;i<=n;i++){
        if(col[i]==) {
           memset(vis,,sizeof(vis));
           if(find(i)) ans++;
        }
    }
    printf("%d\n%d\n",ans,n-ans);
    return ;
}