AT_joi2024_yo2_a カードゲーム 2 (Card Game 2)

比太郎有 $N$ 张卡片，第 $i$ 张卡片上写着整数 $A_i$。 他想从这些卡片中选出 $3$ 张，使得它们上的数字满足以下条件： > **条件：** > 选中的卡片上的数字，各相差 $3$。 > 即，存在某个整数 $x$，使得选出来的三个数字可以表示为 $x, x+3, x+6$。 例如，如果比太郎有 $5$ 张卡片，分别写有 $2, 4, 5, 7, 10$，那么选择数为 $4, 7, 10$ 的三张卡片即可满足条件。 给定比太郎手中卡片上的数字，请你编写程序判断能否选出满足条件的三张卡片。

输入如下格式给出： > $N$ $A_1$ $A_2$ $\cdots$ $A_N$

如果可以选出满足条件的三张卡片，输出 `Yes`；否则，输出 `No`。

## 子任务 1. （$20$ 分）$N = 3$。 2. （$20$ 分）$A_i \leq 7$ 且 $1 \leq i \leq N$。 3. （$30$ 分）$N \leq 100$。 4. （$30$ 分）无其它附加限制。 ## 样例解释 1 选择数字为 $2, 5, 8$ 的三张卡片，可以满足条件。因此，输出 `Yes`。 该输入样例满足子任务 $1, 3, 4$ 的限制。 ## 样例解释 2 无法选出满足条件的卡片。因此，输出 `No`。 该输入样例满足子任务 $2, 3, 4$ 的限制。 ## 样例解释 3 无法选出满足条件的卡片。因此，输出 `No`。 该输入样例满足子任务 $3, 4$ 的限制。 ## 样例解释 4 选择数字为 $15, 18, 21$ 的三张卡片，可以满足条件。因此，输出 `Yes`。 该输入样例满足子任务 $3, 4$ 的限制。 # 数据范围 - $3 \leq N \leq 200\,000$。 - $1 \leq A_i \leq 200\,000$（$1 \leq i \leq N$）。 - 输入的所有数均为整数。 由 ChatGPT 5 翻译