AT_arc150_c [ARC150C] Path and Subsequence
Description
[problemUrl]: https://atcoder.jp/contests/arc150/tasks/arc150_c
$ N $ 頂点 $ M $ 辺の連結無向グラフ $ G $ があります。頂点には $ 1 $ から $ N $ の番号がついています。$ i $ 番目の辺は頂点 $ U_i,\ V_i $ を結びます。
また、長さ $ N $ の整数列 $ A=(A_1,\ A_2,\ \dots,\ A_N) $ 、および長さ $ K $ の整数列 $ B=(B_1,\ B_2,\ \dots,\ B_K) $ が与えられます。
$ G,\ A,\ B $ が以下の条件を満たすか判定してください。
- $ G $ における頂点 $ 1 $ から $ N $ への任意の単純パス $ v=(v_1,\ v_2,\ \dots,\ v_k)\ (v_1=1,\ v_k=N) $ に対し、$ B $ は $ (A_{v_1},\ A_{v_2},\ \dots,\ A_{v_k}) $ の(連続とは限らない)部分列になる。
Input Format
入力は以下の形式で標準入力から与えられます。
> $ N $ $ M $ $ K $ $ U_1 $ $ V_1 $ $ U_2 $ $ V_2 $ $ \vdots $ $ U_M $ $ V_M $ $ A_1 $ $ A_2 $ $ \dots $ $ A_N $ $ B_1 $ $ B_2 $ $ \dots $ $ B_K $
Output Format
条件を満たす場合 `Yes` と、満たさない場合 `No` と出力してください。
Explanation/Hint
### 制約
- $ 2\ \leq\ N\ \leq\ 10^5 $
- $ 1\ \leq\ K\ \leq\ N $
- $ N-1\ \leq\ M\ \leq\ 2\ \times\ 10^5 $
- $ 1\ \leq\ U_i\