1 二部图基础
二分图又称作二部图,是图论中的一种特殊模型。 设G=(V,E)是一个无向图,如果顶点V可分割为两个互不相交的子集(A,B),并且图中的每条边(i,j)所关联的两个顶点i和j分别属于这两个不同的顶点集(i in A,j in B),则称图G为一个二分图。
![](https://i-blog.csdnimg.cn/blog_migrate/4efa7886b9d2f0dfe297fea1d0f018c7.jpeg)
2 染色法判断二部图
- 先找到一个没被染色的节点u,把它染上一种颜色
- 之后遍历所有与它相连的节点v,如果节点v已被染色并且颜色和节点u一样,那么就失败了(即该图不是二部图)
- 如果这个节点v没有被染色,先把它染成与节点u不同颜色的颜色,然后遍历所有与节点v相连的节点(对应DFS中向下一层递归)
- 就这样循环下去,直到结束为止
3 DFS编程实现
#include <iostream>
#include <vector>
using namespace std;
const int MAXN=1005;
vector<int> graph[MAXN];
int Color[MAXN]= {0};
int flag=1; // 1:是二部图 2:不是
void DFS(int node,int color) {
if(flag==0) // 已经判断出不是二部图
return;
Color[node] = color;
for(int i=0; i<graph[node].size(); i++) {
int temp = graph[node][i];
if(Color[temp]==Color[node]) {
flag=0;
return ;
}
if(Color[temp]==0)
DFS(temp,-color);
}
}
int main() {
/*
for(int i=0;i<n;i++){
if(Color[i]==0)
DFS(i,1); // 若此处的语句被调用不止一次,则说明graph包含不止一个连通图
}
if(flag==1) cout<<"true"<<endl;
else cout<<"false"<<endl;
*/
return 0;
}