{"trustable":true,"prependHtml":"\u003cstyle type\u003d\u0027text/css\u0027\u003e\n .input, .output {\n border: 1px solid #888888;\n }\n .output {\n margin-bottom: 1em;\n position: relative;\n top: -1px;\n }\n .output pre, .input pre {\n background-color: #EFEFEF;\n line-height: 1.25em;\n margin: 0;\n padding: 0.25em;\n }\n \u003c/style\u003e\n \u003clink rel\u003d\"stylesheet\" href\u003d\"//codeforces.org/s/96598/css/problem-statement.css\" type\u003d\"text/css\" /\u003e\u003cscript\u003e window.katexOptions \u003d { disable: true }; \u003c/script\u003e\n\u003cscript type\u003d\"text/x-mathjax-config\"\u003e\n MathJax.Hub.Config({\n tex2jax: {\n inlineMath: [[\u0027$$$\u0027,\u0027$$$\u0027], [\u0027$\u0027,\u0027$\u0027]],\n displayMath: [[\u0027$$$$$$\u0027,\u0027$$$$$$\u0027], [\u0027$$\u0027,\u0027$$\u0027]]\n }\n });\n\u003c/script\u003e\n\u003cscript type\u003d\"text/javascript\" async src\u003d\"https://mathjax.codeforces.org/MathJax.js?config\u003dTeX-AMS_HTML-full\"\u003e\u003c/script\u003e","sections":[{"title":"","value":{"format":"HTML","content":"\u003cp\u003eEl algoritmo de \u003ca href\u003d\"https://es.wikipedia.org/wiki/B%C3%BAsqueda_en_anchura\"\u003eBFS\u003c/a\u003e se define de la siguiente manera.\u003c/p\u003e\u003col\u003e \u003cli\u003e Considera un grafo no dirigido con vértices numerados de $$$1$$$ a $$$n$$$. Inicializa $$$q$$$ como una nueva \u003ca href\u003d\"http://gg.gg/queue_es\"\u003ecola\u003c/a\u003e que contiene solo el vértice $$$1$$$, marca el vértice $$$1$$$ como usado. \u003c/li\u003e\u003cli\u003e Extrae un vértice $$$v$$$ de la cabeza de la cola $$$q$$$. \u003c/li\u003e\u003cli\u003e Imprime el índice del vértice $$$v$$$. \u003c/li\u003e\u003cli\u003e Itera en un orden arbitrario a través de todos los vértices $$$u$$$ tal que $$$u$$$ sea un vecino de $$$v$$$ y aún no esté marcado como usado. Marca el vértice $$$u$$$ como usado e insértalo en la cola $$$q$$$. \u003c/li\u003e\u003cli\u003e Si la cola no está vacía, continúa desde el paso \u003cspan class\u003d\"tex-font-style-tt\"\u003e2\u003c/span\u003e. \u003c/li\u003e\u003cli\u003e De lo contrario, termina. \u003c/li\u003e\u003c/ol\u003e\u003cp\u003eDado que el orden de elección de vecinos de cada vértice puede variar, resulta que puede haber múltiples secuencias que \u003cspan class\u003d\"tex-font-style-tt\"\u003eBFS\u003c/span\u003e puede imprimir.\u003c/p\u003e\u003cp\u003eEn este problema, necesitas verificar si una secuencia dada corresponde a un recorrido \u003cspan class\u003d\"tex-font-style-tt\"\u003eBFS\u003c/span\u003e válido del árbol dado \u003cspan class\u003d\"tex-font-style-bf\"\u003ecomenzando desde el vértice $$$1$$$\u003c/span\u003e. El \u003ca href\u003d\"http://gg.gg/tree_es\"\u003eárbol\u003c/a\u003e es un grafo no dirigido, de modo que hay exactamente un camino simple entre cualquier par de vértices.\u003c/p\u003e"}},{"title":"Entrada","value":{"format":"HTML","content":"\u003cp\u003eLa primera línea contiene un solo entero $$$n$$$ ($$$1 \\le n \\le 2 \\cdot 10^5$$$) que denota el número de nodos en el árbol. \u003c/p\u003e\u003cp\u003eLas siguientes $$$n - 1$$$ líneas describen las aristas del árbol. Cada una de ellas contiene dos enteros $$$x$$$ y $$$y$$$ ($$$1 \\le x, y \\le n$$$)\u0026nbsp;— los extremos de la arista correspondiente del árbol. Se garantiza que el grafo dado es un árbol.\u003c/p\u003e\u003cp\u003eLa última línea contiene $$$n$$$ enteros distintos $$$a_1, a_2, \\ldots, a_n$$$ ($$$1 \\le a_i \\le n$$$)\u0026nbsp;— la secuencia a verificar.\u003c/p\u003e"}},{"title":"Salida","value":{"format":"HTML","content":"\u003cp\u003eImprime \"\u003cspan class\u003d\"tex-font-style-tt\"\u003eSí\u003c/span\u003e\" (entre comillas para mayor claridad) si la secuencia corresponde a algún recorrido \u003cspan class\u003d\"tex-font-style-tt\"\u003eBFS\u003c/span\u003e válido del árbol dado y \"\u003cspan class\u003d\"tex-font-style-tt\"\u003eNo\u003c/span\u003e\" (entre comillas para mayor claridad) en caso contrario.\u003c/p\u003e\u003cp\u003ePuedes imprimir cada letra en cualquier caso (mayúscula o minúscula).\u003c/p\u003e"}},{"title":"Ejemplo 1","value":{"format":"HTML","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e4\n1 2\n1 3\n2 4\n1 2 3 4\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003eYes\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e"}},{"title":"Ejemplo 2","value":{"format":"HTML","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e4\n1 2\n1 3\n2 4\n1 2 4 3\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003eNo\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e"}},{"title":"Nota","value":{"format":"HTML","content":"\u003cp\u003eAmbas pruebas de ejemplo tienen el mismo árbol en ellas.\u003c/p\u003e\u003cp\u003eEn este árbol, hay dos ordenamientos válidos de \u003cspan class\u003d\"tex-font-style-tt\"\u003eBFS\u003c/span\u003e: \u003c/p\u003e\u003cul\u003e \u003cli\u003e $$$1, 2, 3, 4$$$, \u003c/li\u003e\u003cli\u003e $$$1, 3, 2, 4$$$. \u003c/li\u003e\u003c/ul\u003e\u003cp\u003eEl ordenamiento $$$1, 2, 4, 3$$$ no corresponde a ningún ordenamiento válido de \u003cspan class\u003d\"tex-font-style-tt\"\u003eBFS\u003c/span\u003e.\u003c/p\u003e"}}]}