POJ-2942 Knights of the Round Table（补图+点双连通分量+奇圈+染色判断二分图+结论）

链接：http://poj.org/problem?id=2942

题意：多组样例。亚瑟王要召唤骑士在圆桌会议。n个骑士，m个憎恨关系，一个骑士不能和他憎恨的骑士坐在一块。亚瑟王要求来开会的骑士的个数必须是奇数，在此条件下，求开除最少的骑士。（注意一个骑士不能开会，至少三个骑士才能开会。）

思路：我们建补图，这样有边的人都能做一块，然后再求点双，求出点双后，再判断能不能形成奇圈。这里有现成的结论。

（1） 如果一个双连通分量内（即点双）的某些顶点在一个奇圈中（即双连通分量含有奇圈），那么这个双连通分量的其他顶点也在某个奇圈中；

（2）如果一个双连通分量含有奇圈，则他必定不是一个二分图。反过来也成立，这是一个充要条件。

这样每求出一个点双后，dfs染色判断是不是二分图就好了。

参考博客：https://blog.csdn.net/lyy289065406/article/details/6756821

PS：这里又新加了一种存边求点双的方法，但不知道为啥，有的题会出错，以后就用存点求点双啦。

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define ll long  long
using namespace std;
const int N = 1e3+10;
const int M = 1e6+10;
struct node
{
    int from,to,nxt;
    bool use;
}g[M];
int n,m;
bool mp[N][N];
int head[N],cnt;
int dfn[N],low[N],id,sta[N],top;
bool bcc[N],can[N];
int color[N];
int ans;
inline int Read()
{
    int res=0,ch,flag=0;
    if((ch=getchar())=='-')
        flag=1;
    else if(ch>='0'&&ch<='9')
        res=ch-'0';
    while((ch=getchar())>='0'&&ch<='9')
        res=res*10+ch-'0';
    return flag?-res:res;
}
inline void Write(int a)
{
    if(a>9)
        Write(a/10);
    putchar(a%10+'0');
}
inline void Init()
{
    ans=cnt=id=top=0;
    for(int i=1;i<=n;i++)
        for(int j=1;j<=n;j++)
            mp[i][j]=0;
    for(int i=1;i<=n;i++)
        can[i]=dfn[i]=0,head[i]=-1;
}
inline void add(int u,int v)
{
    g[cnt].from=u; g[cnt].to=v; g[cnt].use=0; g[cnt].nxt=head[u]; head[u]=cnt++;
}
inline bool dfs(int u)
{
    int v;
    for(int i=head[u];~i;i=g[i].nxt)
    {
        v=g[i].to;
        if(bcc[v])
        {
            if(color[v]==-1)
            {
                color[v]=(color[u]^1);
                return dfs(v);
            }
            else if(color[u]==color[v]) return 1;
        }
    }
    return 0;
}
inline void check(int x,int u)
{
    int i;
    for(i=1;i<=n;i++) bcc[i]=0;
	while(sta[top]!=x)
		bcc[sta[top--]]=1;
    bcc[sta[top--]]=1;
    bcc[u]=1;
    for(i=1;i<=n;i++) color[i]=-1;
    color[u]=0;
    if(dfs(u))
    {
        for(i=1;i<=n;i++)
            if(bcc[i]) can[i]=1;
    }
}
inline void tarjan(int u)
{
    int v;
    dfn[u]=low[u]=++id;
    for(int i=head[u];~i;i=g[i].nxt)
    {
        v=g[i].to;
        if(g[i].use) continue;
        g[i].use=g[i^1].use=1;
        if(!dfn[v])
        {
			sta[++top]=v;
            tarjan(v);
            low[u]=min(low[u],low[v]);
            if(low[v]>=dfn[u]) check(v,u);
        }
        else
            low[u]=min(low[u],dfn[v]);
    }
}
int main()
{
    int u,v;
    while(~scanf("%d%d",&n,&m)&&(n||m))
    {
        Init();
        while(m--)
        {
            u=Read(); v=Read();//scanf("%d%d",&u,&v);
            mp[u][v]=mp[v][u]=1;
        }
        for(u=1;u<=n;u++)
            for(v=u+1;v<=n;v++)
                if(!mp[u][v])
                    add(u,v),add(v,u);
        for(int i=1;i<=n;i++)
            if(!dfn[i]) tarjan(i);
        for(int i=1;i<=n;i++) if(!can[i]) ans++;
        //printf("%d\n",ans);
        Write(ans); putchar('\n');
    }
    return 0;
}

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define ll long  long
using namespace std;
const int N = 1e3+10;
const int M = 1e6+10;
struct node
{
    int from,to,nxt;
    bool use;
}g[M];
int n,m;
bool mp[N][N];
int head[N],cnt;
int dfn[N],low[N],id,sta[M],top;
bool bcc[N],can[N];
int color[N];
int ans;
inline int Read()
{
    int res=0,ch,flag=0;
    if((ch=getchar())=='-')
        flag=1;
    else if(ch>='0'&&ch<='9')
        res=ch-'0';
    while((ch=getchar())>='0'&&ch<='9')
        res=res*10+ch-'0';
    return flag?-res:res;
}
inline void Write(int a)
{
    if(a>9)
        Write(a/10);
    putchar(a%10+'0');
}
inline void Init()
{
    ans=cnt=id=top=0;
    for(int i=1;i<=n;i++)
        for(int j=1;j<=n;j++)
            mp[i][j]=0;
    for(int i=1;i<=n;i++)
        can[i]=dfn[i]=0,head[i]=-1;
}
inline void add(int u,int v)
{
    g[cnt].from=u; g[cnt].to=v; g[cnt].use=0; g[cnt].nxt=head[u]; head[u]=cnt++;
}
inline bool dfs(int u)
{
    int v;
    for(int i=head[u];~i;i=g[i].nxt)
    {
        v=g[i].to;
        if(bcc[v])
        {
            if(color[v]==-1)
            {
                color[v]=(color[u]^1);
                return dfs(v);
            }
            else if(color[u]==color[v]) return 1;
        }
    }
    return 0;
}
inline void check(int x)
{
    int i;
    for(i=1;i<=n;i++) bcc[i]=0;
    do
    {
        i=sta[top--];
        bcc[g[i].from]=1;
        bcc[g[i].to]=1;
    }while(g[i].from!=x);
    for(i=1;i<=n;i++) color[i]=-1;
    color[x]=0;
    if(dfs(x))
    {
        for(i=1;i<=n;i++)
            if(bcc[i]) can[i]=1;
    }
}
inline void tarjan(int u)
{
    int v;
    dfn[u]=low[u]=++id;
    for(int i=head[u];~i;i=g[i].nxt)
    {
        v=g[i].to;
        if(g[i].use) continue;
        g[i].use=g[i^1].use=1;
        sta[++top]=i;
        if(!dfn[v])
        {
            tarjan(v);
            low[u]=min(low[u],low[v]);
            if(low[v]>=dfn[u]) check(u);
        }
        else
            low[u]=min(low[u],dfn[v]);
    }
}
int main()
{
    int u,v;
    while(~scanf("%d%d",&n,&m)&&(n||m))
    {
        Init();
        while(m--)
        {
            u=Read(); v=Read();//scanf("%d%d",&u,&v);
            mp[u][v]=mp[v][u]=1;
        }
        for(u=1;u<=n;u++)
            for(v=u+1;v<=n;v++)
                if(!mp[u][v])
                    add(u,v),add(v,u);
        for(int i=1;i<=n;i++)
            if(!dfn[i]) tarjan(i);
        for(int i=1;i<=n;i++) if(!can[i]) ans++;
        //printf("%d\n",ans);
        Write(ans); putchar('\n');
    }
    return 0;
}