BZOJ 3108: [cqoi2013]图的逆变换

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=;
 int T,m,k,u,v,mp[][];
 bool solve()
 {
     for(int i=;i<=m;++i)
     {
         for(int j=i+;j<=m;++j)
         {
             int f1=,f2=;
             for(int k=;k<=m;++k)
             {
                 if(mp[i][k]&&mp[j][k]) f1=;
                 if(mp[i][k]^mp[j][k]) f2=;
                 if(f1&&f2) return false;
             }
         }
     }
     return true;
 }
 int main()
 {
     scanf("%d",&T);
     while(T--)
     {
         clr(mp,);
         scanf("%d%d",&m,&k);
         for(int i=;i<=k;++i)
         {
             scanf("%d%d",&u,&v);
             mp[++u][++v]=;
         }
         if(solve()) printf("Yes\n");
         else printf("No\n");
     }

     return ;
 }