离散题目10

Time Limit: 1000 ms Memory Limit: 65536 KiB

Problem Description

给定一个数学函数F和两个集合A,B,写一个程序来确定函数是满射。 如果每个可能的像至少有一个变量映射其上(即像集合B中的每个元素在A中都有一个或一个以上的原像),或者说值域任何元素都有至少有一个变量与之对应,那这个映射就叫做满射。

Input

多组输入直到文件结束,对于每组输入,第一行先输入一个n(A集合里的元素个数),m(B集合里的元素个数),k(F数学函数关系的条数)。        

 0 < n,m < 10000, 0 < k < n;        

 第二行输入有n个元素,分别为a1到an;        

 第三行输入有m个元素,分别为b1到bn;          

接下来输入有k行,分别为集合A到B的关系 

Output

(一组答案占一行)  

当满足满射关系时输出Yes。  

不满足关系时输出No。 

Sample Input

5 3 5
1 3 5 7 8 
2 5 6 
1 2 
3 6 
5 5 
7 2 
8 6 

Sample Output

Yes

Hint

Source

Kirito