[kuangbin带你飞]专题十 匹配问题 L - Cat VS Dog （二分图最大独立集）

独立集、极大独立集

独立集即一个点集，集合中任两个结点不相邻，则称V为独立集。或者说是导出的子图是零图（没有边）的点集。极大独立集(maximal independent set)：本身为独立集，再加入任何点都不是。最大独立集(maximum independent set)：点最多的独立集。独立数(independent number)：最大独立集的点。

二分图最大独立集=定点数-二分图最大匹配

这道题要在小朋友之间建边，相矛盾的小朋友之间建边即可。

#include<bits/stdc++.h>
using namespace std;
#define clr(a,b) memset(a,b,sizeof(a))
#define pb(a) push_back(a)
#define fir first
#define se second
#define LL long long
typedef pair<int,int> pii;
const double eps = 0.0000001;
const int inf = 1e9+7;
const int maxn = 505;
string a[505],b[505];
int g[maxn][maxn],vis[maxn],vy[maxn],p;

int dfs(int u) {  
    for(int i = 1;i <= p;i++) {  
        if(g[u][i] && vis[i] == 0) {  
            vis[i] = 1;  
            if(!vy[i] || dfs(vy[i])) {  
                vy[i] = u;  
                return 1;  
            }  
        }  
    }  
    return 0;  
}  

int main() {
	int n,m;
	while(scanf("%d%d%d",&n,&m,&p) != EOF) {
		for(int i = 1;i <= p;i++) 
			cin>>a[i]>>b[i];
		clr(g,0);
		for(int i = 1;i <= p;i++) {
			for(int j = 1;j <= p;j++) {
				if(i == j) continue;
				if(a[i] == b[j] || a[j] == b[i]) {
					g[i][j] = 1;
					//g[j][i] = 1;
				}
			}
		}
		/*for(int i  = 1;i <= p;i++) 
			for(int j = 1;j <= p;j++) 
				printf("%d%c",g[i][j],j == p ? '\n' : ' ');*/
		clr(vy,0);
		int ans = 0;  
        for(int i = 1;i <= p;i++) {  
            memset(vis,0,sizeof(vis));  
            if(dfs(i)) ans++;  
        }  
        printf("%d\n",p-ans/2);  
	}
}