poj 2942 Knights of the Round Table

每个有矛盾的骑士不可相邻，一个圆桌只能是奇数个骑士。

我们把没有矛盾的骑士连一条双向边。求出每一个块，如果这个块存在奇数环，那么我们可以保证这个块一定可以满足条件。

对块上的点进行染色，当前点染红色，把相邻的点都染成蓝色，如果遇到一个已经染色的点且这个点是红色，则证明存在奇环。

如果存在奇环，这个块上所有的骑士都可以参加会议。

#include <iostream>
#include <cstdio>
#include <vector>
#include <cmath>
#include <stack>
#include <map>
#include <set>
#include <queue>
#include <cstring>
#include <algorithm>
using namespace std;
#define L(t) t<<1
#define R(t) t<<1|1
#define eps 1e-7
typedef long long LL;
const int INF=1000000010;
const int maxn=1005;
const int maxm=2000005;
const int MOD=1000000007;
int head[maxn],next[maxm],to[maxm];
bool mp[maxn][maxn],isNi[maxn];
int tot,top,cnt,ans;
int dfn[maxn],low[maxn],stk[maxn],block[maxn],color[maxn];

void addEdge(int u,int v)
{
    next[tot]=head[u],to[tot]=v,head[u]=tot++;
    next[tot]=head[v],to[tot]=u,head[v]=tot++;
}
bool dfs(int v,int c,int f)
{
    color[v]=c;
    for(int i=head[v];i!=-1;i=next[i])
    {
        int u=to[i];

        if(f!=u)
        for(int i=1;i<=block[0];i++)
        {
            if(block[i]==u)
            {
                if(color[u]<0)
                {
                    if(dfs(u,c^1,v))
                        return 1;
                }
                else if(color[u]==color[v])
                    return 1;
                break;
            }
        }
    }
    return 0;
}
void cutBlock(int v)
{
    dfn[v]=low[v]=++cnt;
    int u;
    stk[++top]=v;
    for(int i=head[v];i!=-1;i=next[i])
    {
        u=to[i];
        if(!dfn[u])
        {
            cutBlock(u);
            low[v]=min(low[v],low[u]);
            if(low[u]>=dfn[v])
            {
                block[0]=0;
                while(true)
                {
                    block[++block[0]]=stk[top];
                    if(stk[top--]==u)
                        break;
                }
                block[++block[0]]=v;
                if(block[0]>2)
                {
                    memset(color,-1,sizeof(color));
                    if(dfs(block[1],0,-1))
                    {
                        for(int i=1;i<=block[0];i++)
                            isNi[block[i]]=1;
                    }
//                    cout<<block[0]<<endl;
                }
            }
        }
        else
            low[v]=min(low[v],dfn[u]);
    }
}
int main()
{
    //freopen("in.txt","r",stdin);
    int n,m,u,v;
    while(scanf("%d%d",&n,&m),n+m)
    {
        memset(mp,0,sizeof(mp));
        memset(head,-1,sizeof(head));
        memset(dfn,0,sizeof(dfn));
        memset(isNi,0,sizeof(isNi));
        for(int i=0;i<m;i++)
        {
            scanf("%d%d",&u,&v);
            mp[u][v]=1;
        }
        tot=0,cnt=0;
        for(int i=1;i<=n;i++)
        {
            for(int j=i+1;j<=n;j++)
            {
                if(!mp[i][j])
                addEdge(i,j);
            }
        }
        ans=0;
        for(int i=1;i<=n;i++)
        {
            top=0;
            if(!dfn[i])
            {
                cutBlock(i);
            }
        }
        for(int i=1;i<=n;i++)
            if(!isNi[i])
            ans++;
        printf("%d\n",ans);
    }

}