AT_pakencamp_2023_day1_e Thin Ice
Description
$ N $ 頂点 $ M $ 辺の連結無向グラフが与えられます。 $ i\ (1 \le i \le M) $ について、 $ i $ 番目の辺は頂点 $ A_i $ と頂点 $ B_i $ をつなぐ辺です。
全ての辺をちょうど $ K $ 回ずつ通るウォークが存在するか判定してください。
Input Format
入力は以下の形式で標準入力から与えられる。
> $ N $ $ M $ $ K $ $ A_1 $ $ B_1 $ $ A_2 $ $ B_2 $ $ \vdots $ $ A_M $ $ B_M $
Output Format
条件を満たすウォークが存在する場合は `Yes`を、存在しない場合は `No` を出力せよ。
Explanation/Hint
### Sample Explanation 1
$ 1 → 2 → 3 → 1 → 2 → 3 → 1 → 2 → 3 → 1 $ のウォークが条件を満たします。
### Constraints
- $ 2 \leq N \leq 2\times 10^5 $
- $ N-1 \leq M \leq \min(\frac{N(N-1)}{2} , 2\times 10^5) $
- $ 1 \le K \le 10^9 $
- $ 1 \le A_i < B_i \le N $
- $ 1 \le i < j \le M $ について、 $ (A_i,B_i) \neq (A_j,B_j) $
- 与えられるグラフは連結
- 入力は全て整数