P13733 [JOIGST 2025] 扑克 / Poker

比太郎有 $N$ 张扑克牌，编号为 $1$ 到 $N$。每张扑克牌都有一个正整数，扑克牌 $i$ 上的正整数为 $A_i$。 将满足以下条件的包含 $K$ 张扑克牌的牌组称为“顺子”： - 将这些扑克牌按照牌上的正整数从小到大排序后，任意相邻两张牌上的正整数差为 $1$。 判断比太郎是否能从 $N$ 张扑克牌中选出 $K$ 张，使这 $K$ 张牌组成的牌组为一个顺子。

第一行输入两个整数 $N,K$。 第二行输入 $N$ 个整数 $A_1,A_2,\ldots,A_N$。

输出一行一个字符串，如果可以组成一个顺子输出 `Yes`，否则输出 `No`。

#### 【样例解释 #1】 可以选择 $K=2$ 张扑克牌 $1,3$，牌上的正整数分别为 $1,2$，组成了一个顺子。 该样例满足所有子任务的限制。 #### 【样例解释 #2】 没法选出 $K=4$ 张扑克牌使其组成一个顺子。 该样例满足子任务 $2,3$ 的限制。 #### 【数据范围】 - $2 \le N \le 3\times 10^5$； - $2 \le K \le N$； - $1 \le A_i \le 10^9(1 \le i \le N)$。 #### 【子任务】 1. （$30$ 分）$K=2$； 2. （$30$ 分）$A_i\le 3\times 10^5(1\le i\le N)$； 3. （$40$ 分）无附加限制。