codeforces#P1610H. Squid Game
Squid Game
Description
After watching the new over-rated series Squid Game, Mashtali and Soroush decided to hold their own Squid Games! Soroush agreed to be the host and will provide money for the winner's prize, and Mashtali became the Front Man!
$m$ players registered to play in the games to win the great prize, but when Mashtali found out how huge the winner's prize is going to be, he decided to kill eliminate all the players so he could take the money for himself!
Here is how evil Mashtali is going to eliminate players:
There is an unrooted tree with $n$ vertices. Every player has $2$ special vertices $x_i$ and $y_i$.
In one operation, Mashtali can choose any vertex $v$ of the tree. Then, for each remaining player $i$ he finds a vertex $w$ on the simple path from $x_i$ to $y_i$, which is the closest to $v$. If $w\ne x_i$ and $w\ne y_i$, player $i$ will be eliminated.
Now Mashtali wondered: "What is the minimum number of operations I should perform so that I can remove every player from the game and take the money for myself?"
Since he was only thinking about the money, he couldn't solve the problem by himself and asked for your help!
The first line contains $2$ integer $n$ and $m$ $(1 \le n, m \le 3 \cdot 10^5)$ — the number of vertices of the tree and the number of players.
The second line contains $n-1$ integers $par_2, par_3, \ldots, par_n$ $(1 \le par_i < i)$ — denoting an edge between node $i$ and $par_i$.
The $i$-th of the following $m$ lines contains two integers $x_i$ and $y_i$ $(1 \le x_i, y_i \le n, x_i \ne y_i)$ — the special vertices of the $i$-th player.
Print the minimum number of operations Mashtali has to perform.
If there is no way for Mashtali to eliminate all the players, print $-1$.
Input
The first line contains $2$ integer $n$ and $m$ $(1 \le n, m \le 3 \cdot 10^5)$ — the number of vertices of the tree and the number of players.
The second line contains $n-1$ integers $par_2, par_3, \ldots, par_n$ $(1 \le par_i < i)$ — denoting an edge between node $i$ and $par_i$.
The $i$-th of the following $m$ lines contains two integers $x_i$ and $y_i$ $(1 \le x_i, y_i \le n, x_i \ne y_i)$ — the special vertices of the $i$-th player.
Output
Print the minimum number of operations Mashtali has to perform.
If there is no way for Mashtali to eliminate all the players, print $-1$.
Samples
6 3
1 1 1 4 4
1 5
3 4
2 6
2
5 3
1 1 3 3
1 2
1 4
1 5
-1
Note
Explanation for the first sample:
In the second sample, Mashtali can't eliminate the first player.