链接: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;
}