A. 问题解决 —— 详细题解 题目重述 简有 $n$ 个问题，难度分别为 $d_1, d_2, \dots, d_n$，满足 $d_n > d_j$ 对所有 $j < n$（最后一个最难）。 她的能力值为整数 $x$，能解决难度 $\le x$ 的问题，不能解决难度 $> x$ 的问题。 已知她解决了前 $n-1$ 个问题，但没有解决最后一个问题 $d_n$。 问：能否唯一确定 $x$？若能，输出 $x$；否则输出 "Ambiguous"。

条件形式化 设 $m = \max{d_1, d_2, \dots, d_{n-1}}$，即前 $n-1$ 个问题的最大难度。

因为她解决了所有前 $n-1$ 个问题，所以每一个 $d_j$（$j<n$）都满足 $d_j \le x$。 因此 $x$ 必须至少是这些难度中的最大值： $x≥m.$

因为她没有解决最后一个问题，所以 $d_n > x$，即 $x<dn$ .

由于 $x$ 是整数，综合得 $m≤x≤dn−1.$

由已知 $d_n > m$（最后一个严格大于前面所有），所以 $d_n - 1 \ge m$，区间非空。

唯一性分析 区间 $[m,\ d_n-1]$ 中包含的整数个数为 $(dn−1)−m+1=dn−m.$

若 $d_n - m = 1$，则区间内只有一个整数 $x = m$。此时 $x$ 唯一确定，答案为 $m$。

若 $d_n - m \ge 2$，则区间内至少有 $m$ 和 $m+1$ 两个不同的整数，它们都满足条件（因为 $m+1 \le d_n-1$ 当 $d_n - m \ge 2$），所以 $x$ 不唯一，输出 "Ambiguous"。

边界情况讨论 $n=2$：前 $1$ 个元素的最大值就是 $d_1$，最后一个 $d_2 > d_1$。 若 $d_2 = d_1 + 1$，则 $x = d_1$ 唯一；否则 $x$ 可以是 $d_1, d_1+1, \dots, d_2-1$ 中的任意值，不唯一。 例如：$[3,5]$ → $m=3$, $d_2=5$, 区间 $[3,4]$ 有两个值，输出 Ambiguous。

$d_i$ 可能重复：前 $n-1$ 个元素允许相等，取最大值即可。最后一个必须严格大于前面所有，所以 $d_n$ 至少比 $m$ 大 $1$。

$x$ 的范围：题目只要求 $x$ 是整数，没有其他限制（如不能超过 $50$ 等），所以区间内所有整数都是合法的。

示例逐步解析 示例1 text $5$ $1$ $2$ $3$ $4$ $5$ $n=5$，前4个最大值为 $m=4$，$d_n=5$。 $d_n - m = 1$ → 唯一，$x=m=4$。输出 $4$。

示例2 text $8$ $8$ $8$ $5$ $3$ $4$ $6$ $8$ $12$ 前7个最大值：遍历 $8,8,5,3,4,6,8$ 得 $m=8$，$d_n=12$。 $d_n - m = 4 \ge 2$ → 不唯一，输出 Ambiguous。 可能的 $x$：$8,9,10,11$ 都满足（例如 $x=10$ 能解所有前7个（难度≤8≤10），不能解12）。

示例3 text $4$ $3$ $3$ $3$ $4$ 前3个最大值 $m=3$，$d_n=4$。 $d_n - m = 1$ → 唯一，$x=3$。输出 $3$。

算法步骤（极简） 对每个测试用例：

读入 $n$ 和数组 $d$。

计算 $m = \max(d[0], d[1], ..., d[n-2])$。

若 $d[n-1] == m + 1$，输出 $m$；否则输出 "Ambiguous"。

复杂度 时间：$O(t \cdot n)$，$t \le 1000$，$n \le 50$，轻松。

空间：$O(1)$ 额外（可边读边计算最大值）。 必要性：若 $x$ 是合法能力值，则必满足 $x \ge m$（否则存在某个前 $n-1$ 个问题难度 $> x$ 导致无法解决）且 $x < d_n$（否则最后一个会被解决）。所以 $x \in [m, d_n-1]$。

充分性：对任意整数 $x \in [m, d_n-1]$，因为 $x \ge m$，所有前 $n-1$ 个难度 $\le m \le x$，故可解；且 $x < d_n$，故最后一个不可解。所以每个这样的 $x$ 都是合法能力值。

唯一性：区间长度 $d_n - m$。若等于 $1$，仅有一个 $x$；若大于 $1$，至少有两个，因此不唯一。

综上，算法正确。