AT_joigsp2025_a ポーカー (Poker)

ビ太郎は $ N $ 枚のカードを持っていて，カードには $ 1 $ から $ N $ までの番号が付けられている．各カードには $ 1 $ つの正の整数が書かれており，カード $ i $ ( $ 1 \leqq i \leqq N $ ) に書かれた整数は $ A_i $ である． 以下の条件を満たす $ K $ 枚のカードの組を **ストレート** と呼ぶ． - 書かれた整数が昇順になるように $ K $ 枚のカードを横一列に机に置いたとき，隣り合う $ 2 $ 枚のカードに書かれた整数の差はすべて $ 1 $ である． ビ太郎は $ N $ 枚のカードの中から，ストレートとなるような $ K $ 枚のカードを選びたい． カードの情報が与えられたとき，ビ太郎がストレートとなるような $ K $ 枚のカードを選べるかどうか判定するプログラムを作成せよ． ---

入力は以下の形式で標準入力から与えられる． > $ N $ $ K $ $ A_1 $ $ A_2 $ $ \cdots $ $ A_N $

標準出力に $ 1 $ 行出力せよ． ビ太郎がストレートとなるような $ K $ 枚のカードを選べる場合は `Yes` を，そうでない場合は `No` を出力せよ．

### 小課題 1. ( $ 30 $ 点) $ K = 2 $ ． 2. ( $ 30 $ 点) $ A_i \leqq 300\,000 $ ( $ 1 \leqq i \leqq N $ )． 3. ( $ 40 $ 点) 追加の制約はない． --- ### Sample Explanation 1 カード $ 1, 3 $ に書かれた整数はそれぞれ $ 1, 2 $ であるから，カード $ 1, 3 $ の組はストレートである． ビ太郎はストレートとなるような $ K = 2 $ 枚のカードを選ぶことができるので，`Yes` を出力する． この入力例はすべての小課題の制約を満たす． --- ### Sample Explanation 2 ビ太郎はストレートとなるような $ K = 4 $ 枚のカードを選ぶことができない．したがって，`No` を出力する． この入力例は小課題 $ 2, 3 $ の制約を満たす． ### Constraints - $ 2 \leqq N \leqq 300\,000 $ ． - $ 2 \leqq K \leqq N $ ． - $ 1 \leqq A_i \leqq 10^9 $ ( $ 1 \leqq i \leqq N $ )． - 入力される値はすべて整数である．