二分图-F全体集合

F-全体集合

链接

1. 一个显然的结论：如果每个人两两之间都存在偶数距离的路径，那么必然存在一种方法使得他们集中（可以先让一个人每次都在其初始节点和某个相邻节点之间“反复横跳”，然后其他节点的人都往这个人初始位置走那条偶数路径，到达之后可以选择跟着这个人“反复横跳“，直到全部点都到达，因为是偶数距离，所以"反复横跳"最后还是会跳回初始的位置）。
2. 如果路径中存在奇环，即使某两点之间的路径不是偶数路径，也可以通过走这个奇环，改变路径的奇偶性，使得路径为偶数。
3. 所以只要路径存在奇环，一定可以使得所有的点到达同一点。
4. 二分图性质：不存在奇环的图为二分图。
   1. 通过染色法判断，如果不是二分图，一定存在奇环，则一定成功
   2. 如果是二分图，颜色相同的点之间的路径为偶数，可以成功。颜色不同的点之间的路径为奇数，一定无法到达。所以判断k个点的颜色是否相同即可

#include<iostream>
#include<cstring>
using namespace std;
const int N=2e5+100,M=1e6+100;    //注意无向图边开两倍

int e[M],ne[M],h[M],idx;
int color[N],p[N];
int n,m,k;
void add(int a,int b)
{
    e[idx]=b,ne[idx]=h[a],h[a]=idx++;
}

bool dfs(int u,int c)
{
    color[u]=c;
    for(int i=h[u];i!=-1;i=ne[i])
    {
        int j=e[i];
        if(!color[j])
        {
            if(!dfs(j,3-c)) return false;
        }else
            if(color[j]==c) return false;
    }
    return true;
}

int main()
{
    cin>>n>>m>>k;
    
    memset(h,-1,sizeof h);
    while(m--)
    {
        int a,b;
        cin>>a>>b;
        add(a,b);
        add(b,a);
    }
    
    for(int i=1;i<=k;i++) cin>>p[i];
    
    if(dfs(1,1))	//染色成功，二分图
    {
        bool flag=true;
        for(int i=1;i<k;i++)
            if(color[p[i]]!=color[p[i+1]])	//判断是否所有点颜色一致
                flag=false;
        if(flag) puts("YES");
        else puts("NO");
        
    }else puts("YES");	//不是二分图
}