{"problem":{"name":"[Aya Round 1 F] 琪露诺的选择题","description":{"content":"有 $2\\cdot n$ 道选择题，每题有 $\\text{A}$ 和 $\\text{B}$ 两个选项。正确答案可以表示为一个长度为 $2\\cdot n$ 的字符串。 现在你要构造出一份作答（长度同样为 $2\\cdot n$ 的字符串），其中**恰好**有 $a$ 个 $\\text{A}$，同时与正确答案相比，你的作答恰好有 $e$ 个错误。如果不存在这样的构造方案，报告无解。 **注意：为了方","description_type":"Markdown"},"platform":"Luogu","limit":{"time_limit":2000,"memory_limit":524288},"difficulty":{"LuoguStyle":"P3"},"is_remote":true,"is_sync":true,"sync_url":null,"sign":"LGP8471"},"statements":[{"statement_type":"Markdown","content":"有 $2\\cdot n$ 道选择题，每题有 $\\text{A}$ 和 $\\text{B}$ 两个选项。正确答案可以表示为一个长度为 $2\\cdot n$ 的字符串。\n\n现在你要构造出一份作答（长度同样为 $2\\cdot n$ 的字符串），其中**恰好**有 $a$ 个 $\\text{A}$，同时与正确答案相比，你的作答恰好有 $e$ 个错误。如果不存在这样的构造方案，报告无解。\n\n**注意：为了方便处理，本题保证 $e\\le n$。**\n\n**形式化地**，给定 $n,a,e$ 和一个长度为 $2\\cdot n$ 的 01 串 $s$，你需要构造出一个恰好有 $a$ 个字符是 $\\texttt 0$ 的长度为 $2\\cdot n$ 的 01 串 $p$，使得\n\n$$\n\\left(\\sum_{i=1}^{2\\cdot n}[s_i\\ne p_i]\\right)=e,\n$$\n\n其中 $[]$ 是 Iverson Bracket，详见「**说明/提示**」中的「提示」。\n\n## Input\n\n**本题含有多组数据。**\n\n第一行输入一个整数 $T$，表示数据组数。\n\n对于每组数据：\n\n- 第一行输入三个整数 $n,a,e$。\n- 第二行输入一个长度为 $2\\cdot n$ 的字符串，表示答案串。\n\n## Output\n\n输出共 $T$ 行。\n\n对于每组数据：\n\n- 若有解，输出一行一个长度为 $2\\cdot n$ 的字符串，表示你构造的作答串。\n- 若无解，输出一行一个字符串 $\\texttt{-1}$。\n\n[samples]\n\n## Background\n\n**Problem Number:** [$\\textit{24}$](https://www.luogu.com.cn/training/1392)\n\n在经过射命丸文的一番调教之后，琪露诺的智商总算增长了⑨点。\n\n现在寺子屋又要开始考试了，琪露诺通过一些手段知道了答案中的一些信息，而且因为她冰雪聪明，她不希望自己的成绩进步太明显，从而被老师上白泽慧音特别关照。因此她找到了你寻求一些帮助。\n\n（注意：考试作弊是不对的！）\n\n## Note\n\n### 样例解释\n\n对于数据 $1$，你构造出的作答串 $\\text{BB{\\color{e74c3c}AA}BB}$ 中恰好有 $2$ 个 $\\text A$，与答案串相比刚好有 $3$ 处不同（即，有 $3$ 处错误）：\n\n$$\n\\text{{\\color{e74c3c}A}BA{\\color{e74c3c}B}B{\\color{e74c3c}A}}\\\\\n\\text{{\\color{52c41a}B}BA{\\color{52c41a}A}B{\\color{52c41a}B}}\n$$\n\n故符合要求。\n\n对于数据 $2$，不存在合法构造方案。\n\n### 数据规模与约定\n\n对于 $100\\%$ 的数据，有 $1\\le T\\le 100$，$1\\le n\\le 10^5$，$0\\le e\\le n$，$0\\le a\\le 2\\cdot n$。\n\n单组测试点内保证 $\\sum(2\\cdot n)\\le 10^6$。\n\n### 提示\n\n$\\textbf{A. Iverson Bracket}$\n\nIverson Bracket，是一种用方括号记号，如果方括号内的条件满足则为 $1$，不满足则为 $0$。更确切地讲，\n\n$$\n[P]=\\begin{cases}1, & \\text{If }P\\text{ is true,}\\\\0,&\\text{Otherwise.}\\end{cases}\n$$","is_translate":false,"language":"English"}],"meta":{"iden":"LGP8471","tags":["洛谷原创","Special Judge","O2优化","构造","洛谷月赛"],"sample_group":[["2\n3 2 3\nABABBA\n3 3 1\nAAABBB","BBAABB\n-1"]],"created_at":"2026-03-03 11:09:25"}}