P17128 [ICPC 2025 Shanghai R] AGI

题目背景

试题来自 [清华大学学生算法协会](https://gitlink.org.cn/thusaa/ICPC2025shanghai)。

题目描述

Menji 博士是人工智能领域的专家。现在,他正在训练一个名为 Bot 的 AGI(人工游戏智能)。 为了教会 Bot 如何玩游戏,他每天都会和 Bot 一起玩。今天他们在玩以下这个游戏: 游戏开始时,有一个包含 $2n$ 个非负整数的序列 $a_1, a_2, \cdots, a_{2n}$,以及一个数字 $S$。初始时 $S = 0$。 Menji 和 Bot 轮流行动,Menji 先手: - 在 Menji 的回合中,他从序列中选择一个数 $x$,将 $S$ 更新为 $S \leftarrow S \oplus x$,并将 $x$ 从序列中删除。注意 $\oplus$ 表示按位异或运算。 - 在 Bot 的回合中,他从序列中选择一个数 $x$ 并将 $x$ 从序列中删除。 当序列中不再剩下任何数字时,游戏结束。如果最终 $S = 0$,则 Menji 获胜;否则 Bot 获胜。 Menji 想知道,如果双方都采取最优策略,游戏的胜者会是谁。

输入格式

输入包含多组测试用例。第一行包含一个整数 $T$ ($1 \le T \le 10^5$),表示测试用例的数量。 对于每组测试用例,第一行包含一个整数 $n$ ($1 \le n \le 10^5$),含义如题所述。 第二行包含 $2n$ 个整数 $a_1, a_2, \cdots, a_{2n}$ ($0 \le a_i < 2^{30}$),表示游戏中的整数。 保证所有测试用例的 $n$ 之和不超过 $2 \times 10^5$。

输出格式

对于每组测试用例,如果 Menji 能够获胜,则输出一行 `Menji`;否则输出一行 `Bot`。

说明/提示

对于第 $1$ 组测试用例,无论 Menji 选择哪个数,Bot 总可以选择一个相同的数,因此 Menji 最终会选到一个 $1$ 和一个 $3$,$S = 1 \oplus 3 = 2 \ne 0$,故 Bot 总能获胜。 对于第 $2$ 组测试用例,Menji 可以在第一回合选择一个 $1$;无论 Bot 选择什么,Menji 都可以再选择另一个 $1$,这样 Menji 最终拿到两个 $1$,$S = 1 \oplus 1 = 0$,故 Menji 总能获胜。 翻译由 DeepSeek V4 Pro 完成