二 分 图

二分图

概念

• 定义：二分图当且仅当图中不含奇数环

二分图的概念就跟名字一样，把图中所有点分为两部分，且每部分当中不含边。这样说起来有点抽象，我们假设有一个环。

先标个坐标：这个五边形最顶上的点为 1 , 逆时针标点 2 … 5 。先把 1 号点分到[一]部分，我们刚刚说每部分中不能有边，那么 2 号点属于[二]部分，3 号点属于 [一] 部分，这样边就位于两组的中间。继续这么标下去，5 属于[一]部分，再回到 1 号点，发现 1 号点又被分到了[二]部分，这就矛盾了。那么如何证明有奇数环一定不是二分图捏？ y 总说用反证法：

假设染色过程中有矛盾，那么只要证明一定有奇数环。就假设一下，如果一直搜下去，必定要搜到原来分过组的点并且分组不同才会产生矛盾。那就只有产生一个奇数环才可能会矛盾。这就不符合非二分图不含奇数环的假设。

代码

#include<iostream>
#include<algorithm>
#include<cstring>
using namespace std;

#define N 100010
#define M 200010

int n, m, h[N], e[M], ne[M], cnt;
int color[N];

bool dfs(int u, int c)
{
	color[u] = c;
	for(int i = h[u]; i != -1; i = ne[i])
	{
		int j = e[i];
		if(!color[j])
		{
			if(!dfs(j, 3 - c)) return false;
		}
		else if(color[j] == c) return false;		
	}
	return true;
	
}

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

int main()
{
	cin >> n >> m;
	memset(h, -1, sizeof(h));
	while(m --)
	{
		int a, b;
		cin >> a >> b;
		add(a, b);
		add(b, a);
	}
	bool flag = true;
	for(int i = 1; i <= n; i ++)
	{
		if(!color[i])
		{
			if(!dfs(i,1))
			{
				flag = false;
				break;
			}
		}
	}
	if(flag) cout << "Yes";
	else cout << "No";
	return 0;
}

2022-5-17 17:34:35