二分图判定和二分图最大匹配

1.二分图的定义

二分图是一种特殊的无向图,它的节点可以被划分为两个互不相交的集合,使得同一集合中的任意两个节点之间没有边相连,而不同集合中的节点之间都有边相连。

换句话说,如果一个无向图可以被划分为两个集合,并且所有边的两个端点都分别属于不同的集合,那么这个无向图就是一个二分图。

如图,有蓝色,绿色两个集合,集合内的点可以跟另一个集合内的点相互连接,但集合内部不能连接,这就叫二分图。

二分图判定和二分图最大匹配_第1张图片

那么如何判定是否为二分图呢?这就要用到二分图的染色

2.二分图的染色

二分图判定和二分图最大匹配_第2张图片

假设图中的颜色都还没标上,只有点和边,那么我们需要对各个点能直达的点染色(也就是不同集合的点的染不同颜色),如果能符合“相邻点的颜色不同”这个条件,就是一个二分图。

反之如下,两个蓝色的点之间有连线,可是他们颜色相同,就不能满足条件了

二分图判定和二分图最大匹配_第3张图片

例题1

二分图判定和二分图最大匹配_第4张图片

1.用vector建图,此时我们已经知道了各个点(记作点i)的所有邻接点(也就是只用走一条边就能到达的点),那么点i的邻接点j的颜色不能跟点i一样

2.如果点i是蓝色,点j就应该被染成绿色

3.我们要将以点i为起点,所有能到达的点都遍历,可以用dfs或者bfs

4.如果染的过程中,某点还没有染色,就将其染成相反色;

   如果已经染了色,且颜色为相反色,则不用管;

   如果已经染了色,且颜色相同,说明不满足条件,这不是一个二分图。

dfs写法

#include
#include
#include
#include
#include
#include
#include
#include
#include 
#include
#include
#include
#include
#include
#include 
#include
#include 

#define IOS ios::sync_with_stdio(false);cin.tie(0);cout.tie(0)
#define inf 0x3f3f3f3f
//2147483647

#define int long long
//#include 
typedef long long ll;
#include
using namespace std;

const int N = 1e6 + 10;
//long long MAX(long long a, long long b) { return a < b ? b : a; }



vector edge[N];
int vis[N];//0为蓝色,1为绿色
bool ans = true;

void dfs(int cur, int c) {
	//作用:遍历cur能到达的点,并且将这些点染色
	vis[cur] = c;

	for (auto x : edge[cur]) {
		//遍历cur的邻接点
		if (vis[x] == -1) {
			//还未被染色
			dfs(x, 1 - c);
			//将x点染成跟cur不一样的颜色
			//并且开始深搜
		}
		else if (vis[x] == vis[cur]) {
			ans = false;
		}
	}

}
signed main() {
	memset(vis, -1, sizeof vis);
	int n, m; cin >> n >> m;
	while (m--) {
		int a, b; cin >> a >> b;
		edge[a].push_back(b);
		edge[b].push_back(a);

	}
	for (int i = 1; i <= n; i++) {
		if (vis[i] == -1) dfs(i, 1);
	}

	if (ans) cout << "Yes";
	else cout << "No";
	return 0;
}

bfs写法

#include
#include
#include
#include
#include
#include
#include
#include
#include
#include 
#include
#include
#include
#include
#include
#include 
#include
#include 

#define IOS ios::sync_with_stdio(false);cin.tie(0);cout.tie(0)
#define inf 0x3f3f3f3f
//2147483647

#define int long long
//#include 
typedef long long ll;
#include
using namespace std;

const int N = 1e6 + 10;
//long long MAX(long long a, long long b) { return a < b ? b : a; }



vector edge[N];
int vis[N];//0为蓝色,1为绿色
bool ans = true;

void bfs(int cur) {
	//作用:遍历cur能到达的点,并且将这些点染色
	

	queue q;
	q.push(cur);
	vis[cur] = 0;
	while (!q.empty()) {
		int t = q.front();
		
		q.pop();
		for (auto x : edge[t]) {
			if (vis[x] == -1) {
				q.push(x);
				vis[x] = 1 - vis[t];
			}
			else if (vis[x] == vis[t]) {
				ans = false;
				return;
			}
		}

	}

}
signed main() {
	memset(vis, -1, sizeof vis);
	int n, m; cin >> n >> m;
	while (m--) {
		int a, b; cin >> a >> b;
		edge[a].push_back(b);
		edge[b].push_back(a);

	}
	for (int i = 1; i <= n; i++) {
		if (vis[i] == -1) bfs(i);
	}

	if (ans) cout << "Yes";
	else cout << "No";
	return 0;
}

例题2

D - Good Tuple Problem

二分图判定和二分图最大匹配_第5张图片

二分图判定和二分图最大匹配_第6张图片

二分图判定和二分图最大匹配_第7张图片

