SPOJ 2878 KNIGHTS - Knights of the Round Table 题解

题目传送门

题目大意： 有 $n$ 个人，其中 $k$ 个人能进行一次会议当且仅当：k是奇数，这k个人坐一圈能满足任意相邻两人不相互憎恶。问有多少个人不能参加任何一场会议。

题解

我们给不相互憎恶的人之间连边，那么图中的一个奇环（即有奇数个点的环）就对应一次会议，那么我们可以给这个环上的所有人打上标记，那么最后没有标记的人数就是答案。

但是暴力找奇环显然会TLE，于是这里要用到一个结论：假如一个点双内有一个奇环，那么一定存在若干个奇环能覆盖这个点双内的所有点。

证明： 显然，奇环内不光点数是奇数，边数也是奇数。假如一个点双里面存在一个奇环：

那么和这个奇环的连接方式无非两种（显然所有连接方式都可以拆解成这最简单的两种）：

1、 有奇数个点的链与它连接

这里用 $1$ 个点作例子：

我们发现这个点显然与左边的几个点组成了一个大小为 $5$ 的奇环。

2、 有偶数个点的链与它连接

这里用 $2$ 个点做例子：

显然，这两个红色点和右边的三个黑色点组成了一个大小为 $5$ 的奇环。

那么各位应该能找到一个规律：对于一条长度为 $x$ 的链，它与奇环中的 $a,b$ 两点相连，而在奇环上 $a,b$ 之间恰好存在一条长度为奇数的路径和一条长度为偶数的路径，假如 $x$ 是偶数，那么和长度为奇数的路径组合即可得到奇环，否则与长度为偶数的组合。

所以我们可以得出，如果点双中存在了一个奇环，那么一定存在若干个奇环能覆盖点双内的所有点。

那么找出所有点双后黑白染色找奇环即可。

代码：

#include <cstdio>
#include <cstring>
#include <set>
#include <algorithm>
using namespace std;
#define maxn 1010
#define it set<int>::iterator

int n,m;
bool link[maxn][maxn];
struct edge{int x,y,next;};
edge e[(maxn*maxn)<<1];
int first[maxn],len=1;
void buildroad(int x,int y)
{
	e[++len]=(edge){x,y,first[x]};
	first[x]=len;
}
int dfn[maxn],low[maxn],id,t;
edge zhan[(maxn*maxn)<<1];
int belong[maxn],cnt;
bool cut[maxn];
set<int> s[maxn];
void dfs(int x,int from)
{
	dfn[x]=low[x]=++id; int son=0;
	for(int i=first[x];i;i=e[i].next)
	{
		if(i==(from^1))continue;
		int y=e[i].y;
		if(!dfn[y])
		{
			zhan[++t]=e[i]; dfs(y,i); son++;
			if(low[y]<low[x])low[x]=low[y];
			if(low[y]>=dfn[x])
			{
				cnt++; edge xx; cut[x]=true;
				do{
					xx=zhan[t--];
					belong[xx.x]=belong[xx.y]=cnt;
					s[cnt].insert(xx.x);s[cnt].insert(xx.y);
				}while(xx.x!=x||xx.y!=y);
			}
		}
		else if(dfn[y]<low[x])low[x]=dfn[y];
	}
	if(from==-1&&son==1)cut[x]=false;
}
int col[maxn];
bool go(int x,int fa,int color,int bel)
{
	col[x]=color;
	for(int i=first[x];i;i=e[i].next)
	{
		int y=e[i].y;
		if(y==fa||s[bel].count(y)==0)continue;
		if(col[y])
		{
			if(col[y]==col[x])return true;
			else continue;
		}
		if(go(y,x,color^1,bel))return true;
	}
	return false;
}
bool tf[maxn],tag[maxn];
int ans;

int main()
{
	while(scanf("%d %d",&n,&m),n!=0&&m!=0)
	{
		memset(first,0,sizeof(first));len=1;
		memset(link,false,sizeof(link));
		memset(dfn,0,sizeof(dfn));
		memset(low,0,sizeof(low));id=t=cnt=ans=0;
		memset(col,0,sizeof(col));
		memset(cut,false,sizeof(cut));
		memset(tf,false,sizeof(tf));
		memset(tag,false,sizeof(tag));
		for(int i=1;i<=n;i++)
		s[i].clear();
		
		for(int i=1,x,y;i<=m;i++)
		scanf("%d %d",&x,&y),link[x][y]=link[y][x]=true;
		for(int i=1;i<=n;i++)
		for(int j=1;j<=n;j++)
		if(i!=j&&!link[i][j])buildroad(i,j),buildroad(j,i);
		/*for(int i=1,x,y;i<=m;i++)
		scanf("%d %d",&x,&y),buildroad(x,y),buildroad(y,x);*/
		
		for(int i=1;i<=n;i++)
		if(!dfn[i])dfs(i,-1);
		
		for(int i=1;i<=n;i++)
		if(!col[i]&&!cut[i]&&!tag[belong[i]])
		{
			for(it j=s[belong[i]].begin();j!=s[belong[i]].end();j++)col[*j]=0;
			if(go(i,0,2,belong[i]))tag[belong[i]]=true;
		}
		
		for(int i=1;i<=cnt;i++)
		if(tag[i]) for(it j=s[i].begin();j!=s[i].end();j++)tf[*j]=true;
		for(int i=1;i<=n;i++)
		if(!tf[i])ans++;
		printf("%d\n",ans);
	}
}