만드는 중입니다

아직 만드는 중이라 바뀔 수 있습니다

왕의 문제

시간 제한3초메모리 제한1024 MB

요약
간선 가중치의 XOR을 이용하는 방향 그래프에서 a에서 b까지 모든 경로 XOR 값의 XOR을 구하거나, 무한히 많을 때 -1을 출력합니다.
난이도

어려움10점 중 8점

유형
그래프, 비트 연산, 수학, 유니온 파인드
정답자
아직 제출이 없습니다

문제

얼마 전 베를란디아에 새로운 도로망이 건설되었다. 일부 도시 쌍 사이에는 일방통행 도로가 있고, ii번째 도로는 도시 uiu_i에서 도시 viv_i로 향하며 길이는 wiw_i이다. 베를란디아의 두 주요 도시는 번호가 aa와 bb이다.

베를란디아의 왕은 자기 나라를 매우 사랑해서 나라의 여러 특성을 계산하는 것을 좋아한다. 그는 경로에 있는 모든 도로 길이의 비트 XOR을 그 경로의 아름다움이라고 부른다. 그리고 도시 aa에서 도시 bb로 가는 모든 경로의 아름다움에 대한 비트 XOR을 나라의 아름다움이라고 부른다. 이러한 경로는 무한히 많을 수 있고, 같은 도시를 여러 번 지나갈 수도 있다는 점에 유의하라.

왕은 나라의 아름다움을 알고 싶어 한다. 계산할 수 있으면 그 값을 구하고, 계산할 수 없으면 그렇다고 보고하라.

집합의 비트 XOR은 집합에 있는 0이 아닌 모든 수의 비트 XOR이다. 0이 아닌 수가 무한히 많으면 그 비트 XOR은 계산할 수 없다.

비트 XOR(비트 단위 배타적 논리합)은 같은 자리에 있는 두 비트 쌍마다 논리 배타적 논리합을 적용하는 이항 연산이다. 대응하는 비트가 다르면 결과 비트는 1이고, 같으면 0이다. 예를 들어 x=10910=11011012x = 109_{10} = 1101101_2, y=4110=1010012y = 41_{10} = 101001_2이면 x⊕y=10001002=6810x \oplus y = 1000100_2 = 68_{10}이다.

그래프에서 경로란, 연속한 두 정점이 간선으로 연결되어 있는 정점들의 나열이다.

입력

첫 줄에 테스트 케이스의 개수 tt (1≤t≤40 0001 \le t \le 40\,000)가 주어진다.

각 테스트 케이스의 첫 줄에는 도시의 개수 nn과 도로의 개수 mm (1≤n,m≤200 0001 \le n, m \le 200\,000)이 주어진다.

다음 mm개 줄에는 세 정수 uiu_i, viv_i, wiw_i (1≤ui,vi≤n1 \le u_i, v_i \le n, 0≤wi≤230−10 \le w_i \le 2^{30}-1)가 주어진다. 이는 ii번째 도로의 시작 도시, 끝 도시, 길이이다.

각 테스트 케이스의 마지막 줄에는 왕이 관심을 두는 경로의 시작 도시 aa와 끝 도시 bb (1≤a,b≤n1 \le a, b \le n)가 주어진다.

모든 테스트 케이스에 대해 nn의 합은 200 000200\,000을 넘지 않고, mm의 합도 200 000200\,000을 넘지 않는다.

출력

각 테스트 케이스마다 베를란디아의 아름다움을 정수 하나로 출력하라. 답이 존재하지 않으면 −1-1을 출력하라.

힌트

첫 번째 테스트 케이스에는 길이가 00인 도로가 하나뿐이므로 어떤 경로의 아름다움도 00이다. 따라서 모든 경로 아름다움의 비트 XOR도 00이다.

두 번째 테스트 케이스에서 도시 1에서 도시 3으로 가는 경로는 6개이며, 아름다움은 0⊕5=50 \oplus 5 = 5, 0⊕2=20 \oplus 2 = 2, 1⊕5=41 \oplus 5 = 4, 1⊕2=31 \oplus 2 = 3, 3⊕5=63 \oplus 5 = 6, 3⊕2=13 \oplus 2 = 1이다. 따라서 나라의 아름다움은 5⊕2⊕4⊕3⊕6⊕1=75 \oplus 2 \oplus 4 \oplus 3 \oplus 6 \oplus 1 = 7이다.

세 번째 테스트 케이스에서 도시 1에서 도시 2로 가는 경로의 아름다움은 11, 1⊕2⊕1=21 \oplus 2 \oplus 1 = 2, 1⊕2⊕1⊕2⊕1=11 \oplus 2 \oplus 1 \oplus 2 \oplus 1 = 1, 22 등으로 이어진다. 아름다움이 0이 아닌 경로가 무한히 많으므로 답은 계산할 수 없다.

네 번째 테스트 케이스에서 도시 2에서 도시 3으로 가는 아름다움이 00인 경로는 무한히 많고, 아름다움이 0이 아닌 경로는 하나도 없다. 따라서 나라의 아름다움은 00이다.

예제1

  1. 예제 1

    입력
    5
    1 1
    1 1 0
    1 1
    3 5
    1 2 0
    1 2 1
    1 2 3
    2 3 5
    2 3 2
    1 3
    2 2
    1 2 1
    2 1 2
    1 2
    3 3
    1 2 7
    2 3 0
    3 1 7
    2 3
    4 5
    1 1 0
    1 2 3
    2 2 0
    2 3 1
    3 4 1
    1 4
    
    예상 출력
    0
    7
    -1
    0
    -1