1019 集合论与图论

1019 集合论与图论

 

时间限制: 1 s

空间限制: 128000 KB

题目等级 : 黄金 Gold

 

 

 

 

题目描述 Description

       集合论与图论对于小松来说是比数字逻辑轻松，比数据结构难的一门专业必修课。虽然小松在高中的时候已经自学过了离散数学中的图论，组合，群论等知识。但对于集合论，小松还是比较陌生的。集合论的好多东西也涉及到了图论的知识。

 

       在第四讲的学习中，小松学到了“有序对”这么一个概念，即用<x, y>表示有序对x和y。要注意的是有序对<x, y>不等于有序对<y, x>。对于一个有序对集合R={<x,y>, <y, z>, <x,  z>，……}，我们说R是传递的，当且仅当他满足下面的性质：

 

红色字体用直观的语言描述是：如果存在<x, y>∈R，<y, z>∈R，那么一定存在<x, z>∈R。

 

       这里集合R可以对应到一个有向图G，有序对<x ,y>对应到了G中的一条有向边。 你现在的任务是，对于任意给定的一个简单有向图G（同一有向边不出现两次），判断G是否具有传递性。

 

输入描述 Input Description

       输入文件set.in第一行包含测试数据的个数T(1<=T<=10)。接下来T组测试数据，每组测试数据第一行包含两个个整数n和m（1<=n<=1000, n<=m<=100000），表示G中元素个数和有向边的个数，接下来的m行每行2个整数x, y（1<=x,y<=n）表示x与y之间有一条有向边连接。

输出描述 Output Description

       对于每组数据，如果G是传递的，你需要向输出文件set.out输出一行”Yes”, 否则输出一行”No”。

样例输入 Sample Input

2

3 3

1 2

1 3

2 3

4 5

1 2

1 3

1 4

2 3

3 4

样例输出 Sample Output

Yes

No

数据范围及提示 Data Size & Hint

有30%满足1<=n<=100, 1<=m<=10000;

有100%的数据满足1<=n<=1000, 1<=m<=100000;

分类标签 Tags 点此展开

 

条件的话题目已经已经说得很清楚了，就是x，y，z之间的关系，而xyz又恰好是三个字母，这样我们用Flyod就可以完美解决了

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
const int MAXN=1001;
const int maxn=0x7fffffff;
int map[MAXN][MAXN];
int vis[100001];
int x,y,z;
int main()
{
    int t;
    scanf("%d",&t);
    while(t--)
    {
        memset(map,0,sizeof(map));
        int n,m;
        scanf("%d%d",&n,&m);
        /*for(int i=1;i<=n;i++)
        for(int j=1;j<=n;j++)
            map[i][j]=maxn;
        for(int i=1;i<=n;i++)
        map[i][i]=0;*/
        for(int i=1;i<=m;i++)
        {
            scanf("%d%d",&x,&y);
            map[x][y]=1;
        }
        int flag=0;
        for(int x=1;x<=n;x++)
        {
            for(int y=1;y<=n;y++)
            {
                if(map[x][y]==1)
                for(int z=1;z<=n;z++)
                {
                    /*if(map[i][j]||(map[i][k]&&map[k][j]))
                    vis[i]=vis[j]=1;*/
                    if(map[y][z]==1)
                    {
                        if(map[x][z]==0)
                        {
                            flag=1;
                            break;
                        }
                    }
                }
            }
        }
        /*for(int i=1;i<=n;i++)
        {
            if(vis[i]==0)
            {
                flag=1;
                break;
            }
        }*/
        if(flag==1)
        {
            printf("No\n");
        }
        else
        {
            printf("Yes\n");
        }
    }
    return 0;
}