二分图（判定+无权最大匹配）

染色法判定二分图

之所以能用染色法判定，是因为一个图是二分图当且仅当图中不存在奇数环，而染色法能判定一个图中是否存在奇数环。

Code：

#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
const int N = 1e5+7;

int h[N],e[N*2],ne[N*2],idx;
int color[N];

void add(int a,int b){
	e[idx] = b,ne[idx] = h[a],h[a] = idx++;
}

bool DFS(int x,int c)
{
	color[x] = c;
	for(int i=h[x];i!=-1;i=ne[i]){
		int j = e[i];
		if(!color[j]) {
			if(!DFS(j,3-c)) return 0;	//一旦有点冲突，就不是二分图
		}
		else if(color[j]==c) return 0;	//此点冲突
	}
	return 1;
}

int main()
{
	int n,m,x,y;
	scanf("%d%d",&n,&m);
	memset(h,-1,sizeof h);
	for(int i=1;i<=m;i++){
		scanf("%d%d",&x,&y);
		add(x,y),add(y,x);
	}
	bool ok = 1;
	for(int i=1;i<=n;i++){
		if(!color[i]) 
			if(!DFS(i,1)){		//遍历每个连通块
				ok = 0;break;
			}
	}
	puts(ok?"Yes":"No");
	return 0;
 } 

二分图的最大匹配

最大匹配即能组成的最大对数。此处使用的是匈牙利算法计算最大匹配。在匈牙利算法递归地寻找新的匹配方案时，一旦匹配成功，我们把这样的道路叫做 增广路 ，其本质是一条起点和终点都是未匹配节点的路径。所以此算法也可以说是不断寻找增广路的过程，当在当前匹配方案下再也找不到增广路，那么当前匹配方案便是最大匹配了。 更多匹配模型见：二分图

#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
const int N = 1e5+7;

int h[N],e[N*2],ne[N*2],idx;
int fa[N];
bool st[N];

void add(int a,int b){
	e[idx] = b,ne[idx] = h[a],h[a] = idx++;
}

bool find(int x)
{
	for(int i=h[x];i!=-1;i=ne[i]){
		int j = e[i];
		if(!st[j]) {
			st[j] = 1;
			if(fa[j]==0||find(fa[j])){		//未曾匹配或找到一条增广路
				fa[j] = x;		//记录与谁匹配
				return 1;
			}
		}
	}
	return 0;
}

int main()
{
	int n1,n2,m,x,y;
	cin>>n1>>n2>>m;
	memset(h,-1,sizeof h);
	for(int i=1;i<=m;i++){
		scanf("%d%d",&x,&y);
		add(x,y);		//单向边
	}
	int ans = 0;
	for(int i=1;i<=n1;i++){
		memset(st,0,sizeof st);		//每次重新标记
		if(find(i)) ans++;
	}
	cout<<ans<<endl;
	return 0;
 }