時間制限 : sec, メモリ制限 : KB
Japanese

K: pushPushPUSH

問題

単純連結無向グラフ $G$ と $G$ の頂点集合の部分集合 $\{v_1, \ldots, v_K\}$、頂点 $s\in \{v_1, \ldots, v_K\}$ と $G$ の頂点 $t$ が与えられます。 最初、$G$ の頂点 $v_1, \ldots, v_K$ にはそれぞれ一個ずつブロックが置かれています。 以下の操作を繰り返して、頂点 $s$ にあるブロックを頂点 $t$ に動かせるか判定してください。

  • 隣接する頂点対 $(u,v)$ であって、$u$ にはブロックがあり、$v$ にはブロックがないものを選ぶ
  • 頂点 $u$ にあるブロックを $v$ に移動する

入力形式

入力は以下の形式で与えられます。

$N$ $M$
$a_1$ $b_1$
$\vdots$
$a_M$ $b_M$
$K$
$v_1$ $\ldots$ $v_K$
$s$ $t$

$N,M$ はそれぞれ無向グラフ $G$ の頂点数と辺数を表します。$G$ の $i$ 番目の辺は頂点 $a_i$ と $b_i$ を結んでいます。

制約

  • $2 \leq N \leq 200{,}000$
  • $N-1 \leq M \leq \min(N (N - 1) / 2,300{,}000)$
  • $1 \leq a_i, b_i \leq N$
  • $1 \leq K \leq N$
  • $1 \leq v_1 \lt \ldots \lt v_K \leq N$
  • $s \in \{v_1, \ldots, v_K\}$
  • $1 \leq t \leq N$
  • グラフは単純かつ連結
  • 入力は全て整数

出力形式

動かせるなら Yes を動かせないなら No を一行に出力し、最後に改行をしてください。

入力例 1

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

出力例 1

No

入力例 2

3 2
1 2
2 3
2
1 2
1 2

出力例 2

Yes

入力例 3

4 4
1 2
2 3
3 4
2 4
2
1 4
1 4

出力例 3

Yes