[LA3523/uva10195]圆桌骑士 tarjan点双连通分量+奇环定理+二分图判定

1.一个环上的各点必定在同一个点双连通分量内；

2.如果一个点双连通分量是二分图，就不可能有奇环；

最基本的二分图中的一个环：

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<iostream>
#include<queue>
#include<vector>
using namespace std;

const int N=,M=;
int n,m,len,num,sl,tl,cnt;
int first[N],hate[N][N],dfn[N],low[N],s[N],t[N],col[N];
bool single[N],in[N];
struct node{
    int x,y,next;
}a[*M];
int minn(int x,int y){return x<y ? x:y;}

void ins(int x,int y)
{
    len++;
    a[len].x=x;a[len].y=y;
    a[len].next=first[x];first[x]=len;
}

bool check(int x)
{
    for(int i=first[x];i;i=a[i].next)
    {
        int y=a[i].y;
        if(!in[y]) continue;
        if(col[y]==-)
        {
            col[y]=-col[x];
            if(!check(y)) return ;
        }
        if(col[y]==col[x]) return ;
    }
    return ;
}

void tarjan(int x,int fa)
{
    dfn[x]=low[x]=++num;
    s[++sl]=x;
    for(int i=first[x];i;i=a[i].next)
    {
        int y=a[i].y;
        if(y==fa) continue;
        if(!dfn[y])
        {
            tarjan(y,x);
            low[x]=minn(low[x],low[y]);
            if(low[y]>=dfn[x])
            {
                int z=s[sl];
                cnt++;
                tl=;t[++tl]=z;in[z]=;
                while(z!=x)
                {
                    sl--;
                    z=s[sl];
                    in[z]=;t[++tl]=z;
                }
                col[x]=;
                bool bk=check(x);
                for(int j=;j<=tl;j++)
                {
                    in[t[j]]=;col[t[j]]=-;
                    if(!bk) single[t[j]]=;
                }
            }
        }
        else low[x]=minn(low[x],dfn[y]);
    }
}

int main()
{
    while()
    {
        scanf("%d%d",&n,&m);
        if(!n && !m) return ;
        len=;num=;sl=;cnt=;
        memset(first,,sizeof(first));
        memset(dfn,,sizeof(dfn));
        memset(hate,,sizeof(hate));
        memset(single,,sizeof(single));
        memset(col,-,sizeof(col));
        memset(in,,sizeof(in));
        for(int i=;i<=m;i++)
        {
            int x,y;
            scanf("%d%d",&x,&y);
            hate[x][y]=;
            hate[y][x]=;
        }
        for(int i=;i<=n;i++)
            for(int j=;j<=n;j++)
                if(i!=j && !hate[i][j]) ins(i,j);
        for(int i=;i<=n;i++) if(!dfn[i]) tarjan(i,);
        int ans=;
        for(int i=;i<=n;i++) if(single[i]) ans++;
        printf("%d\n",ans);
    }
    return ;
}