## GUPTA MECHANICAL

IN THIS WEBSITE I CAN TELL ALL ABOUT TECH. TIPS AND TRICKS APP REVIEWS AND UNBOXINGS ALSO TECH. NEWS .............

# [Solution] Passable Paths (hard version) Codeforces Solution

G2. Passable Paths (hard version)
time limit per test
3 seconds
memory limit per test
256 megabytes
input
standard input
output
standard output

This is a hard version of the problem. The only difference between an easy and a hard version is in the number of queries.

Polycarp grew a tree from $n$ vertices. We remind you that a tree of $n$ vertices is an undirected connected graph of $n$ vertices and $n-1$ edges that does not contain cycles.

He calls a set of vertices passable if there is such a path in the tree that passes through each vertex of this set without passing through any edge twice. The path can visit other vertices (not from this set).

In other words, a set of vertices is called passable if there is a simple path that passes through all the vertices of this set (and possibly some other).

For example, for a tree below sets $\left\{3,2,5\right\}$$\left\{1,5,4\right\}$$\left\{1,4\right\}$ are passable, and $\left\{1,3,5\right\}$$\left\{1,2,3,4,5\right\}$ are not.

Solution Click Below:-  👉
👇👇👇👇👇

Polycarp asks you to answer $q$ queries. Each query is a set of vertices. For each query, you need to determine whether the corresponding set of vertices is passable.

Input

The first line of input contains a single integer $n$ ($1\le n\le 2\cdot {10}^{5}$) — number of vertices.

Round Down the Price Codeforces Solution

Polycarp Writes a String from Memory Codeforces Solution

Train and Queries Codeforces Solution

Not a Cheap String Codeforces Solution

Split Into Two Sets Codeforces Solution

Equate Multisets Codeforces Solution

Passable Paths (easy version) Codeforces Solution

Passable Paths (hard version) Codeforces Solution

Following $n-1$ lines a description of the tree..

Each line contains two integers $u$ and $v$ ($1\le u,v\le n$$u\ne v$) — indices of vertices connected by an edge.

Following line contains single integer $q$ ($1\le q\le {10}^{5}$) — number of queries.

The following $2\cdot q$ lines contain descriptions of sets.

The first line of the description contains an integer $k$ ($1\le k\le n$) — the size of the set.

The second line of the description contains $k$ of distinct integers ${p}_{1},{p}_{2},\dots ,{p}_{k}$ ($1\le {p}_{i}\le n$) — indices of the vertices of the set.

It is guaranteed that the sum of $k$ values for all queries does not exceed $2\cdot {10}^{5}$.

Output

Output $q$ lines, each of which contains the answer to the corresponding query. As an answer, output "YES" if the set is passable, and "NO" otherwise.

You can output the answer in any case (for example, the strings "yEs", "yes", "Yes" and "YES" will be recognized as a positive answer).