{"trustable":false,"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\n\u003cscript\u003e\n window.katexOptions \u003d {\n delimiters: [\n {left: \u0027$$$$$$\u0027, right: \u0027$$$$$$\u0027, display: true},\n {left: \u0027$$$\u0027, right: \u0027$$$\u0027, display: false},\n {left: \u0027$$\u0027, right: \u0027$$\u0027, display: true},\n {left: \u0027$\u0027, right: \u0027$\u0027, display: false}\n ]\n };\n\u003c/script\u003e\n","sections":[{"title":"","value":{"format":"HTML","content":"\u003cp\u003e给定一棵有根的树,由 $$$n$$$ 个顶点组成,顶点编号从 $$$1$$$ 到 $$$n$$$。树的根是编号为 $$$1$$$ 的顶点。\u003c/p\u003e\n\n\u003cp\u003e树是一个有 $$$n-1$$$ 条边的连通无向图。\u003c/p\u003e\n\n\u003cp\u003e给定 $$$m$$$ 个查询。第 $$$i$$$ 个查询包含 $$$k_i$$$ 个不同的顶点 $$$v_i[1], v_i[2], \\dots, v_i[k_i]$$$。请判断:是否存在从根到某个顶点 $$$u$$$ 的一条路径,使得给定的 $$$k$$$ 个顶点要么属于这条路径,要么与这条路径上的某个顶点的距离等于 $$$1$$$。\u003c/p\u003e"}},{"title":"输入","value":{"format":"HTML","content":"\u003cp\u003e输入的第一行包含两个整数 $$$n,m$$$ $$$(2 \\le n \\le 2 \\cdot 10^5,$$$ $$$1 \\le m \\le 2 \\cdot 10^5)$$$,表示树中的顶点数,以及查询的数量。\u003c/p\u003e\n\n\u003cp\u003e接下来的 $$$n-1$$$ 行,描述了树的各条边。每行包含两个整数 $$$u_i,v_i$$$ $$$(1 \\leq u_i,v_i \\leq n,~u_i \\ne v_i)$$$,表示边 $$$i$$$ 连接的顶点标签。\u003c/p\u003e\n\n\u003cp\u003e保证给定的各条边构成一棵树。\u003c/p\u003e\n\n\u003cp\u003e接下来的 $$$m$$$ 行,描述了各查询。第 $$$i$$$ 行描述了第 $$$i$$$ 个查询,以整数 $$$k_i$$$ $$$(1 \\le k_i \\le n)$$$ 开始,表示当前查询中的顶点数。然后是 $$$k_i$$$ 个整数:$$$v_i[1], v_i[2], \\dots, v_i[k_i]$$$ $$$(1 \\le v_i[j] \\le n)$$$,其中 $$$v_i[j]$$$ 是第 $$$i$$$ 个查询的第 $$$j$$$ 个顶点。\u003c/p\u003e\n\n\u003cp\u003e保证单个查询中的所有顶点是不同的。\u003c/p\u003e\n\n\u003cp\u003e保证 $$$k_i$$$ 的总和不超过 $$$2 \\cdot 10^5$$$,即 $$$\\sum\\limits_{i\u003d1}^{m} k_i \\le 2 \\cdot 10^5$$$。\u003c/p\u003e"}},{"title":"输出","value":{"format":"HTML","content":"\u003cp\u003e对于每个查询,输出答案:如果存在从根到某个顶点 $$$u$$$ 的一条路径,使得给定的 $$$k$$$ 个顶点要么属于该路径,要么与该路径上的某个顶点的距离为 $$$1$$$,则输出 \"YES\",否则输出 \"NO\"。不含引号。\u003c/p\u003e"}},{"title":"示例","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\u003e10 6\n1 2\n1 3\n1 4\n2 5\n2 6\n3 7\n7 8\n7 9\n9 10\n4 3 8 9 10\n3 2 4 6\n3 2 1 5\n3 4 8 2\n2 6 10\n3 5 4 7\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003eYES\nYES\nYES\nYES\nNO\nNO\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e"}},{"title":"注意","value":{"format":"HTML","content":"\u003cp\u003e示例对应的图片:\u003c/p\u003e\n\n\u003cp\u003e\u003cimg class\u003d\"tex-graphics\" src\u003d\"https://gcdnb.pbrd.co/images/8RLdQWCO0kuI.png\" style\u003d\"max-width: 100.0%;max-height: 100.0%;\" width\u003d300px\u003e\u003c/p\u003e\n\n\u003cp\u003e考虑这些查询。\u003c/p\u003e\n\n\u003cp\u003e第一个查询是 $$$[3, 8, 9, 10]$$$。答案是 \"YES\",因为你可以选择从根 $$$1$$$ 到顶点 $$$u\u003d10$$$ 的路径。那么顶点 $$$[3, 9, 10]$$$ 属于从 $$$1$$$ 到 $$$10$$$ 的路径,而顶点 $$$8$$$ 与这条路径上的顶点 $$$7$$$ 的距离为 $$$1$$$。\u003c/p\u003e\n\n\u003cp\u003e第二个查询是 $$$[2, 4, 6]$$$。答案是 \"YES\",因为你可以选择到顶点 $$$u\u003d2$$$ 的路径。那么顶点 $$$4$$$ 与这条路径上的顶点 $$$1$$$ 的距离为 $$$1$$$,而顶点 $$$6$$$ 与这条路径上的顶点 $$$2$$$ 的距离为 $$$1$$$。\u003c/p\u003e\n\n\u003cp\u003e第三个查询是 $$$[2, 1, 5]$$$。答案是 \"YES\",因为你可以选择到顶点 $$$u\u003d5$$$ 的路径,而查询中的所有顶点都属于这条路径。\u003c/p\u003e\n\n\u003cp\u003e第四个查询是 $$$[4, 8, 2]$$$。答案是 \"YES\",因为你可以选择到顶点 $$$u\u003d9$$$ 的路径,使得顶点 $$$2$$$ 和 $$$4$$$ 都与这条路径上的顶点 $$$1$$$ 的距离为 $$$1$$$,而顶点 $$$8$$$ 与这条路径上的顶点 $$$7$$$ 的距离为 $$$1$$$。\u003c/p\u003e\n\n\u003cp\u003e第五个、第六个查询的答案都是 \"NO\",因为你无法选择合适的顶点 $$$u$$$。\u003c/p\u003e"}}]}