#8961. 「洛谷 P12055」[THUPC 2025 决赛] 一个 01 串，n 次三目运算符，最后值为 1 暂未评定

三目运算符表达式 a?b:c 的含义是，如果 a 为真，那么返回 b，否则返回 c。

三目运算符是右结合的：a?b:c?d:e 和 a?b:(c?d:e) 等价。如果你不记得运算顺序，可以总是使用括号。

为假， 为真。

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

第一行一个正整数 。

第二行一个长为 的 01 串，表示给定的字符串。

如果无解，输出一行 No。

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

样例输入 1

复制2
10101

样例输出 1

复制Yes
(1?0:1)?0:1

样例输入 2

复制2
00000

样例输出 2

复制No

样例 #1 解释

你如果输出 (((1?0:((((1)))))?0:1)) 等表达式也算正确。

提示

你可以直接使用 g++ 编译你的表达式来检查表达式的值，但是这种方法并不能检测数字的顺序是否一致，也不能检测你使用三目运算符的次数是否恰好为 ，即是否每两个相邻的数字之间都有一个 ? 或 :：

#include <cassert>
#define YOUR_EXPRESSION <your_expression>
int main(){
    assert(YOUR_EXPRESSION);
    return 0;
}

来源与致谢

来自 THUPC2025（2025 年清华大学学生程序设计竞赛暨高校邀请赛）决赛。感谢 THUSAA 的提供的题目。

数据、题面、标程、题解等请参阅 THUPC 官方仓库 https://thusaac.com/public。