bzoj 3373: [Usaco2004 Mar]Lying Livestock 说谎的牲畜

3373: [Usaco2004 Mar]Lying Livestock 说谎的牲畜

Time Limit: 10 Sec   Memory Limit: 128 MB
Submit: 152   Solved: 65
[ Submit][ Status][ Discuss]

Description

兽群中总是有一些麻烦制造者．约翰知道他的N(1≤N≤100)头奶牛中有一头总是说谎，其他的总是说真话．他想快速的找出这个麻烦制造者．为了实现这个目标，他一个一个的问这些奶牛Q(1≤Q≤1000)个关于它们吃草的简单问题（虽然大多数奶牛是诚实的但它们依旧很笨只能懂得一些关于食物的话题）．

他将这些问题用以下的格式写了下来：

牛4说：牛5比牛10吃得多

牛6说：牛10比牛7吃得多

牛3说：牛2比牛6吃得多

牛1说：牛7比牛5吃得多

从这个例子中不难看出说谎的奶牛只有可能是4，6，1．你的任务是确定可能说谎的奶牛的个

数．可能说谎的奶牛是指如果这头奶牛说谎则输入数据中不存在矛盾．

Input

第1行：两个用空格分开的整数N和Q.第2到Q+1:每一行描述一个问题，由3个用空格隔开的整数A，B，C表示，意思是A说B牛吃的比C牛多．一头奶牛可能回答多次．

Output

仅一行一个整数即可能说谎的奶牛的头数．

Sample Input

3 4

3 1 2

1 3 1

1 3 2

2 2 1

Sample Output

2

退化的差分约束问题

暴力每一头牛，判断它是否可能说谎

方法：对于当前牛x，如果某句“A吃的比B多”不是牛x说的，那么A到B连一条有向边

如果某句“A吃的比B多”是牛x说的，那么B到A连一条有向边

最后如果有向图不存在环，则说明该牛x可能说谎，ans++

#include<stdio.h>
#include<algorithm>
#include<vector>
#include<string.h>
using namespace std;
typedef struct
{
	int x;
	int y;
}Road;
Road now;
vector<Road> G[105], GV[105];
int vis[105], ok;
void Sech(int x, int u)
{
	int i, v;
	vis[u] = 1;
	for(i=0;i<G[u].size();i++)
	{
		v = G[u][i].y;
		if(G[u][i].x==x || vis[v]==2)
			continue;
		if(vis[v]==1)
		{
			ok = 0;
			continue;
		}
		Sech(x, v);
	}
	for(i=0;i<GV[u].size();i++)
	{
		v = GV[u][i].y;
		if(GV[u][i].x!=x || vis[v]==2)
			continue;
		if(vis[v]==1)
		{
			ok = 0;
			continue;
		}
		Sech(x, v);
	}
	vis[u] = 2;
}
int main(void)
{
	int n, i, j, m, x, y, z, ans;
	scanf("%d%d", &n, &m);
	for(i=1;i<=m;i++)
	{
		scanf("%d%d%d", &x, &y, &z);
		now.x = x, now.y = z;
		G[y].push_back(now);
		now.y = y;
		GV[z].push_back(now);
	}
	ans = 0;
	for(i=1;i<=n;i++)
	{
		ok = 1;
		memset(vis, 0, sizeof(vis));
		for(j=1;j<=n;j++)
		{
			if(vis[j]==0)
				Sech(i, j);
		}
		if(ok)
			ans++;
	}
	printf("%d\n", ans);
	return 0;
}