分析:atcoder周赛,基本就是模板题了

#include
#include
#include
#include
#include
#include
#include
#include
#include 
#include
#include
#include
#include
#include
#include 
#include
#include 

#define IOS ios::sync_with_stdio(false);cin.tie(0);cout.tie(0)
#define inf 0x3f3f3f3f
//2147483647

#define int long long
//#include 
typedef long long ll;
#include
using namespace std;

const int N = 1e6 + 10;
//long long MAX(long long a, long long b) { return a < b ? b : a; }



vector dif[N];//dif[i]存的是,需要跟i结点不同的结点
int a[N], b[N], x[N];
bool ans = true;

void dfs(int i, int s) {
	x[i] = s;
	for (int j = 0; j < dif[i].size(); j++) {
		if (x[dif[i][j]] == -1) {
			dfs(dif[i][j], 1 - s);
		}
		else if (x[dif[i][j]] == x[i]) ans = false;
	}

}
signed main() {
	int n, m; cin >> n >> m;

	for (int i = 0; i < m; i++) {
		cin >> a[i];
	}
	for (int i = 0; i < m; i++) {
		cin >> b[i];
	}
	for (int i = 0; i < m; i++) {
		dif[a[i]].push_back(b[i]);
		dif[b[i]].push_back(a[i]);
	}

	memset(x, -1, sizeof x);
	for (int i = 1; i <= n; i++) {
		if(x[i]==-1) dfs(i, 0);
	}

	if (ans) cout << "Yes";
	else cout << "No";

	return 0;
}

3.匈牙利算法

匈牙利算法是用来求二分图的最大匹配数,注意!是最大匹配数,是无权的

二分图判定和二分图最大匹配_第8张图片

假设有这些男生和女生,男生对一些女生中意,问怎么匹配才能让匹配出来的情侣数量最多

答:我们把下面的行为看成一个“追”的动作

男生i一个个访问自己中意的女生,如果该女生j还没有对象,则直接匹配成功。

如果女生j有对象,即match[j]这个男生,那么去找找看match[j]这个男生能不能换一个女朋友(即女生j有调整空间),然后把女生j让给男生i。如果可以,则男生i也匹配成功。

如果男生i遍历完所有中意的女生还是找不到,就匹配失败。

二分图判定和二分图最大匹配_第9张图片

着重解释一下st[]。作用是不重复访问同一个女生,导致递归陷入死循环。

我们可以把st[]的作用看成一个“预定”的行为,当女生j还没被预定,则使其被预定,即st[j] = true,看看这个女朋友能不能追到手(也就是我上面“答”的部分)。不行的话去看看其他中意的女生。

注意!不论女生j追没追到手,她都已经是被”预定“过了,后续不能再访问。

那到底是怎么陷入死循环的呢?

如果没有st数组的情况如下。

当男生i访问到了女生j,女生j已经有男生k当男朋友了,那么此时就要看看男生k能不能换别的女朋友。所以男生k就会遍历所有自己中意的女生,看看有没有未被选的女生,或者有调整空间的女生。

问题就出在这里!这样的话男生k可能又会访问到女生j,然后看女生j有没有调整空间,也就是自己有没有调整空间,陷入递归死循环!

因此,st[]的存在是必要的。

#include
#include
#include
#include
#include
#include
#include
#include
#include 
#include
#include
#include
#include
#include
#include 
#include
#include 

#define IOS ios::sync_with_stdio(false);cin.tie(0);cout.tie(0)
#define inf 0x3f3f3f3f
//2147483647

#define int long long
//#include 
typedef long long ll;
#include
using namespace std;

const int N = 1e6 + 10;
//long long MAX(long long a, long long b) { return a < b ? b : a; }

int cnt = 0;
int head[N], e[N], ne[N];
int match[N];
bool st[N];

void add(int u, int v) {
	e[cnt] = v, ne[cnt] = head[u], head[u] = cnt++;
}

bool find(int x) {
	//找x能不能配对到女朋友
	
	//遍历x所中意的女生
	for (int i = head[x]; i != -1; i = ne[i]) {
		int j = e[i];
		if (!st[j]) {
			st[j] = true;
			if (match[j]==0 || find(match[j])) {
				//如果女生j没有男朋友,或者女生当前的男朋友可以选择其他女生
				//那么就让那个男生去找别的女生,男生x跟女生j匹配
				match[j] = x;
				return true;
			}

		}

	}
	return false;
}

int a, b, n;
signed main() {
	memset(head, -1, sizeof head);
	cin >> a >> b >> n;
	for (int i = 0; i < n; i++) {
		int u, v, w; cin >> u >> v;
		add(u, v);
	}

	int ans = 0;
	for (int i = 1; i <= a; i++) {
		memset(st, false, sizeof st);
		if (find(i)) ans++;

	}
	cout << ans;

	return 0;
}

你可能感兴趣的:(图论,c++)