QOJ.ac

QOJ

Time Limit: 2.0 s Memory Limit: 1024 MB Total points: 100 Hackable ✓

#14504. Wyzwanie izomorfizmu grafów

Statistics

Podczas badania problemu izomorfizmu grafów, Pog napotkał pewne trudności. Jak wiadomo, izomorfizm grafów jest słynnym problemem w teorii złożoności obliczeniowej, którego dokładna złożoność nie została do tej pory w pełni określona. W związku z tym Pog postanowił zmodyfikować definicję problemu izomorfizmu grafów.

Najpierw, w ważonym grafie nieskierowanym $G$, definiujemy wagę ścieżki $u \to x_1 \to \dots \to x_k \to v$ jako wartość maksymalną spośród wag wszystkich krawędzi na tej ścieżce.

Następnie definiujemy odległość $\text{dis}_{G,u,v}$ między dwoma różnymi wierzchołkami $u, v$ ($u \neq v$) w grafie $G$ jako minimalną wartość spośród wag wszystkich ścieżek łączących $u$ z $v$. Jeśli $u$ i $v$ nie są połączone (tzn. nie istnieje ścieżka z $u$ do $v$), przyjmujemy $\text{dis}_{G,u,v} = +\infty$.

Definiujemy dwa grafy $G_1$ i $G_2$ o $n$ wierzchołkach ponumerowanych od $1, 2, \dots, n$ jako izomorficzne wtedy i tylko wtedy, gdy dla wszystkich $u, v$ ($1 \le u, v \le n, u \neq v$) zachodzi $\text{dis}_{G_1,u,v} = \text{dis}_{G_2,u,v}$. Należy zauważyć, że ta definicja różni się od standardowego rozumienia izomorfizmu, ponieważ nie zezwala na zmianę numeracji wierzchołków.

Teraz pomóż Pogowi ustalić, czy podane dwa grafy są izomorficzne zgodnie z tą nową definicją.

Wejście

Zadanie zawiera wiele zestawów danych. Pierwsza linia zawiera liczbę całkowitą $T$ ($1 \le T \le 10^4$), oznaczającą liczbę zestawów danych.

Dla każdego zestawu danych: Pierwsza linia zawiera trzy liczby całkowite $n, m_1, m_2$ ($1 \le n \le 10^5, 1 \le m_1, m_2 \le 2 \times 10^5$), oznaczające liczbę wierzchołków oraz liczbę krawędzi w grafach $G_1$ i $G_2$.

Następnie $m_1$ linii, każda zawiera trzy liczby całkowite $u, v, w$ ($1 \le u, v \le n, 1 \le w \le 10^9$), opisujące krawędź w grafie $G_1$.

Następnie $m_2$ linii, każda zawiera trzy liczby całkowite $u, v, w$ ($1 \le u, v \le n, 1 \le w \le 10^9$), opisujące krawędź w grafie $G_2$.

Gwarantuje się, że suma $n$ dla wszystkich zestawów danych nie przekracza $10^5$, a sumy $m_1$ oraz $m_2$ nie przekraczają $2 \times 10^5$. Uwaga: grafy mogą zawierać krawędzie wielokrotne, pętle własne oraz mogą być niespójne.

Wyjście

Dla każdego zestawu danych: Wypisz w jednej linii ciąg znaków: jeśli grafy są izomorficzne, wypisz YES, w przeciwnym razie wypisz NO (wielkość liter nie ma znaczenia).

Przykład

Wejście 1

3
2 1 1
1 2 1
1 2 2
2 1 1
1 2 1
1 2 1
3 3 3
1 2 1
1 3 1
2 3 2
1 2 1
1 3 2
2 3 1

Wyjście 1

NO
YES
YES

Discussions

About Discussions

The discussion section is only for posting: General Discussions (problem-solving strategies, alternative approaches), and Off-topic conversations.

This is NOT for reporting issues! If you want to report bugs or errors, please use the Issues section below.

Open Discussions 0
No discussions in this category.

Issues

About Issues

If you find any issues with the problem (statement, scoring, time/memory limits, test cases, etc.), you may submit an issue here. A problem moderator will review your issue.

Guidelines:

  1. This is not a place to publish discussions, editorials, or requests to debug your code. Issues are only visible to you and problem moderators.
  2. Do not submit duplicated issues.
  3. Issues must be filed in English or Chinese only.
Active Issues 0
No issues in this category.
Closed/Resolved Issues 0
No issues in this category.