BZOJ 2438 中山市选2011 杀人游戏 Tarjan

标签：bzoj   bzoj2438   tarjan   

题目大意：有n个人，其中一个是杀手，可以询问一些人，如果是杀手就会死，如果是平民，他会告诉你他认识的人中有谁是杀手有谁是平民

警告：数据有误，请谨慎提交！

易知如果我需要访问x个人，那么答案就是1-x/n 我们需要访问最少的人

如果我访问的人是平民，那么这个点所有的后继我都能知道

于是Tarjan缩点之后入度为零的点就是答案

但是还有一个问题 比如说这组样例

3 1

1 2

我访问了1，那么1和2是不是凶手我就都知道了

既然只有三个人，我知道1和2是不是凶手，那么3也一定知道 没必要去访问3

于是如果出现单点的话 ans还要-1

此题到此为止 如果数据没问题这里可以AC了 但是这样写交上去是WA的 为什么呢？ 因为数据出错了

判断单点的条件是某个强连通分量入度和出度都为0且size为1 但是出题人忘记了判断出度为0 导致数据错误

于是我们把出度为0这个条件注释掉才能AC 即便过不去样例

无视网上那些乱改的标程吧……1 0这组数据居然能输出0我也是醉了

#include <cstdio>
#include <cstring>
#include <iomanip>
#include <iostream>
#include <algorithm>
#define M 100100
using namespace std;
struct abcd{
	int to,next;
}table[300300];
int head[M],tot;
int n,m,ans;
int dpt[M],low[M],T,belong[M],size[M],into[M],out_of[M],cnt,stack[M],top;
bool v[M],flag;
void Add(int x,int y)
{
	table[++tot].to=y;
	table[tot].next=head[x];
	head[x]=tot;
}
void Tarjan(int x)
{
	int i;
	dpt[x]=low[x]=++T;
	stack[++top]=x;
	for(i=head[x];i;i=table[i].next)
	{
		if(v[table[i].to])
			continue;
		if(dpt[table[i].to])
			low[x]=min(low[x],dpt[table[i].to]);
		else
			Tarjan(table[i].to),low[x]=min(low[x],low[table[i].to]);
	}
	if(low[x]==dpt[x])
	{
		int t;++cnt;
		do{
			t=stack[top];
			stack[top--]=0;
			belong[t]=cnt;
			size[cnt]++;
			v[t]=1;
		}while(t!=x);
	}
}
int main()
{
	int i,x,y;
	cin>>n>>m;
	for(i=1;i<=m;i++)
	{
		scanf("%d%d",&x,&y);
		Add(x,y);
	}
	for(i=1;i<=n;i++)
		if(!v[i])
			Tarjan(i);
	for(x=1;x<=n;x++)
		for(i=head[x];i;i=table[i].next)
			if(belong[x]!=belong[table[i].to])
				into[belong[table[i].to]]++,out_of[belong[x]]++;
	for(i=1;i<=cnt;i++)
		if(!into[i])
		{
			if( !flag && size[i]==1/* && !out_of[i] */)
			{
				flag=1;
				continue;
			}
			ans++;
		}
	cout<<fixed<<setprecision(6)<<1.0-(double)ans/n<<endl;
}

BZOJ 2438 中山市选2011 杀人游戏 Tarjan

标签：bzoj   bzoj2438   tarjan   

原文地址：http://blog.csdn.net/popoqqq/article/details/41410549