P12055 [THUPC 2025 决赛] 一个 01 串，n 次三目运算符，最后值为 1

三目运算符表达式 `a?b:c` 的含义是，如果 `a` 为真，那么返回 `b`，否则返回 `c`。 三目运算符是右结合的：`a?b:c?d:e` 和 `a?b:(c?d:e)` 等价。如果你不记得运算顺序，可以总是使用括号。 $0$ 为假，$1$ 为真。

给定一个长为 $2n+1$ 的 01 串，你需要使用 $n$ 次三目运算符，即在中间插入恰好 $n$ 个 `?` 和 $n$ 个 `:` 以及若干括号，使得表达式的结果为 $1$，或判断无解。

第一行一个正整数 $n\ (1\le n \le 1.5\times 10^5)$。 第二行一个长为 $2n+1$ 的 01 串，表示给定的字符串。

如果无解，输出一行 `No`。 如果有解，第一行输出 `Yes`，第二行输出一个值为 $1$ 的表达式。你可以使用括号，但是需要保证你的表达式中数字的顺序和原串相同。你需要保证你输出的表达式长度不超过 $10n+1000$。可以证明如果存在解，则一定存在满足条件的构造方案。

### 样例 #1 解释 你如果输出 `(((1?0:((((1)))))?0:1))` 等表达式也算正确。 ### 提示 你可以直接使用 g++ 编译你的表达式来检查表达式的值，但是这种方法并不能检测数字的顺序是否一致，也不能检测你使用三目运算符的次数是否恰好为 $n$，即是否每两个相邻的数字之间都有一个 `?` 或 `:`： ```c++ #include #define YOUR_EXPRESSION int main(){ assert(YOUR_EXPRESSION); return 0; } ``` ### 来源与致谢 来自 THUPC2025（2025 年清华大学学生程序设计竞赛暨高校邀请赛）决赛。感谢 THUSAA 的提供的题目。 数据、题面、标程、题解等请参阅 THUPC 官方仓库 。