[CF687A]NP-Hard Problem - 二分图判定

【题目链接】
https://www.luogu.com.cn/problem/CF687A
【题目描述】
给出一张有n个点m条边的无向图G。
下面给出顶点覆盖的定义：设V是G的点的集合，如果G的每一条边的至少一个端点属于V，那么称V是G的一个顶点覆盖。
问是否可以把G的所有顶点划分为两个集合A和B，使A和B都是G的顶点覆盖。

【分析】
原题最难的地方大概在于这是一道英文题。把顶点划分成AB两个集合，对A染黑色，对B染白色，图中的边两端端点必须颜色不相同，原问题转换为一个二分图判定问题。
要注意判断图中的所有连通块。
时间复杂度O（n）

【代码】

#include <bits/stdc++.h>
using namespace std;
const int maxn = 100005;
struct E
{
    int v,ne;
}edge[maxn<<1];
int n,m;
int tot = 1,head[maxn];
bool vis[maxn];
void add(int u,int v)
{
    edge[++tot] = (E){v,head[u]};
    head[u] = tot;
}
void read()
{   int x,y;
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++)
    {
        scanf("%d%d",&x,&y);
        add(x,y);
        add(y,x);
        vis[x] = vis[y] = 1;
    }
}
int col[maxn];
bool dfs(int x)
{
    int y;
    for(int i=head[x];i;i=edge[i].ne)
    {   y=edge[i].v;
        if(!col[y])
        {
            col[y] = 3-col[x];
            if(!dfs(y)) return false;
        }
        else if(col[y] == col[x])   return false;
    }
    return true;
}
void work()
{   memset(col,0,sizeof(col));
    for(int i=1;i<=n;i++)
    {
        if(col[i] || !vis[i])  continue;
        col[i] = 1;//3-col[i]
        if(!dfs(i))
        {
            cout << "-1" << endl;
            return;
        }
    }
    vector<int> a,b;
    for(int i=1;i<=n;i++)
    {
        if(col[i] == 1)         a.push_back(i);
        else if(col[i] == 2)    b.push_back(i);        
    }
    printf("%d\n",a.size());
    for(int i=0;i<a.size();i++)
        printf("%d ",a[i]);
    printf("\n%d\n",b.size());
    for(int i=0;i<b.size();i++)
        printf("%d ",b[i]);
}
int main()
{
    read();
    work();
    return 0;
}