AT_joigsp2025_a ポーカー (Poker)

ビ太郎有 $N$ 张卡牌，每张卡牌编号从 $1$ 到 $N$。每张卡牌 $i$（$1 \leq i \leq N$）上写有一个正整数 $A_i$。 满足以下条件的 $K$ 张卡牌的组合被称为“顺子”： - 当这 $K$ 张卡牌按照卡牌上写的整数递增的顺序一字排开时，任意相邻的两张卡牌上写的数的差都为 $1$。 现在，ビ太郎想从 $N$ 张卡牌中选出 $K$ 张卡牌组成一个顺子。 给定卡牌的信息，请编写一个程序判断ビ太郎是否能够选出 $K$ 张卡牌组成顺子。

输入通过标准输入以如下格式给出： > $N$ $K$ $A_1$ $A_2$ $\cdots$ $A_N$

请输出一行。如果ビ太郎能够选出 $K$ 张卡牌组成顺子则输出 `Yes`，否则输出 `No`。

## 子任务 1.（$30$ 分）$K=2$。 2.（$30$ 分）$A_i \leq 300\,000$（$1 \leq i \leq N$）。 3.（$40$ 分）无其他额外限制。 --- ## 样例解释 1 卡牌 $1,3$ 上写的整数分别为 $1,2$，因此卡牌 $1,3$ 组成的组就是一个顺子。ビ太郎能够选出 $K=2$ 张卡牌组成顺子，所以输出 `Yes`。 该输入示例满足所有子任务的约束。 --- ## 样例解释 2 ビ太郎无法选出 $K=4$ 张卡牌组成顺子。因此，输出 `No`。 该输入示例满足子任务 $2,3$ 的约束。 # 数据范围 - $2 \leq N \leq 300\,000$。 - $2 \leq K \leq N$。 - $1 \leq A_i \leq 10^9$（$1 \leq i \leq N$）。 - 输入数据均为整数。 由 ChatGPT 5 翻译