离散题目11

离散题目11

Time Limit: 1000 ms Memory Limit: 65536 KiB

Submit Statistic

Problem Description

给定一个数学函数写一个程序来确定该函数是否是双射的

Input

多组输入。 第一行输入三个整数n,m,k,分别表示集合a中的元素个数，集合b中的元素个数，集合a到b的映射个数。 第二行输入n个数，代表集合a中的元素。 第三行输入m个数，代表集合b中的元素。接下来k行，每行两个数，代表集合a中的元素x和x在集合b中的像y。

Output

每组数据输出一行，若F为a到b的双射，输出"YES"， 否则输出"NO"。

Sample Input

5 5 5
1 2 3 7 8
2 5 6 9 0
1 9
3 2
2 6
7 0
8 5

Sample Output

YES

Hint

保证集合a中元素无重复，集合b中元素无重复，映射关系无重复（如：{,}）

1<=n,m,k<=1000

1<=a[i], b[i]<=10000

x∈a， y∈b 

Source

Stone

这个题要求证明两个集合之间是否是双射，要想满足双射，首先要满足单射，要满足单射就要满足有映射关系，题目中给出了映射，所以我们不用再证明是否映射。证明完单射还要证明是否是满射，同时满足单射和满射的两个集合之间就是双射关系。

具体见代码注释。

AC代码：

#include <bits/stdc++.h>
using namespace std;

int main() {
    int n, m, k, a[11111], b[11111];
    while (cin >> n >> m >> k) {
        memset(a, -1, sizeof(a));//每次输入之后数组要记得初始化
        memset(b, -1, sizeof(b));
        int x, y, num;
        for (int i = 0; i < n; i++) {
            cin >> num;
            a[num] = 0;//输入的数据对应的坐标等于零，关系到是否是满射
        }
        for (int i = 0; i < m; i++) {
            cin >> num;
            b[num] = 0;
        }
        while (k--) {
            cin >> x >> y;
            a[x]++;//对应的像的元素的坐标加加，关系到是否有一对多的关系
            b[y]++;
        }

        int flag = 1;//flag作为是否满射的标准
        for (int i = 1; i <= 10000; i++) {
            if (a[i] > 1) {//如果有a[i]>1的情况，说明是a中有元素一对多，不满足单射关系，跳出循环
                flag = 0;
                break;
            }
        }
        for (int i = 1; i <= 10000; i++) {
            if (b[i] < 1 && b[i] != -1) {//b中元素在a中没有元素对应，不满足满射条件，跳出循环
                flag = 0;
                break;
            }
        }
        if (flag)//输出
            cout << "YES" << endl;
        else
            cout << "NO" << endl;
    }
    return 0;
}