問題にチャレンジして、ユーザー同士で解答を教え合ったり、コードを公開してみよう!
グラフ上の任意の頂点から出発してすべての頂点をちょうど 1 回ずつ訪問したのち、最初の頂点に戻ってくることができるようなグラフをハミルトングラフといいます。また、そのような順番で頂点を並べた閉路をハミルトン閉路といいます。
n 頂点 m 辺の有向グラフが与えられます。i 番目の辺は頂点 a_i から頂点 b_i に向かっています。なお、グラフは自己ループや多重辺を含みません。
頂点の順列 (v_1, v_2, ..., v_n) が与えられるので、この順番で頂点を訪問し、最後に v_1 に戻ってくるハミルトン閉路が存在するか判定してください。
n m
a_1 b_1
a_2 b_2
...
a_m b_m
v_1 v_2 ... v_n
ハミルトン閉路が存在する場合は 'Yes' を、存在しない場合は 'No' を 1 行で出力してください。
また、末尾に改行を入れ、余計な文字を含んではいけません。
すべてのテストケースにおいて、以下の条件をみたします。
・ 入力はすべて整数
・ 2 ≦ n ≦ 8
・ 1 ≦ m ≦ n × (n - 1)
・ 1 ≦ a_i, b_i ≦ n (1 ≦ i ≦ m)
・ a_i ≠ b_i (1 ≦ i ≦ m)
・ (a_i, b_i) ≠ (a_j, b_j) (1 ≦ i < j ≦ m)
・ 1 ≦ v_i ≦ n (1 ≦ i ≦ n)
・ v_i ≠ v_j (1 ≦ i < j ≦ n)
4 6
1 2
1 3
2 3
2 4
3 4
4 1
1 2 3 4
Yes
4 3
1 2
2 3
3 4
1 2 3 4
No