二分图算法

二分图

（1）概念
二分图又称作二部图，是图论中的一种特殊模型。 设G=(V,E)是一个无向图，如果顶点V可分
割为两个互不相交的子集(A,B)，并且图中的每条边（i，j）所关联的两个顶点i和j分别属于这
两个不同的顶点集(i in A,j in B)，则称图G为一个二分图。
（2）二分图的充分必要条件
至少有两个顶点且没有奇环！
（3）二分图的判定
染色法https://ac.nowcoder.com/acm/problem/19790
例题：***
修修在黑板上画了一些无向连通图，他发现他可以将这些图的结点用两种颜色染色，满足相邻点不同色。
澜澜不服气，在黑板上画了一个三个点的完全图。修修跟澜澜说，这个图我能找到一个简单奇环。
澜澜又在黑板上画了一个n个点m条边的无向连通图。很可惜这不是一道数数题，修修做不出来了。
澜澜非常得意，作为一位毒瘤出题人，有了好题当然要跟大家分享，于是他把这道题出给你做了。
输入描述:
第一行两个整数n,m (1≤ n,m≤ 3e5)，接下来m行每行两个整数ai,bi表示一条边 (1≤ ai,bi≤ n)。
保证图连通，并且不存在重边和自环。

输出描述:
如果你能把图二染色，第一行输出0，第二行输出n个整数x1~xn表示每个点的颜色 (0≤ xi≤ 1)。如果有多种合法方案，你可以输出任意一种。
如果你能找到一个简单奇环，第一行输出环长k，第二行输出k个整数y1∼yk表示环上结点编号 (1≤ yi≤ n)，你需要保证yi和yi+1之间有边，y1和yn之间有边。如果有多种合法方案，你可以输出任意一种。
如果两种情况都是可行的，你只需要输出任意一种。
如果两种情况都是不可行的，请输出一行一个整数-1。
示例1
输入
3 2
1 2
1 3
输出
0
0 1 1
示例2
输入
3 3
1 2
1 3
2 3
输出
3
1 2 3

#include<bits/stdc++.h>

using namespace std;
#define ll long long
const int M = 3e5+2;
vector<int>g[M];int co[M],pre[M];int ori;//co[i]记录i点颜色编号
int dfs(int x,int y)//x表示当前遍历的结点，y表示这个点的颜色，y可以取1或者2（0表示未赋予颜色)
{
   
	int n=g[x].size(),z;
	if(y==1)z=2;else z=1;
    for(int i=0;i<n;i++)
    {
   int j=g[x][i];//用j遍历x点相连的每个点
        if(!co[j]){
   
        co[j]=z,pre[x]=j;
        if(!dfs(j,z))return false;}
        else if(co[j]!=z){