二分图染色

二分图染色

二分图：

如果给定图的点可以分成两组，且每条边的一段在一组，另一端在另一组，则是二分图。

完全二分图(完全偶图)：

X中的任一顶点与Y中每个点都有且仅有一条边

二分图的一个等价定义：

不存在奇环的图

染色法判断二分图：

任意选择一个顶点染成1，将与其相连的点染成相反颜色-1，递归处理相连的点直到每个点都被染色，如果存在某个点被染成两种颜色（即存在冲突），那么就不是二分图。如果没有冲突则为二分图。

---

CodeForces687 A. NP-Hard Problem

题意：

路径的顶点覆盖指的是：一个顶点集合，满足每条边的端点至少有一点在这个集合中。
最小顶点覆盖即顶点数最小的集合。
现在给你一张n个点m条边的无向图，问能否将这个无向图点分成两个部分，使得这两个部分的点组成的集合都是顶点覆盖。
如果无解输出-1，否则输出划分方案。

思路:

题目要求分成两个集合，都是顶点覆盖。
因为每条边至少有一个点在顶点覆盖集合内，意味着每条边的一个端点要在某个部分，另外一个端点又要在另一部分。
这是一个二分图，因此判断给定的图是否是二分图就可以判断是否又解。
二分图染色即可。

code:

#include<bits/stdc++.h>
using namespace std;
const int maxm=1e5+5;
vector<int>g[maxm];
vector<int>ans[2];
int c[maxm];
int flag;
void dfs(int x){
    for(int v:g[x]){
        if(!c[v]){
            c[v]=-c[x];
            dfs(v);
        }else if(c[v]==c[x]){
            flag=1;
            break;
        }
    }
}
signed main(){
    int n,m;
    cin>>n>>m;
    for(int i=1;i<=m;i++){
        int a,b;
        cin>>a>>b;
        g[a].push_back(b);
        g[b].push_back(a);
    }
    for(int i=1;i<=n&&!flag;i++){//防止给定的图不连通，遍历一遍过去
        if(!c[i]){
            c[i]=1;
            dfs(i);
        }
    }
    if(flag){
        cout<<-1<<endl;
        return 0;
    }
    for(int i=1;i<=n;i++){
        if(c[i]==1)ans[0].push_back(i);
        else ans[1].push_back(i);
    }
    for(int i=0;i<2;i++){
        cout<<ans[i].size()<<endl;
        for(int v:ans[i]){
            cout<<v<<' ';
        }
        cout<<endl;
    }
    return 0;
}

---