poj Knights of the Round Table 点双连通分量

题意：

有n个骑士，要去参加人数为奇数且大于1的圆桌会议，有的骑士不能坐在一起，现在要处死一些骑士，使得剩下的骑士都有圆桌会议可以参加，注意不是要剩下的骑士一起去开会，只要有能参加会议的可能就好。

分析：

求补图后每条边连的是可以参加会议的骑士。对补图求点双连通分量，求的的每个点双连通分量中都没有割点，此时若这个点双连通分量中含有奇圈Q，则其中任何一点v都可以找到一个奇圈,因为如果v在Q上，那Q为所求，如果v不在Q上，那么根据点强连通分量的性质，v肯定可以走出两条没有公共点的路连到Q上，把Q分为一奇一偶两部分，总可以构造出一个包含v的奇圈。

代码：

//poj 2942
//sepNINE
#include <iostream>
#include <vector>
#include <stack>
#include <queue>
using namespace std;
const int maxN=1024;
vector<int> edge[maxN];
vector<vector<int> > connect;
stack<int> s;
int n,m,t,cnt;
int g[maxN][maxN];
int dfn[maxN],low[maxN],list[maxN];
int save[maxN],color[maxN];
void biconnect(int v)
{
	s.push(v);
	dfn[v]=low[v]=++t;
	int i,succ;
	for(i=edge[v].size()-1;i>=0;--i){
		succ=edge[v][i];
		if(!dfn[succ]){
			biconnect(succ);
			if(low[succ]>=dfn[v]){
				++cnt;	
				int k,len=0;
				do{
					k=s.top();
					s.pop();
					list[len++]=k;
				}while(k!=succ);
				list[len++]=v;
				vector<int> tmp(list,list+len);
				connect.push_back(tmp);
			}
			low[v]=min(low[v],low[succ]);
		}else 
			low[v]=min(low[v],dfn[succ]);
	}
}

int meeting(int index)
{
	memset(color,-1,sizeof(color));	
	vector<int> people=connect[index];
	queue<int> Q;
	color[people[0]]=1;
	Q.push(people[0]);
	while(!Q.empty()){
		int u=Q.front();
		Q.pop();
		for(int j=0;j<people.size();++j){
			int v=people[j];
			if(u!=v&&g[u][v]==0){
				if(color[v]==-1){
					color[v]=1-color[u];
					Q.push(v);	
				}
				else if(color[v]==color[u])
					return 1;
			}
		}
	}
	return 0;
}
int main()
{
	int i,j,a,b;
	while(scanf("%d%d",&n,&m)==2&&n){
		memset(g,0,sizeof(g));
		memset(dfn,0,sizeof(dfn));
		for(i=1;i<=n;++i) edge[i].clear();
		connect.clear();
		while(!s.empty()) s.pop();
		while(m--){
			scanf("%d%d",&a,&b);	
			g[a][b]=g[b][a]=1;
		}	
			
		for(i=1;i<=n;++i)
			for(j=1;j<=n;++j)
				if(j!=i&&g[i][j]==0)
					edge[i].push_back(j);			

		t=cnt=0;
		for(i=1;i<=n;++i)
			if(!dfn[i])
				biconnect(i);
		memset(save,0,sizeof(save));
		for(i=connect.size()-1;i>=0;--i)
			if(connect[i].size()>2&&meeting(i))
				for(j=connect[i].size()-1;j>=0;--j)
					save[connect[i][j]]=1;
		int ans=0;
		for(i=1;i<=n;++i) if(save[i]==0) ++ans;
		printf("%d\n",ans);	
	}	
	return 0;	
}