AT_njpc2017_g 交換法則

在一些编程语言中，对于两个字符串 $s_1$ 和 $s_2$，定义了表示字符串连接的运算符 $+$。例如，当 $s_1=a$，$s_2=b$ 时，$s_1+s_2=ab$。然而，表示字符串连接的运算符 $+$ 与表示数值加法的运算符 $+$ 不同，不满足交换律。例如，当 $s_1=a$，$s_2=b$ 时，$s_1+s_2=ab$，而 $s_2+s_1=ba$，因此不满足交换律。 Yurafuna 君考虑了一种对两个字符串满足交换律的运算符 $@$，定义如下： - $s_1@s_2 = \min(s_1, s_2) + \max(s_1, s_2)$ 这里，$\min$ 和 $\max$ 表示按字典序比较，$+$ 表示字符串的连接。例如，$s_1=a$，$s_2=b$ 时，$s_1@s_2 = \min(a, b) + \max(a, b) = a + b = ab$。同样，$s_2@s_1 = \min(a, b) + \max(a, b) = a + b = ab$，因此满足交换律。 Yurafuna 君非常喜欢这个运算符 $@$，于是他把各种字符串拆分成单个字符后，只用运算符 $@$ 和改变优先级的括号来尝试还原回原字符串。例如，字符串 `apple` 可以通过 $((a@(p@p))@l)@e$ 或 $e@(((p@p)@a)@l)$ 等表达式还原为 `apple`。然而，他发现字符串 `pen` 拆分后无法还原回原字符串。对于无法还原的字符串，他无法进行这个游戏，因此需要判断一个字符串是否可以还原。 给定一个字符串 $S$，请判断将其拆分为单个字符后，是否可以仅用运算符 $@$ 和括号还原回原字符串。

输入通过标准输入给出，格式如下： > $S$

如果可以还原 $S$，输出一行 `Yes`；否则输出一行 `No`。

### 限制 - $1 \leq |S| \leq 3000$（$|S|$ 表示字符串 $S$ 的长度） - $S$ 仅由小写英文字母组成。 由 ChatGPT 4.1 翻译