二分图是一种特殊的图,其中顶点可以被分为两个不相交的集合,且每条边的两个顶点必须属于不同的集合。二分图常用于描述具有相异关系的对象之间的关系,如男女之间的配对、任务分配等。
判定一个图是否为二分图的方法之一是染色法,也称为贪心法。染色法的思想是从一个顶点开始,将其染色为一种颜色,然后将与它相邻的顶点染成另一种颜色。接着,以与它相邻的顶点为起点,递归地将它们的相邻顶点染成与当前顶点不同的颜色。如果在染色过程中遇到相邻顶点已经被染成与当前顶点相同的颜色,说明该图不是二分图。
具体的步骤如下:
1. 选择一个顶点作为起点,并将其染成一种颜色。
2. 对于与起点相邻的顶点,将其染成与起点不同的颜色。
3. 以与起点相邻的顶点为起点,递归地进行染色操作,直到所有顶点都被染色。
4. 如果染色过程中遇到相邻顶点已经被染成与当前顶点相同的颜色,说明该图不是二分图。
#include <bits/stdc++.h>
#define ll long long
#define endl "\n"
#define KUI ios::sync_with_stdio(0), cin.tie(0), cout.tie(0)
using namespace std;
const int con = 2e5 + 4;
const int mod = 998244353;
int n, m, k, vis[con];
vector<int> v[con];
int dfs(int u, int c)
{
vis[u] = c;
for (auto &x : v[u])
{
if (vis[x] == 0)
{
if (dfs(x, 3 - c))
{
return 1;
}
}
else if (vis[x] == c)
{
return 1;
}
}
return 0;
}
void take()
{
cin >> n >> m;
int a1, a2;
for (int i = 1; i <= m; i++)
{
cin >> a1 >> a2;
v[a1].push_back(a2);
v[a2].push_back(a1);
}
bool bj = 0;
for (int i = 1; i <= n; i++)
{
if (vis[i] == 0)
{
if (dfs(i, 1) == 1)
{
bj = 1;
break;
}
}
}
if (bj == 1)
{
cout << "不是二分图" << endl;
}
else
{
cout << "是二分图" << endl;
}
}
int main()
{
KUI;
int t1 = 1;
while (t1--)
{
take();
}
return 0;
}