문제
Due to the disorganized structure of his mootels (much like motels but with bovine rather than human guests), Farmer John has decided to take up the role of the mootel custodian to restore order to the stalls.
Each mootel has stalls labeled through () and () corridors that connect pairs of stalls to each other bidirectionally. The th stall is painted with color and initially has a single key of color in it. FJ will have to rearrange the keys to appease the cows and restore order to the stalls.
FJ starts out in stall without holding any keys and is allowed to repeatedly do one of the following moves: Pick up a key in the stall he is currently in. FJ can hold multiple keys at a time. Place down a key he is holding into the stall he is currently in. A stall may hold multiple keys at a time. Enter stall by moving through a corridor. Enter a stall other than stall by moving through a corridor. He can only do this if he currently holds a key that is the same color as the stall he is entering.
Unfortunately, it seems that the keys are not in their intended locations. To restore order to FJ's mootel, the th stall requires that a single key of color is in it. It is guaranteed that is a permutation of .
For different mootels (), FJ starts in stall and needs to place every key in its appropriate location, ending back in stall . For each of the mootels, please answer if it is possible to do this.
입력
The first line contains , the number of mootels (test cases).
Each test case will be preceded by a blank line. Then, the first line of each test case contains two integers and .
The second line of each test case contains integers. The -th integer on this line, , means that stall has color ().
The third line of each test case contains integers. The -th integer on this line, , means that stall initially holds a key of color ().
The fourth line of each test case contains integers. The -th integer on this line, , means that stall needs to have a key of color in it ().
The next lines of each test case follow. The -th of these lines contains two distinct integers, and (). This represents that a corridor exists between stalls and . No corridors are repeated.
The sum of over all mootels will not exceed , and the sum of over all mootels will not exceed .
출력
For each mootel, output YES on a new line if there exists a way for FJ to return a key of color to each stall and end back in stall . Otherwise, output NO on a new line.
예제 입력 1
2
5 5
4 3 2 4 3
3 4 3 4 2
2 3 4 4 3
1 2
2 3
3 1
4 1
4 5
4 3
3 2 4 1
2 3 4 4
4 2 3 4
4 2
4 1
4 3
예제 출력 1
YES
NO
예제 입력 2
5
2 0
1 2
2 2
2 2
2 1
1 1
2 1
2 1
1 2
2 1
1 1
2 1
1 2
1 2
2 1
1 1
1 2
2 1
1 2
5 4
1 2 3 4 4
2 3 5 4 2
5 3 2 4 2
1 2
1 3
1 4
4 5
예제 출력 2
YES
YES
NO
YES
NO
점수
Test cases 3-6 satisfy .Test cases 7-10 satisfy .Test cases 11-18 satisfy no additional constraints.
코드를 제출하려면 로그인이 필요합니다.
로그인