【NOIP2016提高A组集训第1场10.29】完美标号

题目

给定M个二元组(A_i, B_i)，求X_1, ..., X_N满足：对于任意(A_i, B_i)，有|X_{A_i} - X_{B_i}| = 1成立。

分析

显然，对于二元组(x,y)，X_{x}、X_{y}相差1，
而对于二元组(x,y)和(y,z)，X_{x}、X_{y}相差1，X_{z}、X_{y}相差1，而X_{x}和X_{z}有可能相等，有可能差2。
我们对于相差1的染不同的颜色，否则染相同的颜色，有冲突就输出"NO"。
发现，因为只有两种颜色，那么一种颜色输出1，另一种输出0。

#include <cmath>
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <queue>
const int maxlongint=2147483647;
const int mo=1000000007;
const int N=10005;
using namespace std;
int last[N*30],next[N*30],to[N*30],a[N],tot,n,m;
int bj(int x,int y)
{
    next[++tot]=last[x];
    last[x]=tot;
    to[tot]=y;
}
int dg(int x)
{
    for(int i=last[x];i;i=next[i])
    {
        int j=to[i];
        if(!a[j])
        {
            a[j]=(a[x]==1)?2:1;
            dg(j);
        }
    }
}
int main()
{
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++)
    {
        int x,y;
        scanf("%d%d",&x,&y);
        bj(x,y);
        bj(y,x);
    }
    for(int i=1;i<=n;i++)
    {
        if(!a[i])
        {
            a[i]=1;
            dg(i);
        }
    }
    for(int k=1;k<=n;k++)
        for(int i=last[k];i;i=next[i])
        {
            int j=to[i];
            if(a[k]==a[j])
            {
                printf("NO\n");
                return 0;
            }
        }   
    printf("YES\n");
    for(int i=1;i<=n;i++) printf("%d ",a[i]-1);
}