B - Stalker Editorial /

Time Limit: 2 sec / Memory Limit: 1024 MB

配点: 400

問題文

タプリスは技術室国に降り立ちました。
技術室国は 1N までの N 個の町と N-1 本の道からなっていて、それぞれの道は都市 A_i と都市 B_i を双方向に結んでいます。
また、任意の町から任意の町へと何本かの道を経由することでたどり着くことができます。
技術室国の M 個の町、C_1, C_2, C_3, ..., C_M にはガヴリールの写真があることが知られていて、タプリスはこれらの写真をすべて集めたいです。
しかし、あまり長く外に出ていると門限を過ぎてしまうため、同じ町を二度通らないように町をめぐり、写真を集めることにしました。
タプリスはどの町に降り立ってもよく、どの町で写真集めを終わらせてもよいです。その時、タプリスがすべての写真を集めることができるのかを判定し、集められるなら Yes、集められないなら trumpet と出力してください。

制約

  • 入力は全て整数である。
  • 1 \leq N \leq 10^5
  • 1 \leq A_i, B_i \leq N
  • 1 \leq M \leq N
  • 1 \leq C_i \leq N
  • C_i \neq C_j (i \neq j)
  • 与えられるグラフは木である。

小課題

この課題には 2 つの小課題があります。
  1. (200 点) N \leq 2 \ 000
  2. (200 点) 追加の制約はない。

入力

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

N M
A_1 B_1
A_2 B_2

A_{N-2} B_{N-2}
A_{N-1} B_{N-1}
C_1 C_2 ... C_{M-1} C_M

出力

タプリスがすべての写真を集められるなら Yes、集められないなら trumpet と出力せよ。


入力例1

3 2
1 2
1 3
1 2

出力例1

Yes
この時、タプリスは頂点 1 に降り立ち、頂点 2 に移動することですべての写真を集められます。

入力例2

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

出力例2

Yes
この時、タプリスは頂点 3 に降り立ち、345 と移動することで目標を達成できます。

入力例3

4 3
1 2
1 3
1 4
2 3 4

出力例3

trumpet
この時、タプリスは目標を達成できないため世界が終わります。

writer: Thistle