poj2942 点双联通分量

我们建立原图的补图,每条边代表这两个骑士之间没有仇恨。那么某个骑士在一个奇环中,就可以出席某个会议

然后又两个推论

推论1:能坐在一桌开会的骑士必须要在同一点双联通分量中。

能在一个奇环上就肯定在同一个点双联通分量中。

推论2:点双联通分量中只要存在一个奇环,那么每个点都可以是一个奇环中的。

就是由于一个奇环外的一条链,他在这个奇环上的连接处分割的奇环一边是奇数链一边是偶数,那么无论这条链是奇数还是偶数都可以在一个奇环上了。

这题并不需要点双连通分量后缩点,直接在每个点双联通分量里面找奇环,找到到就把这个点双联通分量里的所有骑士标记为可以开会。

#include<cstdio>
#include<algorithm>
#include<vector>
#define maxl 1010

using namespace std;

int n,m,cnt,dcccnt,top,num,ind,rt;
int a[maxl],ehead[maxl];
int dfn[maxl],low[maxl],s[maxl];
int w[maxl][maxl];
struct ed
{
	int to,nxt;
}e[maxl*maxl*2];
bool cut[maxl];
vector <int> dcc[maxl];
bool flag;
bool in[maxl],ans[maxl];

inline void add(int u,int v)
{
	e[++cnt].to=v;e[cnt].nxt=ehead[u];ehead[u]=cnt;
}

inline void prework()
{
	for(int i=1;i<=n;i++)
	{
		cut[i]=false,dfn[i]=0,low[i]=0;
		ehead[i]=0;
		for(int j=1;j<=n;j++)
			w[i][j]=0;
	}
	for(int i=1;i<=dcccnt;i++)
		dcc[i].clear();
	int u,v;
	for(int i=1;i<=m;i++)
	{
		scanf("%d%d",&u,&v);
		w[u][v]=w[v][u]=1;
	}
	cnt=0;
	for(int i=1;i<=n;i++)
		for(int j=i+1;j<=n;j++)
		if(w[i][j]==0)
		{
			add(i,j);
			add(j,i);
		}
}

inline void tarjan(int u)
{
	dfn[u]=low[u]=++ind;s[++top]=u;
	if(u==rt && ehead[u]==0)
	{
		dcc[++dcccnt].push_back(u);
		return;
	}
	int son=0,v;
	for(int i=ehead[u];i;i=e[i].nxt)
	{
		v=e[i].to;
		if(!dfn[v])
		{
			tarjan(v);
			low[u]=min(low[u],low[v]);
			if(low[v]>=dfn[u])
			{
				son++;
				if(u!=rt || son>1)
					cut[u]=true;
				dcccnt++;
				int d;
				do
				{
					d=s[top--];
					dcc[dcccnt].push_back(d);
				}while(d!=v);
				dcc[dcccnt].push_back(u);
			}
		}
		else
			low[u]=min(low[u],dfn[v]);
	}
}

inline void dfs(int u,int fa,int x)
{
	a[u]=x;int v;
	for(int i=ehead[u];i && !flag;i=e[i].nxt)
	{
		v=e[i].to;
		if(v==fa || !in[v]) continue;
		if(a[v]>0)
		{
			if(a[v]==x)
			{
				flag=true;
				return;
			}
		}else
 			dfs(v,u,x^1);
	}
}

inline void mainwork()
{
	top=0;ind=0;dcccnt=0;
	for(int i=1;i<=n;i++)
	if(!dfn[i])
	{
		rt=i;top=0;
		tarjan(i);
	}
	for(int i=1;i<=n;i++)
		ans[i]=false,in[i]=false;
	int l;
	for(int i=1;i<=dcccnt;i++)
	{
		flag=false;l=dcc[i].size();
		for(int j=0;j<l;j++)
			in[dcc[i][j]]=true,a[dcc[i][j]]=0;
		dfs(dcc[i][0],0,2);
		for(int j=0;j<l;j++)
		{
			if(flag) 
				ans[dcc[i][j]]=true;
			a[dcc[i][j]]=0;
			in[dcc[i][j]]=false;
		}
	}
}

inline void print()
{
	int c=0;
	for(int i=1;i<=n;i++)
	if(!ans[i])
		c++;
	printf("%d\n",c);
}

int main()
{
	while(~scanf("%d%d",&n,&m))
	{
		if(n==0 && m==0) return 0;
		prework();
		mainwork();
		print(); 
	}
	return 0;
}

 

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值