BZOJ 3108: [cqoi2013]图的逆变换-布布扣-bubuko.com

3108: [cqoi2013]图的逆变换

Time Limit: 10 Sec Memory Limit: 128 MB
Submit: 627 Solved: 415
[Submit][Status][Discuss]

Description

给一个n结点m条边的有向图D，可以这样构造图E：给D的每条边u->v，在E中建立一个点uv，然后对于D中的两条边u->v和v->w，在E中从uv向vw连一条有向边。E中不含有其他点和边。

输入E，你的任务是判断是否存在相应的D。注意，D可以有重边和自环。

Input

第一行包含测试数据个数T（T<=10）。每组数据前两行为D的边数（即E的点数）m和E的边数k（0<=m<=300）。以下k行每行两个整数x, y，表示E中有一条有向边x->y。E中的点编号为0~m-1。

Output

对于每组数据输出一行。如果存在，输出Yes，否则输出No。

Sample Input

4
2
1
0 1
5
0
4
3
0 1
2 1
2 3
3
9
0 1
0 2
1 2
1 0
2 0
2 1
0 0
1 1
2 2

Sample Output

Yes
Yes
No
Yes

题解：不存在的情况为：有x->y ; z->y ; 则他们的终点相同，则在有 x->k 却没有 z->k（或则有z->k却没有x->k）这种情况是不存在的；

参考代码：

#include<bits/stdc++.h>
using namespace std;
#define clr(a,b) memset(a,b,sizeof a)
typedef long long ll;
const int base=310;
int T,m,k,u,v,mp[310][310];
bool solve()
{
	for(int i=1;i<=m;++i)
	{
		for(int j=i+1;j<=m;++j)
		{
			int f1=0,f2=0;
			for(int k=1;k<=m;++k)
			{
				if(mp[i][k]&&mp[j][k]) f1=1;
				if(mp[i][k]^mp[j][k]) f2=1;
				if(f1&&f2) return false;
			} 
		}
	}
	return true;
}
int main()
{
	scanf("%d",&T);
	while(T--)
	{
		clr(mp,0);
		scanf("%d%d",&m,&k);
		for(int i=1;i<=k;++i)
		{
			scanf("%d%d",&u,&v);
			mp[++u][++v]=1;
		}
		if(solve()) printf("Yes\n");
		else printf("No\n");
	}
	
	return 0;
}

BZOJ 3108: [cqoi2013]图的逆变换

原文：https://www.cnblogs.com/songorz/p/9937453.html